Uses of Class
edu.umd.cs.findbugs.ba.CFG

Packages that use CFG

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.ca
edu.umd.cs.findbugs.ba.constant
edu.umd.cs.findbugs.ba.deref
edu.umd.cs.findbugs.ba.heap
edu.umd.cs.findbugs.ba.jsr305	Support for analyzing code containing JSR-305 type qualifier annotations.
edu.umd.cs.findbugs.ba.npe
edu.umd.cs.findbugs.ba.obl	Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g., database objects) are satisfied.
edu.umd.cs.findbugs.ba.type
edu.umd.cs.findbugs.ba.vna
edu.umd.cs.findbugs.bcel
edu.umd.cs.findbugs.classfile.engine.bcel	Support for analyses based on the BCEL bytecode framework.
edu.umd.cs.findbugs.detect
edu.umd.cs.findbugs.util

Uses of CFG in edu.umd.cs.findbugs

Methods in edu.umd.cs.findbugs with parameters of type CFG

Modifier and Type	Method	Description
abstract void	ResourceTrackingDetector.inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame, ResourceValueAnalysis<Resource>> dataflow, Resource resource)

Uses of CFG in edu.umd.cs.findbugs.ba

Subclasses with type arguments of type CFG in edu.umd.cs.findbugs.ba

Modifier and Type	Class	Description
class	DepthFirstSearch	Algorithm to perform a depth first search on a CFG.
class	ReverseDepthFirstSearch	Algorithm to perform a reverse depth first search on a CFG.

Fields in edu.umd.cs.findbugs.ba declared as CFG

Modifier and Type	Field	Description
private final CFG	AbstractDominatorsAnalysis.cfg
private CFG	BetterCFGBuilder2.cfg
private final CFG	CFGPrinter.cfg
private final CFG	Dataflow.cfg
private final CFG	PruneInfeasibleExceptionEdges.cfg
private final CFG	PruneUnconditionalExceptionThrowerEdges.cfg
private final CFG	ResourceValueAnalysis.cfg
private final CFG	SimplePathEnumerator.cfg
private final CFG	BetterCFGBuilder2.Subroutine.cfgSub
private final CFG	BetterCFGBuilder2.Context.result

Methods in edu.umd.cs.findbugs.ba that return CFG

Modifier and Type	Method	Description
CFG	BetterCFGBuilder2.getCFG()
CFG	BetterCFGBuilder2.Subroutine.getCFG()	Get the subroutine's CFG.
CFG	CFGBuilder.getCFG()	Get the CFG built by this object.
CFG	ClassContext.getCFG(org.apache.bcel.classfile.Method method)	Get a CFG for given method.
CFG	Dataflow.getCFG()	Get the CFG object.
CFG	BetterCFGBuilder2.Context.getResult()	Get the result CFG.
private CFG	BetterCFGBuilder2.inlineAll()	Inline all JSR subroutines into the top-level subroutine.

Methods in edu.umd.cs.findbugs.ba with parameters of type CFG

Modifier and Type	Method	Description
void	Path.acceptVisitor(CFG cfg, PathVisitor visitor)	Accept a PathVisitor.
void	Path.acceptVisitorStartingFromLocation(CFG cfg, PathVisitor visitor, BasicBlock startBlock, org.apache.bcel.generic.InstructionHandle startHandle)	Accept a PathVisitor, starting from a given BasicBlock and InstructionHandle.
private void	CompactLocationNumbering.build(CFG cfg)
static void	ClassContext.dumpDataflowInformation(org.apache.bcel.classfile.Method method, CFG cfg, ValueNumberDataflow vnd, IsNullValueDataflow inv, UnconditionalValueDerefDataflow dataflow, TypeDataflow typeDataflow)
static void	ClassContext.dumpLiveLocalStoreDataflow(MethodDescriptor method, CFG cfg, LiveLocalStoreDataflow dataflow)
static void	ClassContext.dumpTypeDataflow(org.apache.bcel.classfile.Method method, CFG cfg, TypeDataflow typeDataflow)
BlockOrder	BackwardDataflowAnalysis.getBlockOrder(CFG cfg)
BlockOrder	BlockTypeAnalysis.getBlockOrder(CFG cfg)
BlockOrder	DataflowAnalysis.getBlockOrder(CFG cfg)	Return the BlockOrder specifying the order in which BasicBlocks should be visited in the main dataflow loop.
BlockOrder	DominatorsAnalysis.getBlockOrder(CFG cfg)
BlockOrder	ForwardDataflowAnalysis.getBlockOrder(CFG cfg)
BlockOrder	PostDominatorsAnalysis.getBlockOrder(CFG cfg)
FrameType	FrameDataflowAnalysis.getFactAtPC(CFG cfg, int pc)	Get the dataflow fact representing the point just before given Location.
FrameType	FrameDataflowAnalysis.getFactBeforeExceptionCheck(CFG cfg, int pc)	Get the dataflow fact representing the point just before given Location.

