FindBugs™ 1.3.9

Uses of Class
edu.umd.cs.findbugs.ba.Location

Packages that use Location
edu.umd.cs.findbugs Main package for the FindBugs application - contains the engine class (FindBugs), the object model classes for bug instances (BugInstance, BugAnnotation), and other miscellany. 
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.jsr305 Support for analyzing code containing JSR-305 type qualifier annotations. 
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.type   
edu.umd.cs.findbugs.ba.vna   
edu.umd.cs.findbugs.detect   
edu.umd.cs.findbugs.props   
 

Uses of Location in edu.umd.cs.findbugs
 

Methods in edu.umd.cs.findbugs that return Location
 Location ResourceCreationPoint.getLocation()
          Get the location where the resource is created.
 Location CallSite.getLocation()
          Get the Location (basic block and instruction) where the call site is located.
 

Methods in edu.umd.cs.findbugs with parameters of type Location
 void BugAccumulator.accumulateBug(BugInstance bug, ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, java.lang.String sourceFile, Location location)
           
 void BugAccumulator.accumulateBug(BugInstance bug, ClassContext classContext, org.apache.bcel.classfile.Method method, Location location)
           
 void ResourceCollection.addCreatedResource(Location location, Resource resource)
          Add a resource created within the analyzed method.
 BugInstance BugInstance.addSomeSourceForTopTwoStackValues(ClassContext classContext, org.apache.bcel.classfile.Method method, Location location)
           
 BugInstance BugInstance.addSourceForTopStackValue(ClassContext classContext, org.apache.bcel.classfile.Method method, Location location)
           
 BugInstance BugInstance.addSourceLine(ClassContext classContext, org.apache.bcel.classfile.Method method, Location location)
          Add source line annotation for given Location in a method.
 BugInstance BugInstance.addSourceLine(MethodDescriptor methodDescriptor, Location location)
          Add source line annotation for given Location in a method.
static SourceLineAnnotation SourceLineAnnotation.fromVisitedInstruction(ClassContext classContext, org.apache.bcel.classfile.Method method, Location loc)
          Create from Method and Location in a visited class.
static SourceLineAnnotation SourceLineAnnotation.fromVisitedInstruction(MethodDescriptor methodDescriptor, Location location)
          Create from MethodDescriptor and Location of visited instruction.
 Resource ResourceCollection.getCreatedResource(Location location)
          Get the resource that is created at given location.
static LocalVariableAnnotation LocalVariableAnnotation.getLocalVariableAnnotation(org.apache.bcel.classfile.Method method, Location location, org.apache.bcel.generic.IndexedInstruction ins)
           
static BugAnnotation BugInstance.getSomeSource(ClassContext classContext, org.apache.bcel.classfile.Method method, Location location, OpcodeStack stack, int stackPos)
           
static BugAnnotation BugInstance.getSourceForTopStackValue(ClassContext classContext, org.apache.bcel.classfile.Method method, Location location)
           
 

Constructors in edu.umd.cs.findbugs with parameters of type Location
ResourceCreationPoint(Location location, java.lang.String resourceClass)
          Constructor.
 

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

Methods in edu.umd.cs.findbugs.ba that return Location
 Location CFG.getExceptionThrowerLocation(Edge exceptionEdge)
          Get the Location where exception(s) thrown on given exception edge are thrown.
static Location Location.getFirstLocation(BasicBlock basicBlock)
           
static Location Location.getLastLocation(BasicBlock basicBlock)
           
 Location AbstractFrameModelingVisitor.getLocation()
          Get the Location.
 Location CompactLocationNumbering.getLocation(int number)
          Get the Location given its number.
 Location CFG.getLocationAtEntry()
          Get the Location representing the entry to the CFG.
 

Methods in edu.umd.cs.findbugs.ba that return types with arguments of type Location
 java.util.Collection<Location> CFG.getLocationsContainingInstructionWithOffset(int offset)
          Get a Collection of Locations which specify the instruction at given bytecode offset.
 java.util.Iterator<Location> CFG.locationIterator()
          Get an Iterator over the Locations in the control flow graph.
 java.util.Collection<Location> CFG.orderedLocations()
          Returns a collection of locations, ordered according to the compareTo ordering over locations.
 

