Uses of Class
edu.umd.cs.findbugs.ba.type.TypeDataflow
Packages that use TypeDataflow
Package
Description
A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
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 TypeDataflow in edu.umd.cs.findbugs.ba
Fields in edu.umd.cs.findbugs.ba declared as TypeDataflowModifier and TypeFieldDescriptionprivate final TypeDataflow
PruneInfeasibleExceptionEdges.typeDataflow
private final TypeDataflow
PruneUnconditionalExceptionThrowerEdges.typeDataflow
Methods in edu.umd.cs.findbugs.ba that return TypeDataflowModifier and TypeMethodDescriptionClassContext.getTypeDataflow
(org.apache.bcel.classfile.Method method) Get a TypeDataflow for given method.Methods in edu.umd.cs.findbugs.ba with parameters of type TypeDataflowModifier and TypeMethodDescriptionstatic void
ClassContext.dumpDataflowInformation
(org.apache.bcel.classfile.Method method, CFG cfg, ValueNumberDataflow vnd, IsNullValueDataflow inv, UnconditionalValueDerefDataflow dataflow, TypeDataflow typeDataflow) static void
ClassContext.dumpTypeDataflow
(org.apache.bcel.classfile.Method method, CFG cfg, TypeDataflow typeDataflow) Constructors in edu.umd.cs.findbugs.ba with parameters of type TypeDataflowModifierConstructorDescriptionPruneInfeasibleExceptionEdges
(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) -
Uses of TypeDataflow in edu.umd.cs.findbugs.ba.deref
Fields in edu.umd.cs.findbugs.ba.deref declared as TypeDataflowModifier and TypeFieldDescriptionprivate TypeDataflow
UnconditionalValueDerefAnalysis.typeDataflow
Methods in edu.umd.cs.findbugs.ba.deref with parameters of type TypeDataflowModifier and TypeMethodDescriptionstatic Set
<ValueNumber> UnconditionalValueDerefAnalysis.checkAllNonNullParams
(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, org.apache.bcel.classfile.Method method, IsNullValueDataflow invDataflow, TypeDataflow typeDataflow) static Set
<ValueNumber> UnconditionalValueDerefAnalysis.checkUnconditionalDerefDatabase
(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, IsNullValueFrame invFrame, TypeDataflow typeDataflow) void
UnconditionalValueDerefAnalysis.setTypeDataflow
(TypeDataflow typeDataflow) -
Uses of TypeDataflow in edu.umd.cs.findbugs.ba.npe
Fields in edu.umd.cs.findbugs.ba.npe declared as TypeDataflowModifier and TypeFieldDescriptionprivate final TypeDataflow
IsNullValueFrameModelingVisitor.typeDataflow
Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type TypeDataflowModifierConstructorDescriptionIsNullValueAnalysis
(MethodDescriptor descriptor, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow, DepthFirstSearch dfs, AssertionMethods assertionMethods) IsNullValueFrameModelingVisitor
(org.apache.bcel.generic.ConstantPoolGen cpg, AssertionMethods assertionMethods, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow, boolean trackValueNumbers) -
Uses of TypeDataflow in edu.umd.cs.findbugs.ba.obl
Fields in edu.umd.cs.findbugs.ba.obl declared as TypeDataflowModifier and TypeFieldDescriptionprivate final TypeDataflow
InstructionActionCache.typeDataflow
private final TypeDataflow
ObligationAnalysis.typeDataflow
Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type TypeDataflowModifierConstructorDescriptionInstructionActionCache
(ObligationPolicyDatabase database, XMethod xmethod, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow) ObligationAnalysis
(DepthFirstSearch dfs, XMethod xmethod, org.apache.bcel.generic.ConstantPoolGen cpg, ObligationFactory factory, ObligationPolicyDatabase database, TypeDataflow typeDataflow, IsNullValueDataflow invDataflow, IErrorLogger errorLogger) Constructor. -
Uses of TypeDataflow in edu.umd.cs.findbugs.classfile.engine.bcel
Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return TypeDataflowModifier and TypeMethodDescriptionTypeDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) protected TypeDataflow
AnalysisFactory.getTypeDataflow
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) -
Uses of TypeDataflow in edu.umd.cs.findbugs.detect
Fields in edu.umd.cs.findbugs.detect declared as TypeDataflowModifier and TypeFieldDescription(package private) TypeDataflow
FindUnsatisfiedObligation.MethodChecker.typeDataflow
Methods in edu.umd.cs.findbugs.detect with parameters of type TypeDataflowModifier and TypeMethodDescriptionprivate void
FindRefComparison.checkEqualsComparison
(Location location, org.apache.bcel.classfile.JavaClass jclass, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow) private void
FindNullDeref.checkNonNullParam
(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow, org.apache.bcel.generic.InvokeInstruction invokeInstruction, BitSet nullArgSet, BitSet definitelyNullArgSet) We have a method invocation in which a possibly or definitely null parameter is passed.private void
FindRefComparison.checkRefComparison
(Location location, org.apache.bcel.classfile.JavaClass jclass, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, FindRefComparison.RefComparisonTypeFrameModelingVisitor visitor, TypeDataflow typeDataflow, List<FindRefComparison.WarningWithProperties> stringComparisonList, List<FindRefComparison.WarningWithProperties> refComparisonList) private void
FindNullDeref.checkUnconditionallyDereferencedParam
(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow, org.apache.bcel.generic.InvokeInstruction invokeInstruction, BitSet nullArgSet, BitSet definitelyNullArgSet) private void
FindNullDeref.examineCallSite
(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow) private void
FindRefComparison.inspectLocation
(org.apache.bcel.classfile.JavaClass jclass, org.apache.bcel.generic.ConstantPoolGen cpg, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, LinkedList<FindRefComparison.WarningWithProperties> refComparisonList, LinkedList<FindRefComparison.WarningWithProperties> stringComparisonList, FindRefComparison.RefComparisonTypeFrameModelingVisitor visitor, TypeDataflow typeDataflow, Location location)