Constructors in edu.umd.cs.findbugs.ba with parameters of type CFG

Modifier	Constructor	Description
protected	AbstractBlockOrder(CFG cfg, Comparator<BasicBlock> comparator)
	AbstractDataflow(CFG cfg, AnalysisType analysis)	Constructor.
protected	AbstractDominatorsAnalysis(CFG cfg, boolean ignoreExceptionEdges)	Constructor.
protected	AbstractDominatorsAnalysis(CFG cfg, EdgeChooser edgeChooser)	Constructor.
	BlockTypeDataflow(CFG cfg, BlockTypeAnalysis analysis)
	CFGPrinter(CFG cfg)
	CompactLocationNumbering(CFG cfg)	Constructor.
	Context(BetterCFGBuilder2.Context caller, BetterCFGBuilder2.Subroutine subroutine, CFG result)	Constructor.
	Dataflow(CFG cfg, AnalysisType analysis)	Constructor.
	DepthFirstSearch(CFG cfg)	Constructor.
	DFSCFGPrinter(CFG cfg, DepthFirstSearch dfs)
	DominatorsAnalysis(CFG cfg, DepthFirstSearch dfs, boolean ignoreExceptionEdges)	Constructor.
	DominatorsAnalysis(CFG cfg, DepthFirstSearch dfs, EdgeChooser edgeChooser)	Constructor.
	LiveLocalStoreDataflow(CFG cfg, LiveLocalStoreAnalysis analysis)
	LockDataflow(CFG cfg, LockAnalysis lockAnalysis)
protected	PostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, boolean ignoreExceptionEdges)	Constructor.
protected	PostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, EdgeChooser edgeChooser)	Constructor.
	PruneInfeasibleExceptionEdges(CFG cfg, org.apache.bcel.generic.MethodGen methodGen, TypeDataflow typeDataflow)	Constructor.
	PruneUnconditionalExceptionThrowerEdges(org.apache.bcel.classfile.JavaClass javaClass, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow, AnalysisContext analysisContext)
	ResourceValueAnalysis(org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, ResourceTracker<Resource> resourceTracker, Resource resource)
	ReturnPathDataflow(CFG cfg, ReturnPathAnalysis analysis)
	ReverseDepthFirstSearch(CFG cfg)	Constructor.
	ReverseDFSOrder(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)	Constructor.
	ReversePostOrder(CFG cfg, DepthFirstSearch dfs)	Constructor.
	SimplePathEnumerator(CFG cfg, int maxPaths)	Constructor; max work is set to DEFAULT_MAX_WORK.
	SimplePathEnumerator(CFG cfg, int maxPaths, int maxWork)	Constructor.

Uses of CFG in edu.umd.cs.findbugs.ba.bcp

Fields in edu.umd.cs.findbugs.ba.bcp declared as CFG

Modifier and Type	Field	Description
private final CFG	PatternMatcher.cfg

Uses of CFG in edu.umd.cs.findbugs.ba.ca

Methods in edu.umd.cs.findbugs.ba.ca with parameters of type CFG

Modifier and Type	Method	Description
private static Map<org.apache.bcel.generic.InstructionHandle, Call>	CallListAnalysis.buildCallMap(CFG cfg, org.apache.bcel.generic.ConstantPoolGen cpg)
BlockOrder	CallListAnalysis.getBlockOrder(CFG cfg)

Constructors in edu.umd.cs.findbugs.ba.ca with parameters of type CFG

