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
Fields in edu.umd.cs.findbugs.ba declared as CFG Modifier and Type Field Description private CFG
AbstractDominatorsAnalysis. cfg
private CFG
BetterCFGBuilder2. cfg
private CFG
CFGPrinter. cfg
private CFG
Dataflow. cfg
private CFG
PruneInfeasibleExceptionEdges. cfg
private CFG
PruneUnconditionalExceptionThrowerEdges. cfg
private CFG
ResourceValueAnalysis. cfg
private CFG
SimplePathEnumerator. cfg
private CFG
BetterCFGBuilder2.Subroutine. cfgSub
private 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 Constructor Description AbstractBlockOrder(CFG cfg, java.util.Comparator<BasicBlock> comparator)
AbstractDataflow(CFG cfg, AnalysisType analysis)
Constructor.AbstractDominatorsAnalysis(CFG cfg, boolean ignoreExceptionEdges)
Constructor.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)
PostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, boolean ignoreExceptionEdges)
Constructor.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 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 java.util.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 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 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 CFG
UnconditionalValueDerefAnalysis. cfg
Constructors in edu.umd.cs.findbugs.ba.deref with parameters of type CFG 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 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 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 java.util.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 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.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 CFG
IsNullValueAnalysis. cfg
private 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, java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, java.util.Map<ValueNumber,java.util.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 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 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 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 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
Fields in edu.umd.cs.findbugs.classfile.engine.bcel declared as CFG Modifier and Type Field Description private 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 java.util.List<Edge>
FinallyDuplicatesInfoFactory.FinallyDuplicatesInfo. getDuplicates(CFG cfg, Edge edge)
private static void
ValueRangeAnalysisFactory. walkCFG(CFG cfg, ValueRangeAnalysisFactory.LongRangeSet subRange, java.util.Map<Edge,ValueRangeAnalysisFactory.Branch> edges, java.util.BitSet reachedBlocks)
Constructors in edu.umd.cs.findbugs.classfile.engine.bcel with parameters of type CFG 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 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 GraphMethods 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, java.util.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 casesprivate java.util.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 Constructor Description LockResourceTracker(RepositoryLookupFailureCallback lookupFailureCallback, CFG cfg, ValueNumberDataflow vnaDataflow, IsNullValueDataflow isNullDataflow)
MethodChecker(MethodDescriptor methodDescriptor, CFG cfg)
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)
-