Uses of Class
edu.umd.cs.findbugs.ba.CFG

Packages that use CFG
edu.umd.cs.findbugs Main package for the FindBugs application - contains the engine class (FindBugs), the object model classes for bug instances (BugInstance, BugAnnotation), and other miscellany. 
edu.umd.cs.findbugs.ba A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses. 
edu.umd.cs.findbugs.ba.ca   
edu.umd.cs.findbugs.ba.constant   
edu.umd.cs.findbugs.ba.heap   
edu.umd.cs.findbugs.ba.npe   
edu.umd.cs.findbugs.ba.type   
edu.umd.cs.findbugs.ba.type2 A whizzy set of classes for representing Java types. 
edu.umd.cs.findbugs.ba.vna   
edu.umd.cs.findbugs.detect   
 

Uses of CFG in edu.umd.cs.findbugs
 

Methods in edu.umd.cs.findbugs with parameters of type CFG
abstract  void ResourceTrackingDetector.inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame,ResourceValueAnalysis<Resource>> dataflow, Resource resource)
           
 

Uses of CFG in edu.umd.cs.findbugs.ba
 

Methods in edu.umd.cs.findbugs.ba that return CFG
 CFG CFGBuilder.getCFG()
          Get the CFG built by this object.
 CFG Dataflow.getCFG()
          Get the CFG object.
 CFG BetterCFGBuilder2.getCFG()
           
 CFG ClassContext.getCFG(org.apache.bcel.classfile.Method method)
          Get a CFG for given method.
 CFG ClassContext.getRawCFG(org.apache.bcel.classfile.Method method)
          Get a "raw" CFG for given method.
 

Methods in edu.umd.cs.findbugs.ba with parameters of type CFG
 void DataflowTestDriver.examineResults(CFG cfg, Dataflow<Fact,AnalysisType> dataflow)
          Downcall method to inspect the analysis results.
 BlockOrder BlockTypeAnalysis.getBlockOrder(CFG cfg)
           
 BlockOrder DataflowAnalysis.getBlockOrder(CFG cfg)
          Return the BlockOrder specifying the order in which BasicBlocks should be visited in the main dataflow loop.
 BlockOrder ForwardDataflowAnalysis.getBlockOrder(CFG cfg)
           
 BlockOrder PostDominatorsAnalysis.getBlockOrder(CFG cfg)
           
 BlockOrder BackwardDataflowAnalysis.getBlockOrder(CFG cfg)
           
 BlockOrder DominatorsAnalysis.getBlockOrder(CFG cfg)
           
 

Constructors in edu.umd.cs.findbugs.ba with parameters of type CFG
AbstractBlockOrder(CFG cfg, java.util.Comparator<BasicBlock> comparator)
           
AbstractDataflow(CFG cfg, AnalysisType analysis)
          Constructor.
AbstractDominatorsAnalysis(CFG cfg, boolean ignoreExceptionEdges)
          Constructor.
AbstractDominatorsAnalysis(CFG cfg, EdgeChooser edgeChooser)
          Constructor.
CFGPrinter(CFG cfg)
           
Dataflow(CFG cfg, AnalysisType analysis)
          Constructor.
DataflowCFGPrinter(CFG cfg, Dataflow<Fact,AnalysisType> dataflow, AnalysisType analysis)
           
DepthFirstSearch(CFG cfg)
          Constructor.
DFSCFGPrinter(CFG cfg, DepthFirstSearch dfs)
           
DominatorsAnalysis(CFG cfg, DepthFirstSearch dfs, boolean ignoreExceptionEdges)
          Constructor.
LiveLocalStoreDataflow(CFG cfg, LiveLocalStoreAnalysis analysis)
           
LockDataflow(CFG cfg, LockAnalysis lockAnalysis)
           
PostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, boolean ignoreExceptionEdges)
          Constructor.
PostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, EdgeChooser edgeChooser)
          Constructor.
PruneInfeasibleExceptionEdges(CFG cfg, org.apache.bcel.generic.MethodGen methodGen, TypeDataflow typeDataflow)
          Constructor.
PruneInfeasibleExceptionEdges2(CFG cfg, org.apache.bcel.generic.MethodGen methodGen, TypeDataflow typeDataflow)
          Constructor.
PruneUnconditionalExceptionThrowerEdges(org.apache.bcel.generic.MethodGen methodGen, CFG cfg, org.apache.bcel.generic.ConstantPoolGen cpg, AnalysisContext analysisContext)
           