Modifier	Constructor	Description
	CallListAnalysis(CFG cfg, DepthFirstSearch dfs, org.apache.bcel.generic.ConstantPoolGen cpg)
	CallListDataflow(CFG cfg, CallListAnalysis analysis)

Uses of CFG in edu.umd.cs.findbugs.ba.constant

Constructors in edu.umd.cs.findbugs.ba.constant with parameters of type CFG

Modifier	Constructor	Description
	ConstantDataflow(CFG cfg, ConstantAnalysis analysis)

Uses of CFG in edu.umd.cs.findbugs.ba.deref

Fields in edu.umd.cs.findbugs.ba.deref declared as CFG

Modifier and Type	Field	Description
private final CFG	UnconditionalValueDerefAnalysis.cfg

Constructors in edu.umd.cs.findbugs.ba.deref with parameters of type CFG

Modifier	Constructor	Description
	UnconditionalValueDerefAnalysis(ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, CFG cfg, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, ValueNumberDataflow vnaDataflow, AssertionMethods assertionMethods)	Constructor.
	UnconditionalValueDerefDataflow(CFG cfg, UnconditionalValueDerefAnalysis analysis)	Constructor.

Uses of CFG in edu.umd.cs.findbugs.ba.heap

Constructors in edu.umd.cs.findbugs.ba.heap with parameters of type CFG

Modifier	Constructor	Description
	LoadDataflow(CFG cfg, LoadAnalysis analysis)
	StoreDataflow(CFG cfg, StoreAnalysis analysis)

Uses of CFG in edu.umd.cs.findbugs.ba.jsr305

Fields in edu.umd.cs.findbugs.ba.jsr305 declared as CFG

Modifier and Type	Field	Description
protected final CFG	TypeQualifierDataflowAnalysis.cfg

Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type CFG

Modifier and Type	Method	Description
BlockOrder	BackwardTypeQualifierDataflowAnalysis.getBlockOrder(CFG cfg1)
BlockOrder	ForwardTypeQualifierDataflowAnalysis.getBlockOrder(CFG cfg1)
protected BackwardTypeQualifierDataflow	BackwardTypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue)
protected ForwardTypeQualifierDataflow	ForwardTypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue)
protected abstract DataflowType	TypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor1, TypeQualifierValue<?> typeQualifierValue)
static Collection<TypeQualifierValue<?>>	Analysis.getRelevantTypeQualifiers(MethodDescriptor methodDescriptor, CFG cfg)	Find relevant type qualifiers needing to be checked for a given method.

Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type CFG

Modifier	Constructor	Description
	BackwardTypeQualifierDataflow(CFG cfg, BackwardTypeQualifierDataflowAnalysis analysis)	Constructor.
	BackwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs, ReverseDepthFirstSearch rdfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue)	Constructor.
	ForwardTypeQualifierDataflow(CFG cfg, ForwardTypeQualifierDataflowAnalysis analysis)	Constructor.
	ForwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue)	Constructor.
	TypeQualifierDataflow(CFG cfg, AnalysisType analysis)	Constructor.
protected	TypeQualifierDataflowAnalysis(XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue)	Constructor.

Uses of CFG in edu.umd.cs.findbugs.ba.npe

Fields in edu.umd.cs.findbugs.ba.npe declared as CFG

Modifier and Type	Field	Description
private final CFG	IsNullValueAnalysis.cfg
private final CFG	ReturnPathTypeAnalysis.cfg

Methods in edu.umd.cs.findbugs.ba.npe with parameters of type CFG

Modifier and Type	Method	Description
void	NullDerefAndRedundantComparisonFinder.checkEdges(CFG cfg, Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, Map<ValueNumber, SortedSet<Location>> bugEdgeLocationMap)
BlockOrder	ReturnPathTypeAnalysis.getBlockOrder(CFG cfg)
static IsNullValueAnalysis.PointerEqualityCheck	IsNullValueAnalysis.getForPointerEqualityCheck(CFG cfg, ValueNumberDataflow vna)

Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type CFG

