|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |