Uses of Class
edu.umd.cs.findbugs.ba.type.TypeDataflow
-
Packages that use TypeDataflow 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.deref 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.edu.umd.cs.findbugs.classfile.engine.bcel Support for analyses based on the BCEL bytecode framework. -
-
Uses of TypeDataflow in edu.umd.cs.findbugs.ba
Methods in edu.umd.cs.findbugs.ba that return TypeDataflow Modifier and Type Method Description TypeDataflow
ClassContext. getTypeDataflow(org.apache.bcel.classfile.Method method)
Get a TypeDataflow for given method.Methods in edu.umd.cs.findbugs.ba with parameters of type TypeDataflow Modifier and Type Method Description static 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 TypeDataflow Constructor Description 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)
-
Uses of TypeDataflow in edu.umd.cs.findbugs.ba.deref
Methods in edu.umd.cs.findbugs.ba.deref with parameters of type TypeDataflow Modifier and Type Method Description static java.util.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 java.util.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
Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type TypeDataflow Constructor Description IsNullValueAnalysis(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
Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type TypeDataflow Constructor Description InstructionActionCache(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 TypeDataflow Modifier and Type Method Description TypeDataflow
TypeDataflowFactory. analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
protected TypeDataflow
AnalysisFactory. getTypeDataflow(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor)
-