Uses of Class
edu.umd.cs.findbugs.ba.Location
-
Packages that use Location Package Description 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.bcp 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.type edu.umd.cs.findbugs.ba.vna edu.umd.cs.findbugs.classfile.engine.bcel Support for analyses based on the BCEL bytecode framework.edu.umd.cs.findbugs.detect edu.umd.cs.findbugs.props -
-
Uses of Location in edu.umd.cs.findbugs
Fields in edu.umd.cs.findbugs declared as Location Modifier and Type Field Description private Location
CallSite. location
private Location
ResourceCreationPoint. location
Location in the method where the resource is created.Fields in edu.umd.cs.findbugs with type parameters of type Location Modifier and Type Field Description private java.util.Map<Location,Resource>
ResourceCollection. locationToResourceMap
Methods in edu.umd.cs.findbugs that return Location Modifier and Type Method Description Location
CallSite. getLocation()
Get the Location (basic block and instruction) where the call site is located.Location
ResourceCreationPoint. getLocation()
Get the location where the resource is created.Methods in edu.umd.cs.findbugs with parameters of type Location Modifier and Type Method Description void
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, java.lang.String sourceFile, 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. 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)
boolean
SwitchHandler. isTypeSwitchCaseLoad(Location location)
In type switches anASTORE
is inserted by the compiler for each case.Constructors in edu.umd.cs.findbugs with parameters of type Location Constructor Description ResourceCreationPoint(Location location, java.lang.String resourceClass)
Constructor. -
Uses of Location in edu.umd.cs.findbugs.ba
Fields in edu.umd.cs.findbugs.ba declared as Location Modifier and Type Field Description private Location
AbstractFrameModelingVisitor. location
private Location
CFG.LocationIterator. next
Fields in edu.umd.cs.findbugs.ba with type parameters of type Location Modifier and Type Field Description private java.util.HashMap<Location,LockSet>
LockChecker. cache
private java.util.HashMap<Location,java.lang.Integer>
CompactLocationNumbering. locationToNumberMap
private java.util.HashMap<java.lang.Integer,Location>
CompactLocationNumbering. numberToLocationMap
Methods in edu.umd.cs.findbugs.ba that return Location Modifier and Type Method Description 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.Location
CFG. getPreviousLocation(Location loc)
Location
CFG.LocationIterator. next()
Methods in edu.umd.cs.findbugs.ba that return types with arguments of type Location Modifier and Type Method Description 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.lang.Iterable<Location>
CFG. locations()
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 Modifier and Type Method Description int
Location. compareTo(Location other)
Fact
AbstractDataflowAnalysis. getFactAfterLocation(Location location)
Get the dataflow fact representing the point just after given Location.Fact
BasicAbstractDataflowAnalysis. 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
DataflowAnalysis. getFactAfterLocation(Location location)
Get the dataflow fact representing the point just after given Location.Fact
AbstractDataflowAnalysis. getFactAtLocation(Location location)
Get the dataflow fact representing the point just before given Location.Fact
BasicAbstractDataflowAnalysis. getFactAtLocation(Location location)
Get dataflow fact at (just before) given Location.Fact
Dataflow. getFactAtLocation(Location location)
Get dataflow fact at (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.int
CompactLocationNumbering. getNumber(Location location)
Get the number of given Location, which will be a non-negative integer in the range 0..getSize() - 1.Location
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.bcp
Methods in edu.umd.cs.findbugs.ba.bcp with parameters of type Location Modifier and Type Method Description private MatchResult
PatternMatcher.State. matchLocation(Location location)
-
Uses of Location in edu.umd.cs.findbugs.ba.deref
Fields in edu.umd.cs.findbugs.ba.deref with type parameters of type Location Modifier and Type Field Description private java.util.Map<ValueNumber,java.util.Set<Location>>
UnconditionalValueDerefSet. derefLocationSetMap
Map of value numbers to locationsMethods in edu.umd.cs.findbugs.ba.deref that return types with arguments of type Location Modifier and Type Method Description private java.util.Set<Location>
UnconditionalValueDerefSet. getDerefLocationSet(int vn)
java.util.Set<Location>
UnconditionalValueDerefSet. getDerefLocationSet(ValueNumber vn)
Get the set of dereference Locations for given value number.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 Modifier and Type Method Description 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)
private void
UnconditionalValueDerefAnalysis. checkInstance(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)
Check to see if the instruction has a null check associated with it, and if so, add a dereference.private void
UnconditionalValueDerefAnalysis. checkNonNullParams(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)
If this is a method call instruction, check to see if any of the parameters are @NonNull, and treat them as dereferences.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)
private void
UnconditionalValueDerefAnalysis. checkNonNullPutField(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)
If this is a putfield or putstatic instruction, check to see if the field is @NonNull, and treat it as dereferences.private void
UnconditionalValueDerefAnalysis. checkNonNullReturnValue(XMethod thisMethod, Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)
If this is a method call instruction, check to see if any of the parameters are @NonNull, and treat them as dereferences.private void
UnconditionalValueDerefAnalysis. checkUnconditionalDerefDatabase(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)
Check method call at given location to see if it unconditionally dereferences a parameter.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)
private void
UnconditionalValueDerefAnalysis. handleNullCheck(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)
static boolean
UnconditionalValueDerefAnalysis. reportPotentialDereference(Location location, IsNullValueFrame invFrame)
Method parameters in edu.umd.cs.findbugs.ba.deref with type arguments of type Location Modifier and Type Method Description 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
Fields in edu.umd.cs.findbugs.ba.jsr305 declared as Location Modifier and Type Field Description private Location
SourceSinkInfo. location
Fields in edu.umd.cs.findbugs.ba.jsr305 with type parameters of type Location Modifier and Type Field Description private java.util.Map<Location,java.util.Set<SourceSinkInfo>>
TypeQualifierDataflowAnalysis. sourceSinkMap
Methods in edu.umd.cs.findbugs.ba.jsr305 that return Location Modifier and Type Method Description Location
SourceSinkInfo. getLocation()
Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type Location Modifier and Type Method Description java.util.Set<SourceSinkInfo>
TypeQualifierDataflowAnalysis. getSourceSinkInfoSet(Location location)
Get the set of SourceSinkInfo objects representing sources/sinks at a given Location.private void
BackwardTypeQualifierDataflowAnalysis. modelArguments(Location location)
private void
BackwardTypeQualifierDataflowAnalysis. modelFieldStore(Location location)
private void
BackwardTypeQualifierDataflowAnalysis. modelReturn(TypeQualifierAnnotation returnValueAnnotation, Location location)
private void
ForwardTypeQualifierDataflowAnalysis. registerConstantPushSource(Location location)
private void
ForwardTypeQualifierDataflowAnalysis. registerConstantSource(Location location, java.lang.Object constantValue)
private void
ForwardTypeQualifierDataflowAnalysis. registerFieldLoadSource(Location location)
private void
ForwardTypeQualifierDataflowAnalysis. registerLDC2ValueSource(Location location)
private void
ForwardTypeQualifierDataflowAnalysis. registerLDCValueSource(Location location)
private void
ForwardTypeQualifierDataflowAnalysis. registerOtherSource(Location location)
private void
ForwardTypeQualifierDataflowAnalysis. registerPushNullSource(Location location)
private void
ForwardTypeQualifierDataflowAnalysis. registerReturnValueSource(Location location)
private void
ForwardTypeQualifierDataflowAnalysis. registerTopOfStackSource(SourceSinkType sourceSinkType, Location location, javax.annotation.meta.When when, boolean interproc, java.lang.Object constantValue)
Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type Location Constructor Description 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 Modifier and Type Field Description private Location
LocationWhereValueBecomesNull. location
Location
RedundantBranch. location
private Location
IsNullValue. locationOfKaBoom
Fields in edu.umd.cs.findbugs.ba.npe with type parameters of type Location Modifier and Type Field Description private java.util.Set<Location>
NullValueUnconditionalDeref. derefLocationSet
Methods in edu.umd.cs.findbugs.ba.npe that return Location Modifier and Type Method Description Location
LocationWhereValueBecomesNull. getLocation()
Location
IsNullValue. getLocationOfKaBoom()
Methods in edu.umd.cs.findbugs.ba.npe that return types with arguments of type Location Modifier and Type Method Description java.util.Map<ValueNumber,java.util.Set<Location>>
NullDerefAndRedundantComparisonFinder. findNullAssignments(java.util.Set<LocationWhereValueBecomesNull> locationWhereValueBecomesNullSet)
java.util.Set<Location>
NullValueUnconditionalDeref. getDerefLocationSet()
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type Location Modifier and Type Method Description void
UsagesRequiringNonNullValues. add(Location loc, ValueNumber vn, PointerUsageRequiringNonNullValue usage)
private void
NullDerefAndRedundantComparisonFinder. checkForUnconditionallyDereferencedNullValues(Location thisLocation, java.util.Map<ValueNumber,java.util.SortedSet<Location>> knownNullAndDoomedAt, java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, ValueNumberFrame vnaFrame, IsNullValueFrame invFrame, UnconditionalValueDerefSet derefSet, boolean isEdge)
Check for unconditionally dereferenced null values at a particular location in the CFG.static BugAnnotation
NullDerefAndRedundantComparisonFinder. findAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
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.PointerUsageRequiringNonNullValue
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.private void
NullDerefAndRedundantComparisonFinder. noteUnconditionallyDereferencedNullValue(Location thisLocation, java.util.Map<ValueNumber,java.util.SortedSet<Location>> bugLocations, java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, UnconditionalValueDerefSet derefSet, IsNullValue isNullValue, ValueNumber valueNumber)
Note the locations where a known-null value is unconditionally dereferenced.Method parameters in edu.umd.cs.findbugs.ba.npe with type arguments of type Location Modifier and Type Method Description void
NullValueUnconditionalDeref. add(IsNullValue isNullValue, java.util.Set<Location> unconditionalDerefLocationSet)
private void
NullDerefAndRedundantComparisonFinder. checkForUnconditionallyDereferencedNullValues(Location thisLocation, java.util.Map<ValueNumber,java.util.SortedSet<Location>> knownNullAndDoomedAt, java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, ValueNumberFrame vnaFrame, IsNullValueFrame invFrame, UnconditionalValueDerefSet derefSet, boolean isEdge)
Check for unconditionally dereferenced null values at a particular location in the CFG.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).private void
NullDerefAndRedundantComparisonFinder. noteUnconditionallyDereferencedNullValue(Location thisLocation, java.util.Map<ValueNumber,java.util.SortedSet<Location>> bugLocations, java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, UnconditionalValueDerefSet derefSet, IsNullValue isNullValue, ValueNumber valueNumber)
Note the locations where a known-null value is unconditionally dereferenced.private void
NullDerefAndRedundantComparisonFinder. removeStrictlyDominatedLocations(java.util.Set<Location> locations, DominatorsAnalysis domAnalysis)
private void
NullDerefAndRedundantComparisonFinder. removeStrictlyPostDominatedLocations(java.util.Set<Location> locations, PostDominatorsAnalysis postDomAnalysis)
Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type Location Constructor Description IsNullValue(int kind, Location ins)
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.type
Fields in edu.umd.cs.findbugs.ba.type declared as Location Modifier and Type Field Description Location
TypeDataflow.LocationAndFactPair. location
Constructors in edu.umd.cs.findbugs.ba.type with parameters of type Location Constructor Description LocationAndFactPair(Location location, TypeFrame frame)
-
Uses of Location in edu.umd.cs.findbugs.ba.vna
Fields in edu.umd.cs.findbugs.ba.vna with type parameters of type Location Modifier and Type Field Description private java.util.HashMap<Location,ValueNumberFrame>
ValueNumberAnalysis. factAfterLocationMap
private java.util.HashMap<Location,ValueNumberFrame>
ValueNumberAnalysis. factAtLocationMap
Methods in edu.umd.cs.findbugs.ba.vna with parameters of type Location Modifier and Type Method Description 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)
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
Fields in edu.umd.cs.findbugs.classfile.engine.bcel declared as Location Modifier and Type Field Description private Location
ValueRangeAnalysisFactory.RedundantCondition. deadCodeLocation
private Location
ValueRangeAnalysisFactory.RedundantCondition. liveCodeLocation
private Location
ValueRangeAnalysisFactory.RedundantCondition. location
Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return Location Modifier and Type Method Description Location
ValueRangeAnalysisFactory.RedundantCondition. getDeadCodeLocation()
Location
ValueRangeAnalysisFactory.RedundantCondition. getLiveCodeLocation()
private static Location
ValueRangeAnalysisFactory. getLocation(BasicBlock block)
Location
ValueRangeAnalysisFactory.RedundantCondition. getLocation()
Constructors in edu.umd.cs.findbugs.classfile.engine.bcel with parameters of type Location Constructor Description RedundantCondition(Location location, java.lang.String trueCondition, boolean hasDeadCode, Location deadCodeLocation, Location liveCodeLocation, java.lang.String signature, boolean byType, java.lang.Number number, boolean border)
-
Uses of Location in edu.umd.cs.findbugs.detect
Fields in edu.umd.cs.findbugs.detect declared as Location Modifier and Type Field Description (package private) Location
FindUselessObjects.ValueInfo. created
(package private) Location
FindUselessObjects.RegularLocation. loc
(package private) Location
FindRefComparison.WarningWithProperties. location
private Location
StreamFrameModelingVisitor. location
private Location
Stream. openLocation
Location
StreamEscape. target
Fields in edu.umd.cs.findbugs.detect with type parameters of type Location Modifier and Type Field Description private java.util.Map<Location,Stream>
StreamResourceTracker. streamOpenLocationMap
Map of locations where streams are opened to the actual Stream objects.Methods in edu.umd.cs.findbugs.detect that return Location Modifier and Type Method Description (package private) Location
FindNullDerefsInvolvingNonShortCircuitEvaluation. findLocation(CFG cfg, int pc)
(package private) Location
FindNullDerefsInvolvingNonShortCircuitEvaluation. findLocation(CFG cfg, org.apache.bcel.generic.InstructionHandle handle)
private Location
CheckTypeQualifiers. getEdgeSourceLocation(CFG cfg, Edge edge)
private Location
CheckTypeQualifiers. getEdgeTargetLocation(CFG cfg, Edge edge)
Location
Stream. getOpenLocation()
private Location
FindSqlInjection. getPreviousLocation(CFG cfg, Location startLocation, boolean skipNops)
private Location
CheckTypeQualifiers. getSinkLocation(SourceSinkInfo sourceSinkInfo)
private Location
CheckTypeQualifiers. getSinkLocation(java.lang.Iterable<? extends SourceSinkInfo> info)
private Location
FindSqlInjection. getValueNumberCreationLocation(ValueNumberDataflow vnd, ValueNumber vn)
Methods in edu.umd.cs.findbugs.detect with parameters of type Location Modifier and Type Method Description private void
FindNullDeref. addParamAnnotations(Location location, java.util.BitSet definitelyNullArgSet, java.util.BitSet violatedParamSet, WarningPropertySet<? super NullArgumentWarningProperty> propertySet, BugInstance warning)
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.(package private) boolean
FindNullDeref. callToAssertionMethod(Location loc)
static boolean
FindNullDeref. catchesNull(org.apache.bcel.classfile.ConstantPool constantPool, org.apache.bcel.classfile.Code code, Location location)
private void
FindRefComparison. checkEqualsComparison(Location location, org.apache.bcel.classfile.JavaClass jclass, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow)
private void
CheckTypeQualifiers. checkForConflictingValues(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)
private void
CheckTypeQualifiers. checkForEqualityTest(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, Location loc, ValueNumberFrame factAtLocation)
private void
FindSelfComparison2. checkForSelfOperation(ClassContext classContext, Location location, ValueNumberDataflow valueNumberDataflow, java.lang.String op, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, java.lang.String sourceFile)
private void
FindNullDeref. checkNonNullParam(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow, org.apache.bcel.generic.InvokeInstruction invokeInstruction, java.util.BitSet nullArgSet, java.util.BitSet definitelyNullArgSet)
We have a method invocation in which a possibly or definitely null parameter is passed.private void
FindRefComparison. checkRefComparison(Location location, org.apache.bcel.classfile.JavaClass jclass, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, FindRefComparison.RefComparisonTypeFrameModelingVisitor visitor, TypeDataflow typeDataflow, java.util.List<FindRefComparison.WarningWithProperties> stringComparisonList, java.util.List<FindRefComparison.WarningWithProperties> refComparisonList)
private void
FindNullDeref. checkUnconditionallyDereferencedParam(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow, org.apache.bcel.generic.InvokeInstruction invokeInstruction, java.util.BitSet nullArgSet, java.util.BitSet definitelyNullArgSet)
Stream
AnyMethodReturnValueStreamFactory. 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
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
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.private void
FindNullDeref. decorateWarning(Location location, WarningPropertySet<WarningProperty> propertySet, BugInstance warning)
private void
CheckTypeQualifiers. emitDataflowWarning(XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, ValueNumber vn, FlowValue forward, FlowValue backward, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)
private void
CheckTypeQualifiers. emitSourceWarning(java.lang.String bugType, XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, FlowValue backwardsFlowValue, TypeQualifierValueSet backwardsFact, SourceSinkInfo source, ValueNumber vn, Location location)
private void
FindNullDeref. examineCallSite(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow)
private void
FindNullDeref. examinePutfieldInstruction(Location location, org.apache.bcel.generic.PUTFIELD ins, org.apache.bcel.generic.ConstantPoolGen cpg)
private void
FindNullDeref. examineReturnInstruction(Location 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)
private java.lang.String
FindNullDeref. getDescription(Location loc, ValueNumber refValue)
(package private) java.lang.String
NoiseNullDeref. getDescription(Location loc, ValueNumber refValue)
private Location
FindSqlInjection. getPreviousLocation(CFG cfg, Location startLocation, boolean skipNops)
(package private) BugAnnotation
FindNullDeref. getVariableAnnotation(Location location)
private void
FindRefComparison. handleStringComparison(org.apache.bcel.classfile.JavaClass jclass, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, FindRefComparison.RefComparisonTypeFrameModelingVisitor visitor, java.util.List<FindRefComparison.WarningWithProperties> stringComparisonList, Location location, org.apache.bcel.generic.Type lhsType, org.apache.bcel.generic.Type rhsType)
private void
FindRefComparison. handleSuspiciousRefComparison(org.apache.bcel.classfile.JavaClass jclass, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, java.util.List<FindRefComparison.WarningWithProperties> refComparisonList, Location location, java.lang.String lhs, org.apache.bcel.generic.ReferenceType lhsType, org.apache.bcel.generic.ReferenceType rhsType, java.util.Optional<java.lang.Integer> priorityOverride)
(package private) boolean
NoiseNullDeref. inCatchNullBlock(Location loc)
private boolean
FindNullDeref. inExplicitCatchNullBlock(Location loc)
private boolean
FindNullDeref. inIndirectCatchNullBlock(Location loc)
private void
FindRefComparison. inspectLocation(org.apache.bcel.classfile.JavaClass jclass, org.apache.bcel.generic.ConstantPoolGen cpg, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, java.util.LinkedList<FindRefComparison.WarningWithProperties> refComparisonList, java.util.LinkedList<FindRefComparison.WarningWithProperties> stringComparisonList, FindRefComparison.RefComparisonTypeFrameModelingVisitor visitor, TypeDataflow typeDataflow, Location location)
private boolean
FindSqlInjection. isConstantStringLoad(Location location, org.apache.bcel.generic.ConstantPoolGen cpg)
private boolean
FindNullDeref. isDoomed(Location loc)
private boolean
NoiseNullDeref. isDoomed(Location loc)
private boolean
FindDeadLocalStores. isLoad(Location location)
Is instruction at given location a load?private boolean
FindSqlInjection. isSafeValue(Location location, org.apache.bcel.generic.ConstantPoolGen cpg)
private boolean
FindDeadLocalStores. isStore(Location location)
Is instruction at given location a store?private boolean
StreamResourceTracker. isStreamOpenLocation(Location location)
Determine if given Location is a stream open location point.private void
FindNullDeref. reportNullDeref(WarningPropertySet<WarningProperty> propertySet, Location location, java.lang.String type, int priority, BugAnnotation variable)
private void
NoiseNullDeref. reportNullDeref(WarningPropertySet<WarningProperty> propertySet, Location location, java.lang.String type, int priority, BugAnnotation cause, BugAnnotation variable)
private boolean
FindNullDeref. safeCallToPrimateParseMethod(XMethod calledMethod, Location location)
void
Stream. setOpenLocation(Location openLocation)
private FindSqlInjection.StringAppendState
FindSqlInjection. updateJava9AndAboveStringAppendState(ClassContext ctx, Location location, org.apache.bcel.generic.ConstantPoolGen cpg, FindSqlInjection.StringAppendState stringAppendState)
private FindSqlInjection.StringAppendState
FindSqlInjection. updateStringAppendState(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, FindSqlInjection.StringAppendState stringAppendState)
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 Modifier and Type Method Description private void
FindNullDeref. addPropertiesForDereferenceLocations(WarningPropertySet<WarningProperty> propertySet, java.util.Collection<Location> derefLocationSet, boolean isConsistent)
private void
NoiseNullDeref. addPropertiesForDereferenceLocations(WarningPropertySet<WarningProperty> propertySet, java.util.Collection<Location> derefLocationSet)
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)
(package private) int
FindNullDeref. maxPC(java.util.Collection<Location> locs)
(package private) int
FindNullDeref. minPC(java.util.Collection<Location> locs)
private boolean
FindNullDeref. uniqueLocations(java.util.Collection<Location> derefLocationSet)
private boolean
NoiseNullDeref. uniqueLocations(java.util.Collection<Location> derefLocationSet)
Constructors in edu.umd.cs.findbugs.detect with parameters of type Location Constructor Description Lock(Location location, java.lang.String lockClass, ValueNumber lockValue)
RegularLocation(TypeAnalysis ta, ValueNumberAnalysis vna, Location loc)
Stream(Location location, java.lang.String streamClass, java.lang.String streamBase)
Constructor.StreamEscape(Stream source, Location target)
Constructor.ValueInfo(int origValue, Location location, org.apache.bcel.generic.Type type)
WarningWithProperties(BugInstance warning, WarningPropertySet<WarningProperty> propertySet, SourceLineAnnotation sourceLine, Location location)
-
Uses of Location in edu.umd.cs.findbugs.props
Methods in edu.umd.cs.findbugs.props that return Location Modifier and Type Method Description private static Location
WarningPropertyUtil. pcToLocation(ClassContext classContext, org.apache.bcel.classfile.Method method, int pc)
Get a Location matching the given PC value.Methods in edu.umd.cs.findbugs.props with parameters of type Location Modifier and Type Method Description 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.private static void
WarningPropertyUtil. addReceiverObjectType(WarningPropertySet<WarningProperty> propertySet, ClassContext classContext, org.apache.bcel.classfile.Method method, Location location)
Add a RECEIVER_OBJECT_TYPE warning property for a particular location in a method to given warning property set.private static void
WarningPropertyUtil. addRecentlyCalledMethods(WarningPropertySet<WarningProperty> propertySet, ClassContext classContext, org.apache.bcel.classfile.Method method, Location location)
Add CALLED_METHOD_n warning properties based on methods which have been called and returned normally at given Location.
-