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 edu.umd.cs.findbugs.props -
-
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)
private ResourceCollection<Resource>
ResourceTrackingDetector. buildResourceCollection(ClassContext classContext, org.apache.bcel.classfile.Method method, ResourceTrackerType resourceTracker)
void
SelfCalls. execute()
Find the self calls.abstract ResourceTrackerType
ResourceTrackingDetector. getResourceTracker(ClassContext classContext, org.apache.bcel.classfile.Method method)
private boolean
ResourceTrackingDetector. mightCloseResource(ClassContext classContext, org.apache.bcel.classfile.Method method, ResourceTrackerType resourceTracker)
abstract void
ByteCodePatternDetector. reportMatch(ClassContext classContext, org.apache.bcel.classfile.Method method, ByteCodePatternMatch match)
Called to report an instance of the ByteCodePattern.private void
SelfCalls. scan(CallGraphNode node)
Scan a method for self call sites. -
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.Subroutine. addInstruction(org.apache.bcel.generic.InstructionHandle handle)
Add an instruction to the subroutine.void
BetterCFGBuilder2. build()
private void
BetterCFGBuilder2. build(BetterCFGBuilder2.Subroutine subroutine)
Build a subroutine.void
CFGBuilder. build()
Build the CFG.void
BetterCFGBuilder2.Context. checkForRecursion()
Check to ensure that this context is not the result of recursion.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.private <Analysis> Analysis
ClassContext. getMethodAnalysis(java.lang.Class<Analysis> analysisClass, org.apache.bcel.classfile.Method method)
private <Analysis> Analysis
ClassContext. getMethodAnalysisNoDataflowAnalysisException(java.lang.Class<Analysis> analysisClass, org.apache.bcel.classfile.Method 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.DominatorsAnalysis
ClassContext. getNonImplicitExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method)
Get DominatorsAnalysis for given method, where implicit exception edges are ignored.PostDominatorsAnalysis
ClassContext. getNonImplicitExceptionPostDominatorsAnalysis(org.apache.bcel.classfile.Method method)
Get PostDominatorsAnalysis 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(BetterCFGBuilder2.Context context)
Inline a subroutine into a calling context.private CFG
BetterCFGBuilder2. inlineAll()
Inline all JSR subroutines into the top-level subroutine.private boolean
BetterCFGBuilder2. isPEI(org.apache.bcel.generic.InstructionHandle handle)
Return whether or not the given instruction can throw exceptions. -
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 private void
NullDerefAndRedundantComparisonFinder. analyzeNullCheck(IsNullValueDataflow invDataflow, BasicBlock basicBlock)
private void
NullDerefAndRedundantComparisonFinder. examineBasicBlocks()
Examine basic blocks for null checks and potentially-redundant null comparisons.private void
NullDerefAndRedundantComparisonFinder. examineNullValues()
Examine null values.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 private void
CallToUnconditionalThrower. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
CallToUnsupportedMethod. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
CheckCalls. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
DontIgnoreResultOfPutIfAbsent. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
DumbMethodInvocations. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
FindBadCast2. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
FindDeadLocalStores. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
FindInconsistentSync2. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method, java.util.Set<org.apache.bcel.classfile.Method> lockedMethodSet)
private void
FindMismatchedWaitOrNotify. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
FindNonSerializableStoreIntoSession. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
FindNonSerializableValuePassedToWriteObject. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
FindNullDeref. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
void
FindOpenStream. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method, StreamResourceTracker resourceTracker, ResourceCollection<Stream> resourceCollection)
private void
FindRefComparison. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
FindSelfComparison2. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
FindSleepWithLockHeld. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
FindSqlInjection. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
FindTwoLockWait. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
FindUnrelatedTypesInGenericContainer. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
FindUseOfNonSerializableValue. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
LoadOfKnownNullValue. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
NoiseNullDeref. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
TrainFieldStoreTypes. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void
ViewCFG. analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method, java.nio.file.Path classDir)
private void
FindNullDeref. examineCallSite(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow)
private void
FindNullDeref. examineReturnInstruction(Location location)
private static java.util.Set<CallSite>
FindInconsistentSync2. findObviouslyLockedCallSites(ClassContext classContext, SelfCalls selfCalls)
Find all self-call sites that are obviously locked.private java.util.BitSet
FindNullDeref. findPreviouslyDeadBlocks()
Find set of blocks which were known to be dead before doing the null pointer analysis.private java.util.BitSet
NoiseNullDeref. findPreviouslyDeadBlocks()
Find set of blocks which were known to be dead before doing the null pointer analysis.private java.util.Set<ValueNumber>
FindBadCast2. getParameterValueNumbers(ClassContext classContext, org.apache.bcel.classfile.Method method, CFG cfg)
FindUnreleasedLock.LockResourceTracker
FindUnreleasedLock. getResourceTracker(ClassContext classContext, org.apache.bcel.classfile.Method method)
private FindSqlInjection.StringAppendState
FindSqlInjection. getStringAppendState(ClassContext ctx, CFG cfg, org.apache.bcel.generic.ConstantPoolGen cpg)
private boolean
FindSqlInjection. isSafeValue(Location location, org.apache.bcel.generic.ConstantPoolGen cpg)
void
LazyInit. reportMatch(ClassContext classContext, org.apache.bcel.classfile.Method method, ByteCodePatternMatch match)
-
Uses of CFGBuilderException in edu.umd.cs.findbugs.props
Methods in edu.umd.cs.findbugs.props that throw CFGBuilderException Modifier and Type Method Description private static Location
WarningPropertyUtil. pcToLocation(ClassContext classContext, org.apache.bcel.classfile.Method method, int pc)
Get a Location matching the given PC value.
-