Methods in edu.umd.cs.findbugs.ba with parameters of type Location
 int Location.compareTo(Location other)
           
 Fact BasicAbstractDataflowAnalysis.getFactAfterLocation(Location location)
          Get the dataflow fact representing the point just after given Location.
 Fact AbstractDataflowAnalysis.getFactAfterLocation(Location location)
          Get the dataflow fact representing the point just after given Location.
 Fact DataflowAnalysis.getFactAfterLocation(Location location)
          Get the dataflow fact representing the point just after given Location.
 Fact Dataflow.getFactAfterLocation(Location location)
          Get the dataflow fact representing the point just after given Location.
 Fact BasicAbstractDataflowAnalysis.getFactAtLocation(Location location)
          Get dataflow fact at (just before) given Location.
 Fact AbstractDataflowAnalysis.getFactAtLocation(Location location)
          Get the dataflow fact representing the point just before given Location.
 Fact DataflowAnalysis.getFactAtLocation(Location location)
          Get dataflow fact at (just before) given Location.
 LockSet LockChecker.getFactAtLocation(Location location)
          Get LockSet at given Location.
 Fact Dataflow.getFactAtLocation(Location location)
          Get dataflow fact at (just before) given Location.
 int CompactLocationNumbering.getNumber(Location location)
          Get the number of given Location, which will be a non-negative integer in the range 0..getSize() - 1.
 void AbstractFrameModelingVisitor.setFrameAndLocation(FrameType frame, Location location)
          Set the frame and Location for the instruction about to be modeled.
 

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

Methods in edu.umd.cs.findbugs.ba.deref that return types with arguments of type Location
 java.util.Set<Location> UnconditionalValueDerefSet.getUnconditionalDerefLocationSet(ValueNumber vn)
          Get the set of Locations where given value is guaranteed to be dereferenced.
 

Methods in edu.umd.cs.findbugs.ba.deref with parameters of type Location
 void UnconditionalValueDerefSet.addDeref(ValueNumber vn, Location location)
          Mark a value as being dereferenced at given Location.
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)
           
static boolean UnconditionalValueDerefAnalysis.reportPotentialDereference(Location location, IsNullValueFrame invFrame)
           
 

Method parameters in edu.umd.cs.findbugs.ba.deref with type arguments of type Location
 void UnconditionalValueDerefSet.setDerefSet(ValueNumber vn, java.util.Set<Location> derefSet)
          Set a value as being unconditionally dereferenced at the given set of locations.
 

Uses of Location in edu.umd.cs.findbugs.ba.jsr305
 

Methods in edu.umd.cs.findbugs.ba.jsr305 that return Location
 Location SourceSinkInfo.getLocation()
           
 

Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type Location
 java.util.Set<SourceSinkInfo> TypeQualifierDataflowAnalysis.getSourceSinkInfoSet(Location location)
          Get the set of SourceSinkInfo objects representing sources/sinks at a given Location.
 

Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type Location
SourceSinkInfo(SourceSinkType type, Location location, ValueNumber vn, javax.annotation.meta.When when)
          Constructor.
 

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

Fields in edu.umd.cs.findbugs.ba.npe declared as Location
 Location RedundantBranch.location
           
 

Methods in edu.umd.cs.findbugs.ba.npe that return Location
 Location LocationWhereValueBecomesNull.getLocation()
           
 Location IsNullValue.getLocationOfKaBoom()
           
 

Methods in edu.umd.cs.findbugs.ba.npe that return types with arguments of type Location
 java.util.Set<Location> NullValueUnconditionalDeref.getDerefLocationSet()
           
 

Methods in edu.umd.cs.findbugs.ba.npe with parameters of type Location
 void UsagesRequiringNonNullValues.add(Location loc, ValueNumber vn, PointerUsageRequiringNonNullValue usage)
           
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.
 void NullDerefAndRedundantComparisonCollector.foundRedundantNullCheck(Location location, RedundantBranch redundantBranch)
          Subclasses should override this method to capture locations where a redundant null comparison is performed.
 PointerUsageRequiringNonNullValue UsagesRequiringNonNullValues.get(Location loc, ValueNumber vn, ValueNumberDataflow vnaDataflow)
           
 java.util.Collection<? extends UsagesRequiringNonNullValues.Pair> UsagesRequiringNonNullValues.getPairs(Location loc)
           
static IsNullValue IsNullValue.noKaboomNonNullValue(Location ins)
          Get the instance representing a value known to be non-null because a NPE would have occurred if it were null.
 

Method parameters in edu.umd.cs.findbugs.ba.npe with type arguments of type Location
 void NullValueUnconditionalDeref.add(IsNullValue isNullValue, java.util.Set<Location> unconditionalDerefLocationSet)
           
 void NullDerefAndRedundantComparisonCollector.foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
          Subclasses should override this method to capture values assigned null (or that become null through a comparison and branch) that are guaranteed to reach a dereference (ignoring implicit exception paths).
 void NullDerefAndRedundantComparisonCollector.foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
          Subclasses should override this method to capture values assigned null (or that become null through a comparison and branch) that are guaranteed to reach a dereference (ignoring implicit exception paths).
 void NullDerefAndRedundantComparisonCollector.foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
          Subclasses should override this method to capture values assigned null (or that become null through a comparison and branch) that are guaranteed to reach a dereference (ignoring implicit exception paths).
 

Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type Location
LocationWhereValueBecomesNull(Location location, ValueNumber valueNumber)
          Constructor.