Modifier	Constructor	Description
	IsNullValueAnalysis(MethodDescriptor descriptor, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow, DepthFirstSearch dfs, AssertionMethods assertionMethods)
	IsNullValueDataflow(CFG cfg, IsNullValueAnalysis analysis)
	ReturnPathTypeAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)	Constructor.
	ReturnPathTypeDataflow(CFG cfg, ReturnPathTypeAnalysis analysis)	Constructor.

Uses of CFG in edu.umd.cs.findbugs.ba.obl

Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type CFG

Modifier	Constructor	Description
	ObligationDataflow(CFG cfg, ObligationAnalysis analysis)

Uses of CFG in edu.umd.cs.findbugs.ba.type

Fields in edu.umd.cs.findbugs.ba.type declared as CFG

Modifier and Type	Field	Description
protected CFG	TypeAnalysis.cfg

Constructors in edu.umd.cs.findbugs.ba.type with parameters of type CFG

Modifier	Constructor	Description
	TypeAnalysis(org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory)	Constructor which uses StandardTypeMerger.
	TypeAnalysis(org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, TypeMerger typeMerger, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory)	Constructor.
	TypeAnalysis(org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, TypeMerger typeMerger, TypeFrameModelingVisitor visitor, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory)	Constructor.
	TypeDataflow(CFG cfg, TypeAnalysis analysis)

Uses of CFG in edu.umd.cs.findbugs.ba.vna

Constructors in edu.umd.cs.findbugs.ba.vna with parameters of type CFG

Modifier	Constructor	Description
	ValueNumberDataflow(CFG cfg, ValueNumberAnalysis analysis)

Uses of CFG in edu.umd.cs.findbugs.bcel

Methods in edu.umd.cs.findbugs.bcel with parameters of type CFG

Modifier and Type	Method	Description
protected abstract void	CFGDetector.visitMethodCFG(MethodDescriptor methodDescriptor, CFG cfg)	Visit the CFG (control flow graph) of a method to be analyzed.

Uses of CFG in edu.umd.cs.findbugs.classfile.engine.bcel

Subclasses with type arguments of type CFG in edu.umd.cs.findbugs.classfile.engine.bcel

Modifier and Type	Class	Description
class	CFGFactory	Analysis engine to produce CFG (control flow graph) objects for an analyzed method.

Fields in edu.umd.cs.findbugs.classfile.engine.bcel declared as CFG

Modifier and Type	Field	Description
private final CFG	ValueRangeAnalysisFactory.BackIterator.cfg

Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return CFG

Modifier and Type	Method	Description
CFG	CFGFactory.analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
protected CFG	AnalysisFactory.getCFG(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor)

Methods in edu.umd.cs.findbugs.classfile.engine.bcel with parameters of type CFG

Modifier and Type	Method	Description
List<Edge>	FinallyDuplicatesInfoFactory.FinallyDuplicatesInfo.getDuplicates(CFG cfg, Edge edge)
private static void	ValueRangeAnalysisFactory.walkCFG(CFG cfg, ValueRangeAnalysisFactory.LongRangeSet subRange, Map<Edge, ValueRangeAnalysisFactory.Branch> edges, BitSet reachedBlocks)

Constructors in edu.umd.cs.findbugs.classfile.engine.bcel with parameters of type CFG

Modifier	Constructor	Description
	BackIterator(CFG cfg, BasicBlock block)
	NonExceptionDominatorsAnalysis(CFG cfg, DepthFirstSearch dfs)	Constructor.
	NonExceptionPostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)	Constructor.
	NonImplicitExceptionDominatorsAnalysis(CFG cfg, DepthFirstSearch dfs)	Constructor.
	NonImplicitExceptionPostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)

Uses of CFG in edu.umd.cs.findbugs.detect

Fields in edu.umd.cs.findbugs.detect declared as CFG

Modifier and Type	Field	Description
private final CFG	FindUnreleasedLock.LockResourceTracker.cfg
(package private) CFG	FindUnsatisfiedObligation.MethodChecker.cfg
(package private) CFG	FindUselessObjects.UselessValuesContext.cfg
private CFG	SharedVariableAtomicityDetector.currentCFG
private CFG	StaticCalendarDetector.currentCFG	Stores current Control Flow Graph

Methods in edu.umd.cs.findbugs.detect with parameters of type CFG

