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 DepthFirstSearchBackwardDataflowAnalysis.dfsprivate final DepthFirstSearchBlockTypeAnalysis.dfsprivate final DepthFirstSearchDFSCFGPrinter.dfsprivate final DepthFirstSearchDominatorsAnalysis.dfsprivate final DepthFirstSearchForwardDataflowAnalysis.dfsprivate final DepthFirstSearchPostDominatorsAnalysis.dfsfinal DepthFirstSearchReverseDFSOrder.dfsprivate final DepthFirstSearchReverseDFSOrder.ReverseDFSComparator.dfsprivate final DepthFirstSearchReversePostOrder.ReversePostfixComparator.dfsprivate final DepthFirstSearchSimplePathEnumerator.dfsMethods 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 DepthFirstSearchForwardDataflowAnalysis.getDepthFirstSearch()Constructors in edu.umd.cs.findbugs.ba with parameters of type DepthFirstSearchModifierConstructorDescriptionprotectedConstructor.DFSCFGPrinter(CFG cfg, DepthFirstSearch dfs) DominatorsAnalysis(CFG cfg, DepthFirstSearch dfs, boolean ignoreExceptionEdges) Constructor.DominatorsAnalysis(CFG cfg, DepthFirstSearch dfs, EdgeChooser edgeChooser) Constructor.protectedprotectedLiveLocalStoreAnalysis(org.apache.bcel.generic.MethodGen methodGen, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs) LockAnalysis(org.apache.bcel.generic.MethodGen methodGen, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs) protectedPostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, boolean ignoreExceptionEdges) Constructor.protectedPostDominatorsAnalysis(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 DepthFirstSearchModifierConstructorDescriptionprotectedFieldSetAnalysis(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 DepthFirstSearchBackwardTypeQualifierDataflowAnalysis.dfsprivate final DepthFirstSearchForwardTypeQualifierDataflowAnalysis.dfsMethods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type DepthFirstSearchModifier and TypeMethodDescriptionprotected BackwardTypeQualifierDataflowBackwardTypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue) protected ForwardTypeQualifierDataflowForwardTypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue) protected abstract DataflowTypeTypeQualifierDataflowFactory.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
Subclasses with type arguments of type DepthFirstSearch in edu.umd.cs.findbugs.classfile.engine.bcelModifier and TypeClassDescriptionclassAnalysis engine to produce DepthFirstSearch objects for analyzed methods.Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return DepthFirstSearchModifier and TypeMethodDescriptionDepthFirstSearchFactory.analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) protected DepthFirstSearchAnalysisFactory.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 DepthFirstSearchModifierConstructorDescriptionprivateSpecialTypeAnalysis(org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, TypeMerger typeMerger, TypeFrameModelingVisitor visitor, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory)