Uses of Class
edu.umd.cs.findbugs.ba.CFGBuilderException
-
Packages that use CFGBuilderException Package Description 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.ba.vna edu.umd.cs.findbugs.detect -
-
Uses of CFGBuilderException in edu.umd.cs.findbugs
Methods in edu.umd.cs.findbugs that throw CFGBuilderException Modifier and Type Method Description 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 Modifier and Type Class Description class
MethodUnprofitableException
Used to signal a method not analyzed because it seemed unprofitable to do soMethods in edu.umd.cs.findbugs.ba that throw CFGBuilderException Modifier and Type Method Description void
BetterCFGBuilder2. build()
void
CFGBuilder. build()
Build the CFG.BlockTypeDataflow
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.CompactLocationNumbering
ClassContext. getCompactLocationNumbering(org.apache.bcel.classfile.Method method)
Get a CompactLocationNumbering for a 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.ReturnPathDataflow
ClassContext. getReturnPathDataflow(org.apache.bcel.classfile.Method method)
Get ReturnPathDataflow for method.ReturnPathTypeDataflow
ClassContext. getReturnPathTypeDataflow(org.apache.bcel.classfile.Method method)
Get ReturnPathTypeDataflow for a 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.UnconditionalValueDerefDataflow
ClassContext. getUnconditionalValueDerefDataflow(org.apache.bcel.classfile.Method method)
Get the UnconditionalValueDerefDataflow for a method.UsagesRequiringNonNullValues
ClassContext. getUsagesRequiringNonNullValues(org.apache.bcel.classfile.Method method)
Get a UsagesRequiringNonNullValues for given 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 Constructor Description 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 Modifier and Type Method Description void
NullDerefAndRedundantComparisonFinder. reportBugs(java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, java.util.HashSet<ValueNumber> npeIfStatementCovered, java.util.Map<ValueNumber,java.util.SortedSet<Location>> bugLocationMap, java.util.Map<ValueNumber,java.util.Set<Location>> nullValueAssignmentMap)
-
Uses of CFGBuilderException in edu.umd.cs.findbugs.ba.vna
Methods in edu.umd.cs.findbugs.ba.vna that throw CFGBuilderException Modifier and Type Method Description static BugAnnotation
ValueNumberSourceInfo. getFromValueNumber(ClassContext classContext, org.apache.bcel.classfile.Method method, Location location, int stackPos)
-
Uses of CFGBuilderException in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect that throw CFGBuilderException Modifier and Type Method Description 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)
-