ResourceValueAnalysis(org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, ResourceTracker<Resource> resourceTracker, Resource resource)
           
ReturnPathDataflow(CFG cfg, ReturnPathAnalysis analysis)
           
ReverseDepthFirstSearch(CFG cfg)
          Constructor.
ReverseDFSOrder(CFG cfg, ReverseDepthFirstSearch rdfs)
          Constructor.
ReversePostfixOrder(CFG cfg, DepthFirstSearch dfs)
          Constructor.
SimplePathEnumerator(CFG cfg, int maxPaths)
          Constructor; max work is set to DEFAULT_MAX_WORK.
SimplePathEnumerator(CFG cfg, int maxPaths, int maxWork)
          Constructor.
 

Uses of CFG in edu.umd.cs.findbugs.ba.ca
 

Methods in edu.umd.cs.findbugs.ba.ca with parameters of type CFG
 BlockOrder CallListAnalysis.getBlockOrder(CFG cfg)
           
 

Constructors in edu.umd.cs.findbugs.ba.ca with parameters of type CFG
CallListAnalysis(CFG cfg, DepthFirstSearch dfs, org.apache.bcel.generic.ConstantPoolGen cpg)
           
CallListDataflow(CFG cfg, CallListAnalysis analysis)
           
 

Uses of CFG in edu.umd.cs.findbugs.ba.constant
 

Constructors in edu.umd.cs.findbugs.ba.constant with parameters of type CFG
ConstantDataflow(CFG cfg, ConstantAnalysis analysis)
           
 

Uses of CFG in edu.umd.cs.findbugs.ba.heap
 

Constructors in edu.umd.cs.findbugs.ba.heap with parameters of type CFG
LoadDataflow(CFG cfg, LoadAnalysis analysis)
           
StoreDataflow(CFG cfg, StoreAnalysis analysis)
           
 

Uses of CFG in edu.umd.cs.findbugs.ba.npe
 

Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type CFG
IsNullValueAnalysis(org.apache.bcel.generic.MethodGen methodGen, CFG cfg, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs, AssertionMethods assertionMethods)
           
IsNullValueDataflow(CFG cfg, IsNullValueAnalysis analysis)
           
UnconditionalDerefAnalysis(ReverseDepthFirstSearch rdfs, CFG cfg, org.apache.bcel.generic.MethodGen methodGen, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow)
           
UnconditionalDerefDataflow(CFG cfg, UnconditionalDerefAnalysis analysis)
          Constructor.
WillBeDereferencedAnalysis(ReverseDepthFirstSearch rdfs, CFG cfg, org.apache.bcel.generic.MethodGen methodGen, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow)
           
 

Uses of CFG in edu.umd.cs.findbugs.ba.type
 

Constructors in edu.umd.cs.findbugs.ba.type with parameters of type CFG
TypeAnalysis(org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory)
          Constructor which uses StandardTypeMerger.
TypeAnalysis(org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, TypeMerger typeMerger, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory)
          Constructor.
TypeAnalysis(org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, TypeMerger typeMerger, TypeFrameModelingVisitor visitor, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory)
          Constructor.
TypeDataflow(CFG cfg, TypeAnalysis analysis)
           
 

Uses of CFG in edu.umd.cs.findbugs.ba.type2
 

Constructors in edu.umd.cs.findbugs.ba.type2 with parameters of type CFG
BetterTypeAnalysis(org.apache.bcel.generic.MethodGen methodGen, java.lang.String[] parameterSignatureList, CFG cfg, DepthFirstSearch dfs, TypeRepository typeRepository, TypeMerger typeMerger, RepositoryLookupFailureCallback lookupFailureCallback)
           
 

Uses of CFG in edu.umd.cs.findbugs.ba.vna
 

Constructors in edu.umd.cs.findbugs.ba.vna with parameters of type CFG
ValueNumberDataflow(CFG cfg, ValueNumberAnalysis analysis)
           
 

Uses of CFG in edu.umd.cs.findbugs.detect
 

Methods in edu.umd.cs.findbugs.detect with parameters of type CFG
 void FindUnreleasedLock.inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame,ResourceValueAnalysis<edu.umd.cs.findbugs.detect.Lock>> dataflow, edu.umd.cs.findbugs.detect.Lock resource)
           
 void FindOpenStream.inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame,ResourceValueAnalysis<Stream>> dataflow, Stream stream)