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 so

Methods 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.io.PrintStream out)
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.