Uses of Class
edu.umd.cs.findbugs.ba.CFGBuilderException
Packages that use CFGBuilderException
Package
Description
Main package for the FindBugs application - contains the engine class
(
FindBugs
), the object model classes for bug
instances (BugInstance
,
BugAnnotation
), and other miscellany.A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
-
Uses of CFGBuilderException in edu.umd.cs.findbugs
Methods in edu.umd.cs.findbugs that throw CFGBuilderExceptionModifier and TypeMethodDescriptionvoid
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.baModifier and TypeClassDescriptionclass
Used to signal a method not analyzed because it seemed unprofitable to do soMethods in edu.umd.cs.findbugs.ba that throw CFGBuilderExceptionModifier and TypeMethodDescriptionvoid
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.ClassContext.getBlockTypeDataflow
(org.apache.bcel.classfile.Method method) Get BlockType dataflow for given method.ClassContext.getCallListDataflow
(org.apache.bcel.classfile.Method method) Get CallListDataflow for method.ClassContext.getCFG
(org.apache.bcel.classfile.Method method) Get a CFG for given method.ClassContext.getCompactLocationNumbering
(org.apache.bcel.classfile.Method method) Get a CompactLocationNumbering for a method.ClassContext.getConstantDataflow
(org.apache.bcel.classfile.Method method) Get ConstantDataflow for method.ClassContext.getDepthFirstSearch
(org.apache.bcel.classfile.Method method) Get a DepthFirstSearch for given method.ClassContext.getIsNullValueDataflow
(org.apache.bcel.classfile.Method method) Get an IsNullValueDataflow for given method.ClassContext.getLiveLocalStoreDataflow
(org.apache.bcel.classfile.Method method) Get LiveLocalStoreAnalysis dataflow for given method.ClassContext.getLoadDataflow
(org.apache.bcel.classfile.Method method) Get load dataflow.ClassContext.getLockChecker
(org.apache.bcel.classfile.Method method) Get LockChecker for method.ClassContext.getLockDataflow
(org.apache.bcel.classfile.Method method) Get dataflow for LockAnalysis for given method.private <Analysis> Analysis
ClassContext.getMethodAnalysis
(Class<Analysis> analysisClass, org.apache.bcel.classfile.Method method) private <Analysis> Analysis
ClassContext.getMethodAnalysisNoDataflowAnalysisException
(Class<Analysis> analysisClass, org.apache.bcel.classfile.Method method) ClassContext.getNonExceptionDominatorsAnalysis
(org.apache.bcel.classfile.Method method) Get DominatorsAnalysis for given method, where exception edges are ignored.ClassContext.getNonExceptionPostDominatorsAnalysis
(org.apache.bcel.classfile.Method method) Get PostDominatorsAnalysis for given method, where exception edges are ignored.ClassContext.getNonImplicitExceptionDominatorsAnalysis
(org.apache.bcel.classfile.Method method) Get DominatorsAnalysis for given method, where implicit exception edges are ignored.ClassContext.getNonImplicitExceptionPostDominatorsAnalysis
(org.apache.bcel.classfile.Method method) Get PostDominatorsAnalysis for given method, where implicit exception edges are ignored.ClassContext.getReturnPathDataflow
(org.apache.bcel.classfile.Method method) Get ReturnPathDataflow for method.ClassContext.getReturnPathTypeDataflow
(org.apache.bcel.classfile.Method method) Get ReturnPathTypeDataflow for a method.ClassContext.getReverseDepthFirstSearch
(org.apache.bcel.classfile.Method method) Get a ReverseDepthFirstSearch for given method.ClassContext.getStoreDataflow
(org.apache.bcel.classfile.Method method) Get store dataflow.ClassContext.getTypeDataflow
(org.apache.bcel.classfile.Method method) Get a TypeDataflow for given method.ClassContext.getUnconditionalValueDerefDataflow
(org.apache.bcel.classfile.Method method) Get the UnconditionalValueDerefDataflow for a method.ClassContext.getUsagesRequiringNonNullValues
(org.apache.bcel.classfile.Method method) Get a UsagesRequiringNonNullValues for given method.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 CFGBuilderExceptionModifierConstructorDescriptionPatternMatcher
(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 CFGBuilderExceptionModifier and TypeMethodDescriptionprivate 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
(Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, HashSet<ValueNumber> npeIfStatementCovered, Map<ValueNumber, SortedSet<Location>> bugLocationMap, Map<ValueNumber, Set<Location>> nullValueAssignmentMap) -
Uses of CFGBuilderException in edu.umd.cs.findbugs.ba.vna
Methods in edu.umd.cs.findbugs.ba.vna that throw CFGBuilderExceptionModifier and TypeMethodDescriptionstatic 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 CFGBuilderExceptionModifier and TypeMethodDescriptionprivate 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, 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, Path classDir) private void
FindNullDeref.examineCallSite
(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow) private void
FindNullDeref.examineReturnInstruction
(Location location) FindInconsistentSync2.findObviouslyLockedCallSites
(ClassContext classContext, SelfCalls selfCalls) Find all self-call sites that are obviously locked.private BitSet
FindNullDeref.findPreviouslyDeadBlocks()
Find set of blocks which were known to be dead before doing the null pointer analysis.private BitSet
NoiseNullDeref.findPreviouslyDeadBlocks()
Find set of blocks which were known to be dead before doing the null pointer analysis.private Set
<ValueNumber> FindBadCast2.getParameterValueNumbers
(ClassContext classContext, org.apache.bcel.classfile.Method method, CFG cfg) FindUnreleasedLock.getResourceTracker
(ClassContext classContext, org.apache.bcel.classfile.Method method) 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 CFGBuilderExceptionModifier and TypeMethodDescriptionprivate static Location
WarningPropertyUtil.pcToLocation
(ClassContext classContext, org.apache.bcel.classfile.Method method, int pc) Get a Location matching the given PC value.