RedundantBranch(Location location, int lineNumber, IsNullValue firstValue)
          Constructor.
RedundantBranch(Location location, int lineNumber, IsNullValue firstValue, IsNullValue secondValue)
          Constructor.
 

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

Methods in edu.umd.cs.findbugs.ba.npe2 that return Location
 Location Condition.getLocation()
           
 

Constructors in edu.umd.cs.findbugs.ba.npe2 with parameters of type Location
AcmpCondition(Location location)
          Deprecated.  
Condition(Location location)
           
IfNullCondition(Location location)
           
 

Uses of Location in edu.umd.cs.findbugs.ba.type
 

Fields in edu.umd.cs.findbugs.ba.type declared as Location
 Location TypeDataflow.LocationAndFactPair.location
           
 

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

Methods in edu.umd.cs.findbugs.ba.vna with parameters of type Location
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)
           
 ValueNumberFrame ValueNumberAnalysis.getFactAfterLocation(Location location)
           
 ValueNumberFrame ValueNumberAnalysis.getFactAtLocation(Location location)
           
 

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

Fields in edu.umd.cs.findbugs.detect declared as Location
 Location StreamEscape.target
           
 

Methods in edu.umd.cs.findbugs.detect that return Location
 Location Stream.getOpenLocation()
           
 

Methods in edu.umd.cs.findbugs.detect with parameters of type Location
 void StreamResourceTracker.addStreamEscape(Stream source, Location target)
          Indicate that a stream escapes at the given target Location.
 void StreamResourceTracker.addStreamOpenLocation(Location streamOpenLocation, Stream stream)
          Indicate that a stream is constructed at this Location.
 Stream AnyMethodReturnValueStreamFactory.createStream(Location location, org.apache.bcel.generic.ObjectType type, org.apache.bcel.generic.ConstantPoolGen cpg, RepositoryLookupFailureCallback lookupFailureCallback)
           
 Stream IOStreamFactory.createStream(Location location, org.apache.bcel.generic.ObjectType type, org.apache.bcel.generic.ConstantPoolGen cpg, RepositoryLookupFailureCallback lookupFailureCallback)
           
 Stream MethodReturnValueStreamFactory.createStream(Location location, org.apache.bcel.generic.ObjectType type, org.apache.bcel.generic.ConstantPoolGen cpg, RepositoryLookupFailureCallback lookupFailureCallback)
           
 Stream InstanceFieldLoadStreamFactory.createStream(Location location, org.apache.bcel.generic.ObjectType type, org.apache.bcel.generic.ConstantPoolGen cpg, RepositoryLookupFailureCallback lookupFailureCallback)
           
 Stream StaticFieldLoadStreamFactory.createStream(Location location, org.apache.bcel.generic.ObjectType type, org.apache.bcel.generic.ConstantPoolGen cpg, RepositoryLookupFailureCallback lookupFailureCallback)
           
 Stream StreamFactory.createStream(Location location, org.apache.bcel.generic.ObjectType type, org.apache.bcel.generic.ConstantPoolGen cpg, RepositoryLookupFailureCallback lookupFailureCallback)
          Determine if a Stream is created at given location.
 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)
           
 void FindNullDeref.foundRedundantNullCheck(Location location, RedundantBranch redundantBranch)
           
 void NoiseNullDeref.foundRedundantNullCheck(Location location, RedundantBranch redundantBranch)
           
 void Stream.setOpenLocation(Location openLocation)
           
 void FindTwoLockWait.visitLocation(ClassContext classContext, Location location, org.apache.bcel.generic.MethodGen methodGen, LockDataflow dataflow)
           
 

Method parameters in edu.umd.cs.findbugs.detect with type arguments of type Location
 void FindNullDeref.foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
           
 void FindNullDeref.foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
           
 void FindNullDeref.foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
           
 void NoiseNullDeref.foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
           
 void NoiseNullDeref.foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
           
 void NoiseNullDeref.foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
           
 

Constructors in edu.umd.cs.findbugs.detect with parameters of type Location
Stream(Location location, java.lang.String streamClass, java.lang.String streamBase)
          Constructor.
StreamEscape(Stream source, Location target)
          Constructor.
 

Uses of Location in edu.umd.cs.findbugs.props
 

Methods in edu.umd.cs.findbugs.props with parameters of type Location
static void WarningPropertyUtil.addPropertiesForDataMining(WarningPropertySet<WarningProperty> propertySet, ClassContext classContext, org.apache.bcel.classfile.Method method, Location location)
          Add all relevant general warning properties to the given property set for the given Location.
 


FindBugs™ 1.3.9

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