Uses of Class
edu.umd.cs.findbugs.ba.DepthFirstSearch
Packages that use DepthFirstSearch
Package
Description
A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
Support for analyzing code containing JSR-305 type qualifier annotations.
Implementation of dataflow analysis for checking whether obligations to close streams and other resources
(e.g., database objects) are satisfied.
Support for analyses based on the BCEL bytecode framework.
-
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba
Fields in edu.umd.cs.findbugs.ba declared as DepthFirstSearchModifier and TypeFieldDescriptionprivate final DepthFirstSearch
BackwardDataflowAnalysis.dfs
private final DepthFirstSearch
BlockTypeAnalysis.dfs
private final DepthFirstSearch
DFSCFGPrinter.dfs
private final DepthFirstSearch
DominatorsAnalysis.dfs
private final DepthFirstSearch
ForwardDataflowAnalysis.dfs
private final DepthFirstSearch
PostDominatorsAnalysis.dfs
final DepthFirstSearch
ReverseDFSOrder.dfs
private final DepthFirstSearch
ReverseDFSOrder.ReverseDFSComparator.dfs
private final DepthFirstSearch
ReversePostOrder.ReversePostfixComparator.dfs
private final DepthFirstSearch
SimplePathEnumerator.dfs
Methods in edu.umd.cs.findbugs.ba that return DepthFirstSearchModifier and TypeMethodDescriptionClassContext.getDepthFirstSearch
(org.apache.bcel.classfile.Method method) Get a DepthFirstSearch for given method.protected DepthFirstSearch
ForwardDataflowAnalysis.getDepthFirstSearch()
Constructors in edu.umd.cs.findbugs.ba with parameters of type DepthFirstSearchModifierConstructorDescriptionConstructor.DFSCFGPrinter
(CFG cfg, DepthFirstSearch dfs) DominatorsAnalysis
(CFG cfg, DepthFirstSearch dfs, boolean ignoreExceptionEdges) Constructor.DominatorsAnalysis
(CFG cfg, DepthFirstSearch dfs, EdgeChooser edgeChooser) Constructor.LiveLocalStoreAnalysis
(org.apache.bcel.generic.MethodGen methodGen, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs) LockAnalysis
(org.apache.bcel.generic.MethodGen methodGen, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs) protected
PostDominatorsAnalysis
(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, boolean ignoreExceptionEdges) Constructor.protected
PostDominatorsAnalysis
(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, EdgeChooser edgeChooser) Constructor.ResourceValueAnalysis
(org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, ResourceTracker<Resource> resourceTracker, Resource resource) ReverseDFSOrder
(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs) Constructor.ReversePostOrder
(CFG cfg, DepthFirstSearch dfs) Constructor.StackDepthAnalysis
(org.apache.bcel.generic.ConstantPoolGen cpg, DepthFirstSearch dfs) Constructor. -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba.bcp
Fields in edu.umd.cs.findbugs.ba.bcp declared as DepthFirstSearch -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba.ca
Fields in edu.umd.cs.findbugs.ba.ca declared as DepthFirstSearchConstructors in edu.umd.cs.findbugs.ba.ca with parameters of type DepthFirstSearchModifierConstructorDescriptionCallListAnalysis
(CFG cfg, DepthFirstSearch dfs, org.apache.bcel.generic.ConstantPoolGen cpg) -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba.constant
Constructors in edu.umd.cs.findbugs.ba.constant with parameters of type DepthFirstSearchModifierConstructorDescriptionConstantAnalysis
(org.apache.bcel.generic.MethodGen methodGen, DepthFirstSearch dfs) -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba.deref
Constructors in edu.umd.cs.findbugs.ba.deref with parameters of type DepthFirstSearchModifierConstructorDescriptionUnconditionalValueDerefAnalysis
(ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, CFG cfg, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, ValueNumberDataflow vnaDataflow, AssertionMethods assertionMethods) Constructor. -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba.heap
Constructors in edu.umd.cs.findbugs.ba.heap with parameters of type DepthFirstSearchModifierConstructorDescriptionFieldSetAnalysis
(DepthFirstSearch dfs, org.apache.bcel.generic.ConstantPoolGen cpg) LoadAnalysis
(DepthFirstSearch dfs, org.apache.bcel.generic.ConstantPoolGen cpg) StoreAnalysis
(DepthFirstSearch dfs, org.apache.bcel.generic.ConstantPoolGen cpg) -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba.jsr305
Fields in edu.umd.cs.findbugs.ba.jsr305 declared as DepthFirstSearchModifier and TypeFieldDescriptionprivate final DepthFirstSearch
BackwardTypeQualifierDataflowAnalysis.dfs
private final DepthFirstSearch
ForwardTypeQualifierDataflowAnalysis.dfs
Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type DepthFirstSearchModifier and TypeMethodDescriptionprotected 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) Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type DepthFirstSearchModifierConstructorDescriptionBackwardTypeQualifierDataflowAnalysis
(DepthFirstSearch dfs, ReverseDepthFirstSearch rdfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue) Constructor.ForwardTypeQualifierDataflowAnalysis
(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue) Constructor. -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba.npe
Fields in edu.umd.cs.findbugs.ba.npe declared as DepthFirstSearchConstructors in edu.umd.cs.findbugs.ba.npe with parameters of type DepthFirstSearchModifierConstructorDescriptionIsNullValueAnalysis
(MethodDescriptor descriptor, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow, DepthFirstSearch dfs, AssertionMethods assertionMethods) ReturnPathTypeAnalysis
(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs) Constructor. -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba.obl
Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type DepthFirstSearchModifierConstructorDescriptionObligationAnalysis
(DepthFirstSearch dfs, XMethod xmethod, org.apache.bcel.generic.ConstantPoolGen cpg, ObligationFactory factory, ObligationPolicyDatabase database, TypeDataflow typeDataflow, IsNullValueDataflow invDataflow, IErrorLogger errorLogger) Constructor. -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba.type
Constructors in edu.umd.cs.findbugs.ba.type with parameters of type DepthFirstSearchModifierConstructorDescriptionTypeAnalysis
(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. -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba.vna
Constructors in edu.umd.cs.findbugs.ba.vna with parameters of type DepthFirstSearchModifierConstructorDescriptionValueNumberAnalysis
(org.apache.bcel.generic.MethodGen methodGen, DepthFirstSearch dfs, LoadedFieldSet loadedFieldSet, RepositoryLookupFailureCallback lookupFailureCallback) -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.classfile.engine.bcel
Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return DepthFirstSearchModifier and TypeMethodDescriptionDepthFirstSearchFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) protected DepthFirstSearch
AnalysisFactory.getDepthFirstSearch
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) Constructors in edu.umd.cs.findbugs.classfile.engine.bcel with parameters of type DepthFirstSearchModifierConstructorDescriptionConstructor.NonExceptionPostDominatorsAnalysis
(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs) Constructor.Constructor.NonImplicitExceptionPostDominatorsAnalysis
(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs) -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.detect
Constructors in edu.umd.cs.findbugs.detect with parameters of type DepthFirstSearchModifierConstructorDescriptionprivate
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)