Uses of Class
edu.umd.cs.findbugs.ba.Location
Packages that use Location
Package
Description
Main package for the FindBugs application - contains the
engine class (FindBugs), the object model classes for bug instances
(BugInstance, BugAnnotation), and other miscellany.
Support for analyzing code containing JSR-305 type qualifier annotations.
Support for analyses based on the BCEL bytecode framework.
-
Uses of Location in edu.umd.cs.findbugs
Methods in edu.umd.cs.findbugs that return LocationModifier and TypeMethodDescriptionCallSite.getLocation()
Get the Location (basic block and instruction) where the call site is located.ResourceCreationPoint.getLocation()
Get the location where the resource is created.Methods in edu.umd.cs.findbugs with parameters of type LocationModifier and TypeMethodDescriptionvoid
BugAccumulator.accumulateBug
(BugInstance bug, ClassContext classContext, org.apache.bcel.classfile.Method method, Location location) void
BugAccumulator.accumulateBug
(BugInstance bug, ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, String sourceFile, Location location) void
ResourceCollection.addCreatedResource
(Location location, Resource resource) Add a resource created within the analyzed method.BugInstance.addSomeSourceForTopTwoStackValues
(ClassContext classContext, org.apache.bcel.classfile.Method method, Location location) BugInstance.addSourceForTopStackValue
(ClassContext classContext, org.apache.bcel.classfile.Method method, Location location) BugInstance.addSourceLine
(ClassContext classContext, org.apache.bcel.classfile.Method method, Location location) Add source line annotation for given Location in a method.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.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.getSourceForStackValue
(ClassContext classContext, org.apache.bcel.classfile.Method method, Location location, int depth) static BugAnnotation
BugInstance.getSourceForTopStackValue
(ClassContext classContext, org.apache.bcel.classfile.Method method, Location location) Constructors in edu.umd.cs.findbugs with parameters of type LocationModifierConstructorDescriptionResourceCreationPoint
(Location location, String resourceClass) Constructor. -
Uses of Location in edu.umd.cs.findbugs.ba
Methods in edu.umd.cs.findbugs.ba that return LocationModifier and TypeMethodDescriptionCFG.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) AbstractFrameModelingVisitor.getLocation()
Get the Location.CompactLocationNumbering.getLocation
(int number) Get the Location given its number.CFG.getLocationAtEntry()
Get the Location representing the entry to the CFG.CFG.getPreviousLocation
(Location loc) Methods in edu.umd.cs.findbugs.ba that return types with arguments of type LocationModifier and TypeMethodDescriptionCFG.getLocationsContainingInstructionWithOffset
(int offset) Get a Collection of Locations which specify the instruction at given bytecode offset.CFG.locationIterator()
Get an Iterator over the Locations in the control flow graph.CFG.locations()
Get an Iterator over the Locations in the control flow graph.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 LocationModifier and TypeMethodDescriptionint
AbstractDataflowAnalysis.getFactAfterLocation
(Location location) Get the dataflow fact representing the point just after given Location.BasicAbstractDataflowAnalysis.getFactAfterLocation
(Location location) Get the dataflow fact representing the point just after given Location.Dataflow.getFactAfterLocation
(Location location) Get the dataflow fact representing the point just after given Location.DataflowAnalysis.getFactAfterLocation
(Location location) Get the dataflow fact representing the point just after given Location.AbstractDataflowAnalysis.getFactAtLocation
(Location location) Get the dataflow fact representing the point just before given Location.BasicAbstractDataflowAnalysis.getFactAtLocation
(Location location) Get dataflow fact at (just before) given Location.Dataflow.getFactAtLocation
(Location location) Get dataflow fact at (just before) given Location.DataflowAnalysis.getFactAtLocation
(Location location) Get dataflow fact at (just before) given Location.LockChecker.getFactAtLocation
(Location location) Get LockSet at given Location.int
Get the number of given Location, which will be a non-negative integer in the range 0..getSize() - 1.CFG.getPreviousLocation
(Location loc) 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 LocationModifier and TypeMethodDescriptionUnconditionalValueDerefSet.getDerefLocationSet
(ValueNumber vn) Get the set of dereference Locations for given value number.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 LocationModifier and TypeMethodDescriptionvoid
UnconditionalValueDerefSet.addDeref
(ValueNumber vn, Location location) Mark a value as being dereferenced at given Location.static 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.checkNonNullParams
(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, org.apache.bcel.classfile.Method method, IsNullValueFrame invFrame) static 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 LocationModifier and TypeMethodDescriptionvoid
UnconditionalValueDerefSet.setDerefSet
(ValueNumber vn, 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 LocationMethods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type LocationModifier and TypeMethodDescriptionTypeQualifierDataflowAnalysis.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 LocationModifierConstructorDescriptionSourceSinkInfo
(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 LocationMethods in edu.umd.cs.findbugs.ba.npe that return LocationModifier and TypeMethodDescriptionLocationWhereValueBecomesNull.getLocation()
IsNullValue.getLocationOfKaBoom()
Methods in edu.umd.cs.findbugs.ba.npe that return types with arguments of type LocationModifier and TypeMethodDescriptionNullDerefAndRedundantComparisonFinder.findNullAssignments
(Set<LocationWhereValueBecomesNull> locationWhereValueBecomesNullSet) NullValueUnconditionalDeref.getDerefLocationSet()
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type LocationModifier and TypeMethodDescriptionvoid
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.static FieldAnnotation
NullDerefAndRedundantComparisonFinder.findFieldAnnotationFromValueNumber
(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame) static LocalVariableAnnotation
NullDerefAndRedundantComparisonFinder.findLocalAnnotationFromValueNumber
(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame) static XField
NullDerefAndRedundantComparisonFinder.findXFieldFromValueNumber
(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame) Deprecated.void
NullDerefAndRedundantComparisonCollector.foundNullDeref
(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame) 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.UsagesRequiringNonNullValues.get
(Location loc, ValueNumber vn, ValueNumberDataflow vnaDataflow) 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 LocationModifier and TypeMethodDescriptionvoid
NullValueUnconditionalDeref.add
(IsNullValue isNullValue, Set<Location> unconditionalDerefLocationSet) void
NullDerefAndRedundantComparisonCollector.foundGuaranteedNullDeref
(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, 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
(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, 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 LocationModifierConstructorDescriptionLocationWhereValueBecomesNull
(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.type
Fields in edu.umd.cs.findbugs.ba.type declared as Location -
Uses of Location in edu.umd.cs.findbugs.ba.vna
Methods in edu.umd.cs.findbugs.ba.vna with parameters of type LocationModifier and TypeMethodDescriptionstatic BugAnnotation
ValueNumberSourceInfo.findAnnotationFromValueNumber
(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame, 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, String partialRole) static XField
ValueNumberSourceInfo.findXFieldFromValueNumber
(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame) ValueNumberAnalysis.getFactAfterLocation
(Location location) ValueNumberAnalysis.getFactAtLocation
(Location location) static BugAnnotation
ValueNumberSourceInfo.getFromValueNumber
(ClassContext classContext, org.apache.bcel.classfile.Method method, Location location, int stackPos) -
Uses of Location in edu.umd.cs.findbugs.classfile.engine.bcel
Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return LocationModifier and TypeMethodDescriptionValueRangeAnalysisFactory.RedundantCondition.getDeadCodeLocation()
ValueRangeAnalysisFactory.RedundantCondition.getLiveCodeLocation()
ValueRangeAnalysisFactory.RedundantCondition.getLocation()
Constructors in edu.umd.cs.findbugs.classfile.engine.bcel with parameters of type Location -
Uses of Location in edu.umd.cs.findbugs.detect
Fields in edu.umd.cs.findbugs.detect declared as LocationMethods in edu.umd.cs.findbugs.detect that return LocationMethods in edu.umd.cs.findbugs.detect with parameters of type LocationModifier and TypeMethodDescriptionvoid
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.static boolean
FindNullDeref.catchesNull
(org.apache.bcel.classfile.ConstantPool constantPool, org.apache.bcel.classfile.Code code, Location location) AnyMethodReturnValueStreamFactory.createStream
(Location location, org.apache.bcel.generic.ObjectType type, org.apache.bcel.generic.ConstantPoolGen cpg, RepositoryLookupFailureCallback lookupFailureCallback) InstanceFieldLoadStreamFactory.createStream
(Location location, org.apache.bcel.generic.ObjectType type, org.apache.bcel.generic.ConstantPoolGen cpg, RepositoryLookupFailureCallback lookupFailureCallback) IOStreamFactory.createStream
(Location location, org.apache.bcel.generic.ObjectType type, org.apache.bcel.generic.ConstantPoolGen cpg, RepositoryLookupFailureCallback lookupFailureCallback) MethodReturnValueStreamFactory.createStream
(Location location, org.apache.bcel.generic.ObjectType type, org.apache.bcel.generic.ConstantPoolGen cpg, RepositoryLookupFailureCallback lookupFailureCallback) StaticFieldLoadStreamFactory.createStream
(Location location, org.apache.bcel.generic.ObjectType type, org.apache.bcel.generic.ConstantPoolGen cpg, RepositoryLookupFailureCallback lookupFailureCallback) 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.void
FindNullDeref.foundNullDeref
(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame, boolean isConsistent) void
NoiseNullDeref.foundNullDeref
(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame) Deprecated.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 LocationModifier and TypeMethodDescriptionvoid
FindNullDeref.foundGuaranteedNullDeref
(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered) void
FindNullDeref.foundGuaranteedNullDeref
(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered) void
NoiseNullDeref.foundGuaranteedNullDeref
(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered) void
NoiseNullDeref.foundGuaranteedNullDeref
(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, 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 -
Uses of Location in edu.umd.cs.findbugs.props
Methods in edu.umd.cs.findbugs.props with parameters of type LocationModifier and TypeMethodDescriptionstatic 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.
ValueNumberSourceInfo.findRequiredAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame, String)
instead