Modifier and Type	Method	Description
private void	CheckTypeQualifiers.checkDataflow(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow)
private void	CheckTypeQualifiers.checkForConflictingValues(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)
private void	CheckTypeQualifiers.checkForEqualityTest(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, Location loc, ValueNumberFrame factAtLocation)
private void	CheckTypeQualifiers.checkQualifier(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ForwardTypeQualifierDataflowFactory forwardDataflowFactory, BackwardTypeQualifierDataflowFactory backwardDataflowFactory, ValueNumberDataflow vnaDataflow)	Check a specific TypeQualifierValue on a method.
private void	CheckTypeQualifiers.checkValueSources(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow)
private void	FindDeadLocalStores.countLocalStoresLoadsAndIncrements(int[] localStoreCount, int[] localLoadCount, int[] localIncrementCount, CFG cfg)	Count stores, loads, and increments of local variables in method whose CFG is given.
private void	DuplicateBranches.findIfElseDuplicates(CFG cfg, org.apache.bcel.classfile.Method method, BasicBlock bb)
(package private) Location	FindNullDerefsInvolvingNonShortCircuitEvaluation.findLocation(CFG cfg, int pc)
(package private) Location	FindNullDerefsInvolvingNonShortCircuitEvaluation.findLocation(CFG cfg, org.apache.bcel.generic.InstructionHandle handle)
private void	DuplicateBranches.findSwitchDuplicates(CFG cfg, org.apache.bcel.classfile.Method method, BasicBlock bb)
private org.apache.bcel.generic.InstructionHandle	DuplicateBranches.findThenFinish(CFG cfg, BasicBlock thenBB, int elsePos)
private static org.apache.bcel.generic.InstructionHandle	DuplicateBranches.getDeepFirstInstruction(CFG cfg, BasicBlock bb)	Like bb.getFirstInstruction() except that if null is returned it will follow the FALL_THROUGH_EDGE (if any)
private Location	CheckTypeQualifiers.getEdgeSourceLocation(CFG cfg, Edge edge)
private Location	CheckTypeQualifiers.getEdgeTargetLocation(CFG cfg, Edge edge)
private static int	DuplicateBranches.getFinalTarget(CFG cfg, int myPos, Collection<org.apache.bcel.generic.InstructionHandle> prevs)	determine the end position (exclusive) of the final case by looking at the gotos at the ends of the other cases
private Set<ValueNumber>	FindBadCast2.getParameterValueNumbers(ClassContext classContext, org.apache.bcel.classfile.Method method, CFG cfg)
private Location	FindSqlInjection.getPreviousLocation(CFG cfg, Location startLocation, boolean skipNops)
private FindSqlInjection.StringAppendState	FindSqlInjection.getStringAppendState(ClassContext ctx, CFG cfg, org.apache.bcel.generic.ConstantPoolGen cpg)
void	FindOpenStream.inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame, ResourceValueAnalysis<Stream>> dataflow, Stream stream)
void	FindUnreleasedLock.inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame, ResourceValueAnalysis<Lock>> dataflow, Lock resource)
protected void	CheckTypeQualifiers.visitMethodCFG(MethodDescriptor methodDescriptor, CFG cfg)
protected void	FindUnsatisfiedObligation.visitMethodCFG(MethodDescriptor methodDescriptor, CFG cfg)

Constructors in edu.umd.cs.findbugs.detect with parameters of type CFG

Modifier	Constructor	Description
	LockResourceTracker(RepositoryLookupFailureCallback lookupFailureCallback, CFG cfg, ValueNumberDataflow vnaDataflow, IsNullValueDataflow isNullDataflow)
(package private)	MethodChecker(MethodDescriptor methodDescriptor, CFG cfg)
private	SpecialTypeAnalysis(org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, TypeMerger typeMerger, TypeFrameModelingVisitor visitor, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory)

Uses of CFG in edu.umd.cs.findbugs.util

Methods in edu.umd.cs.findbugs.util with parameters of type CFG

Modifier and Type	Method	Description
static boolean	MultiThreadedCodeIdentifierUtils.isLocked(org.apache.bcel.classfile.Method currentMethod, CFG currentCFG, LockDataflow currentLockDataFlow, int pc)