|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | |||||||||
PREV NEXT | FRAMES NO FRAMES |