FindBugs™ 1.3.9

Uses of Class
edu.umd.cs.findbugs.ba.vna.ValueNumberFrame

Packages that use ValueNumberFrame
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.bcp   
edu.umd.cs.findbugs.ba.deref   
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.vna   
edu.umd.cs.findbugs.detect   
 

Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba
 

Methods in edu.umd.cs.findbugs.ba with parameters of type ValueNumberFrame
 java.util.Collection<ValueNumber> LockSet.getLockedValueNumbers(ValueNumberFrame frame)
           
 

Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.bcp
 

Methods in edu.umd.cs.findbugs.ba.bcp with parameters of type ValueNumberFrame
 MatchResult New.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
 MatchResult Monitorenter.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
 MatchResult Load.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
 MatchResult IfNull.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
 MatchResult MatchAny.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
 MatchResult Wild.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
abstract  MatchResult PatternElement.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
          Return whether or not this element matches the given instruction with the given Bindings in effect.
 MatchResult Opcode.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
 MatchResult Store.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
 MatchResult Invoke.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
protected static Variable FieldAccess.snarfFieldValue(org.apache.bcel.generic.FieldInstruction fieldIns, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame frame)
          Get a Variable representing the stack value which will either be stored into or loaded from a field.
 

Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.deref
 

Methods in edu.umd.cs.findbugs.ba.deref with parameters of type ValueNumberFrame
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.checkNonNullParams(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, org.apache.bcel.classfile.Method method, IsNullValueFrame invFrame)
           
static java.util.Set<ValueNumber> UnconditionalValueDerefAnalysis.checkUnconditionalDerefDatabase(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, IsNullValueFrame invFrame, TypeDataflow typeDataflow)
           
 void UnconditionalValueDerefSet.cleanDerefSet(Location location, ValueNumberFrame vnaFrame)
           
 

Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.npe
 

Methods in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumberFrame
 void IsNullValueFrame.cleanStaleKnowledge(ValueNumberFrame vnaFrameAfter)
           
static BugAnnotation NullDerefAndRedundantComparisonFinder.findAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
          Deprecated. Use ValueNumberSourceInfo.findRequiredAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame, String) instead
static FieldAnnotation NullDerefAndRedundantComparisonFinder.findFieldAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
          Deprecated. Use ValueNumberSourceInfo.findFieldAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame) instead
static LocalVariableAnnotation NullDerefAndRedundantComparisonFinder.findLocalAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
          Deprecated. Use ValueNumberSourceInfo.findLocalAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame) instead
static XField NullDerefAndRedundantComparisonFinder.findXFieldFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
          Deprecated. Use ValueNumberSourceInfo.findXFieldFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame) instead
 void NullDerefAndRedundantComparisonCollector.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)
          Deprecated. Use NullDerefAndRedundantComparisonCollector.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead
 void NullDerefAndRedundantComparisonCollector.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame, boolean isConsistent)
          Subclasses should override this method to capture locations where a null pointer is dereferenced.
 

Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.npe2
 

Methods in edu.umd.cs.findbugs.ba.npe2 with parameters of type ValueNumberFrame
abstract  void Condition.refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)
           
 void IfNullCondition.refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)
           
 void AcmpCondition.refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)
          Deprecated.  
 

Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.vna
 

Methods in edu.umd.cs.findbugs.ba.vna that return ValueNumberFrame
 ValueNumberFrame ValueNumberAnalysis.createFact()
           
 ValueNumberFrame ValueNumberAnalysis.getFactAfterLocation(Location location)
           
 ValueNumberFrame ValueNumberAnalysis.getFactAtLocation(Location location)
           
 

Methods in edu.umd.cs.findbugs.ba.vna that return types with arguments of type ValueNumberFrame
 java.util.Iterator<ValueNumberFrame> ValueNumberAnalysis.factIterator()
          Get an Iterator over all dataflow facts that we've recorded for the Locations in the CFG.
 

Methods in edu.umd.cs.findbugs.ba.vna with parameters of type ValueNumberFrame
static BugAnnotation ValueNumberSourceInfo.findAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame, java.lang.String partialRole)
           
static FieldAnnotation ValueNumberSourceInfo.findFieldAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
           
static LocalVariableAnnotation ValueNumberSourceInfo.findLocalAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
           
static BugAnnotation ValueNumberSourceInfo.findRequiredAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame, java.lang.String partialRole)
           
static XField ValueNumberSourceInfo.findXFieldFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
           
 void ValueNumberAnalysis.initEntryFact(ValueNumberFrame result)
           
 void ValueNumberAnalysis.meetInto(ValueNumberFrame fact, Edge edge, ValueNumberFrame result)
           
protected  void ValueNumberAnalysis.mergeInto(ValueNumberFrame frame, ValueNumberFrame result)
           
protected  void ValueNumberAnalysis.mergeValues(ValueNumberFrame otherFrame, ValueNumberFrame resultFrame, int slot)
           
 void ValueNumberAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ValueNumberFrame fact)
           
 

Method parameters in edu.umd.cs.findbugs.ba.vna with type arguments of type ValueNumberFrame
 void ValueNumberAnalysis.compactValueNumbers(Dataflow<ValueNumberFrame,ValueNumberAnalysis> dataflow)
          Deprecated. 
 

Uses of ValueNumberFrame in edu.umd.cs.findbugs.detect
 

Methods in edu.umd.cs.findbugs.detect with parameters of type ValueNumberFrame
 void FindNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)
          Deprecated. Use FindNullDeref.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead
 void NoiseNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)
          Deprecated. Use NoiseNullDeref.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead
 void FindNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame, boolean isConsistent)
           
 void NoiseNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame, boolean isConsistent)
           
 


FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.