Examples of edu.umd.cs.findbugs.ba.LiveLocalStoreAnalysis

edu.umd.cs.findbugs.ba.LiveLocalStoreAnalysis
Dataflow analysis to find live stores of locals. This is just a backward analysis to see which loads reach stores of the same local.
This analysis also computes which stores that were killed by a subsequent store on any subsequent reachable path. (The FindDeadLocalStores detector uses this information to reduce false positives.) @author David Hovemeyer

        }
        CFG cfg = getCFG(analysisCache, descriptor);


        ReverseDepthFirstSearch rdfs = getReverseDepthFirstSearch(analysisCache, descriptor);


        LiveLocalStoreAnalysis analysis = new LiveLocalStoreAnalysis(methodGen, rdfs, getDepthFirstSearch(analysisCache,
                descriptor));
        LiveLocalStoreDataflow dataflow = new LiveLocalStoreDataflow(cfg, analysis);


        dataflow.execute();
        if (ClassContext.DUMP_DATAFLOW_ANALYSIS) {

View Full Code Here

TOP

Related Classes of edu.umd.cs.findbugs.ba.LiveLocalStoreAnalysis

edu.umd.cs.findbugs.classfile.engine.bcel.LiveLocalStoreDataflowFactory

org.apache.bcel.generic.IndexedInstruction

org.apache.bcel.generic.Instruction

org.apache.bcel.generic.LocalVariableInstruction

java.util.BitSet

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.