|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CFGBuilderException | |
---|---|
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.bcp | |
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.detect |
Uses of CFGBuilderException in edu.umd.cs.findbugs |
---|
Methods in edu.umd.cs.findbugs that throw CFGBuilderException | |
---|---|
void |
ResourceTrackingDetector.analyzeMethod(ClassContext classContext,
org.apache.bcel.classfile.Method method,
ResourceTrackerType resourceTracker,
ResourceCollection<Resource> resourceCollection)
|
void |
SelfCalls.execute()
Find the self calls. |
abstract ResourceTrackerType |
ResourceTrackingDetector.getResourceTracker(ClassContext classContext,
org.apache.bcel.classfile.Method method)
|
abstract void |
ByteCodePatternDetector.reportMatch(ClassContext classContext,
org.apache.bcel.classfile.Method method,
ByteCodePatternMatch match)
Called to report an instance of the ByteCodePattern. |
Uses of CFGBuilderException in edu.umd.cs.findbugs.ba |
---|
Subclasses of CFGBuilderException in edu.umd.cs.findbugs.ba | |
---|---|
class |
MethodUnprofitableException
Used to signal a method not analyzed because it seemed unprofitable to do so |
Methods in edu.umd.cs.findbugs.ba that throw CFGBuilderException | |
---|---|
void |
CFGBuilder.build()
Build the CFG. |
void |
BetterCFGBuilder2.build()
|
abstract Dataflow<Fact,AnalysisType> |
DataflowTestDriver.createDataflow(ClassContext classContext,
org.apache.bcel.classfile.Method method)
Downcall method to create the dataflow driver object and execute the analysis. |
abstract ResourceTrackerType |
ResourceValueAnalysisTestDriver.createResourceTracker(ClassContext classContext,
org.apache.bcel.classfile.Method method)
|
void |
LockChecker.execute()
Execute dataflow analyses (only if required). |
void |
PruneUnconditionalExceptionThrowerEdges.execute()
|
void |
DataflowTestDriver.execute(ClassContext classContext,
org.apache.bcel.classfile.Method method)
Execute the analysis on a single method of a class. |
void |
DataflowTestDriver.execute(java.lang.String filename)
Execute the analysis on a single class. |
void |
ResourceValueAnalysisTestDriver.execute(java.lang.String classFile,
java.lang.String methodName,
int offset)
|
Dataflow<BlockType,BlockTypeAnalysis> |
ClassContext.getBlockTypeDataflow(org.apache.bcel.classfile.Method method)
Get BlockType dataflow for given method. |
CallListDataflow |
ClassContext.getCallListDataflow(org.apache.bcel.classfile.Method method)
Get CallListDataflow for method. |
CFG |
ClassContext.getCFG(org.apache.bcel.classfile.Method method)
Get a CFG for given method. |
ConstantDataflow |
ClassContext.getConstantDataflow(org.apache.bcel.classfile.Method method)
Get ConstantDataflow for method. |
DepthFirstSearch |
ClassContext.getDepthFirstSearch(org.apache.bcel.classfile.Method method)
Get a DepthFirstSearch for given method. |
IsNullValueDataflow |
ClassContext.getIsNullValueDataflow(org.apache.bcel.classfile.Method method)
Get an IsNullValueDataflow for given method. |
LiveLocalStoreDataflow |
ClassContext.getLiveLocalStoreDataflow(org.apache.bcel.classfile.Method method)
Get LiveLocalStoreAnalysis dataflow for given method. |
LoadDataflow |
ClassContext.getLoadDataflow(org.apache.bcel.classfile.Method method)
Get load dataflow. |
LockChecker |
ClassContext.getLockChecker(org.apache.bcel.classfile.Method method)
Get LockChecker for method. |
LockDataflow |
ClassContext.getLockDataflow(org.apache.bcel.classfile.Method method)
Get dataflow for LockAnalysis for given method. |
DominatorsAnalysis |
ClassContext.getNonExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method)
Get DominatorsAnalysis for given method, where exception edges are ignored. |
PostDominatorsAnalysis |
ClassContext.getNonExceptionPostDominatorsAnalysis(org.apache.bcel.classfile.Method method)
Get PostDominatorsAnalysis for given method, where exception edges are ignored. |
PostDominatorsAnalysis |
ClassContext.getNonImplicitExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method)
Get DominatorsAnalysis for given method, where implicit exception edges are ignored. |
CFG |
ClassContext.getRawCFG(org.apache.bcel.classfile.Method method)
Get a "raw" CFG for given method. |
ReturnPathDataflow |
ClassContext.getReturnPathDataflow(org.apache.bcel.classfile.Method method)
Get ReturnPathDataflow for method. |
ReverseDepthFirstSearch |
ClassContext.getReverseDepthFirstSearch(org.apache.bcel.classfile.Method method)
Get a ReverseDepthFirstSearch for given method. |
StoreDataflow |
ClassContext.getStoreDataflow(org.apache.bcel.classfile.Method method)
Get store dataflow. |
TypeDataflow |
ClassContext.getTypeDataflow(org.apache.bcel.classfile.Method method)
Get a TypeDataflow for given method. |
UnconditionalDerefDataflow |
ClassContext.getUnconditionalDerefDataflow(org.apache.bcel.classfile.Method method)
Get the UnconditionalDerefDataflow for a method. |
ValueNumberDataflow |
ClassContext.getValueNumberDataflow(org.apache.bcel.classfile.Method method)
Get a ValueNumberDataflow for given method. |
void |
BetterCFGBuilder2.inline(edu.umd.cs.findbugs.ba.BetterCFGBuilder2.Context context)
Inline a subroutine into a calling context. |
Uses of CFGBuilderException in edu.umd.cs.findbugs.ba.bcp |
---|
Constructors in edu.umd.cs.findbugs.ba.bcp that throw CFGBuilderException | |
---|---|
PatternMatcher(ByteCodePattern pattern,
ClassContext classContext,
org.apache.bcel.classfile.Method method)
Constructor. |
Uses of CFGBuilderException in edu.umd.cs.findbugs.ba.npe |
---|
Methods in edu.umd.cs.findbugs.ba.npe that throw CFGBuilderException | |
---|---|
void |
NullDerefAndRedundantComparisonFinder.execute()
|
Uses of CFGBuilderException in edu.umd.cs.findbugs.detect |
---|
Methods in edu.umd.cs.findbugs.detect that throw CFGBuilderException | |
---|---|
void |
FindOpenStream.analyzeMethod(ClassContext classContext,
org.apache.bcel.classfile.Method method,
StreamResourceTracker resourceTracker,
ResourceCollection<Stream> resourceCollection)
|
edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker |
FindUnreleasedLock.getResourceTracker(ClassContext classContext,
org.apache.bcel.classfile.Method method)
|
void |
LazyInit.reportMatch(ClassContext classContext,
org.apache.bcel.classfile.Method method,
ByteCodePatternMatch match)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |