Uses of Class
edu.umd.cs.findbugs.ba.npe.IsNullValueDataflow
-
Packages that use IsNullValueDataflow 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., database objects) are satisfied.edu.umd.cs.findbugs.classfile.engine.bcel Support for analyses based on the BCEL bytecode framework.edu.umd.cs.findbugs.detect -
-
Uses of IsNullValueDataflow in edu.umd.cs.findbugs.ba
Methods in edu.umd.cs.findbugs.ba that return IsNullValueDataflow Modifier and Type Method Description IsNullValueDataflow
ClassContext. getIsNullValueDataflow(org.apache.bcel.classfile.Method method)
Get an IsNullValueDataflow for given method.Methods in edu.umd.cs.findbugs.ba with parameters of type IsNullValueDataflow 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)
-
Uses of IsNullValueDataflow in edu.umd.cs.findbugs.ba.deref
Fields in edu.umd.cs.findbugs.ba.deref declared as IsNullValueDataflow Modifier and Type Field Description private IsNullValueDataflow
UnconditionalValueDerefAnalysis. invDataflow
Methods in edu.umd.cs.findbugs.ba.deref with parameters of type IsNullValueDataflow 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)
void
UnconditionalValueDerefAnalysis. clearDerefsOnNonNullBranches(IsNullValueDataflow invDataflow)
HACK: use the given is-null dataflow to clear deref sets for values that are known to be definitely non-null on a branch. -
Uses of IsNullValueDataflow in edu.umd.cs.findbugs.ba.npe
Fields in edu.umd.cs.findbugs.ba.npe declared as IsNullValueDataflow Modifier and Type Field Description private IsNullValueDataflow
NullDerefAndRedundantComparisonFinder. invDataflow
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type IsNullValueDataflow Modifier and Type Method Description private void
NullDerefAndRedundantComparisonFinder. analyzeNullCheck(IsNullValueDataflow invDataflow, BasicBlock basicBlock)
-
Uses of IsNullValueDataflow in edu.umd.cs.findbugs.ba.obl
Fields in edu.umd.cs.findbugs.ba.obl declared as IsNullValueDataflow Modifier and Type Field Description private IsNullValueDataflow
ObligationAnalysis. invDataflow
Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type IsNullValueDataflow 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 IsNullValueDataflow in edu.umd.cs.findbugs.classfile.engine.bcel
Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return IsNullValueDataflow Modifier and Type Method Description IsNullValueDataflow
IsNullValueDataflowFactory. analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
protected IsNullValueDataflow
AnalysisFactory. getIsNullValueDataflow(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor)
-
Uses of IsNullValueDataflow in edu.umd.cs.findbugs.detect
Fields in edu.umd.cs.findbugs.detect declared as IsNullValueDataflow Modifier and Type Field Description private IsNullValueDataflow
FindNullDeref. invDataflow
private IsNullValueDataflow
FindUnreleasedLock.LockResourceTracker. isNullDataflow
Constructors in edu.umd.cs.findbugs.detect with parameters of type IsNullValueDataflow Constructor Description LockFrameModelingVisitor(org.apache.bcel.generic.ConstantPoolGen cpg, FindUnreleasedLock.LockResourceTracker resourceTracker, Lock lock, ValueNumberDataflow vnaDataflow, IsNullValueDataflow isNullDataflow)
LockResourceTracker(RepositoryLookupFailureCallback lookupFailureCallback, CFG cfg, ValueNumberDataflow vnaDataflow, IsNullValueDataflow isNullDataflow)
-