Uses of Class
edu.umd.cs.findbugs.ba.DepthFirstSearch
-
Packages that use DepthFirstSearch Package Description 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.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.npe2 This package is a rewrite of the null-pointer analysis to use sets of value numbers rather than frames.edu.umd.cs.findbugs.ba.obl Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g.edu.umd.cs.findbugs.ba.type edu.umd.cs.findbugs.ba.vna edu.umd.cs.findbugs.classfile.engine.bcel 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 DepthFirstSearch Modifier and Type Field Description DepthFirstSearch
ReverseDFSOrder. dfs
Methods in edu.umd.cs.findbugs.ba that return DepthFirstSearch Modifier and Type Method Description DepthFirstSearch
ClassContext. getDepthFirstSearch(org.apache.bcel.classfile.Method method)
Get a DepthFirstSearch for given method.protected DepthFirstSearch
ForwardDataflowAnalysis. getDepthFirstSearch()
-
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba.ca
Constructors in edu.umd.cs.findbugs.ba.ca with parameters of type DepthFirstSearch Constructor Description CallListAnalysis(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 DepthFirstSearch Constructor Description ConstantAnalysis(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 DepthFirstSearch 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. -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba.heap
Constructors in edu.umd.cs.findbugs.ba.heap with parameters of type DepthFirstSearch Constructor Description FieldSetAnalysis(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
Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type DepthFirstSearch Modifier and Type Method Description 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 methodDescriptor, TypeQualifierValue typeQualifierValue)
Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type DepthFirstSearch Constructor Description BackwardTypeQualifierDataflowAnalysis(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
Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type DepthFirstSearch Constructor Description IsNullValueAnalysis(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.npe2
Constructors in edu.umd.cs.findbugs.ba.npe2 with parameters of type DepthFirstSearch Constructor Description DefinitelyNullSetAnalysis(DepthFirstSearch dfs, ValueNumberDataflow vnaDataflow, CompactLocationNumbering compactLocationNumbering)
Constructor. -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba.obl
Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type DepthFirstSearch Constructor Description ObligationAnalysis(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 DepthFirstSearch 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. -
Uses of DepthFirstSearch in edu.umd.cs.findbugs.ba.vna
Constructors in edu.umd.cs.findbugs.ba.vna with parameters of type DepthFirstSearch Constructor Description ValueNumberAnalysis(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 DepthFirstSearch Modifier and Type Method Description DepthFirstSearch
DepthFirstSearchFactory. 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 DepthFirstSearch Constructor Description NonExceptionPostdominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)
Constructor.NonImplicitExceptionPostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)
-