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 final Location	CallSite.location
private final 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 final 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, 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 an ASTORE is inserted by the compiler for each case.

Constructors in edu.umd.cs.findbugs with parameters of type Location

Modifier	Constructor	Description
	ResourceCreationPoint(Location location, String resourceClass)	Constructor.

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

Classes in edu.umd.cs.findbugs.ba that implement interfaces with type arguments of type Location

Modifier and Type	Class	Description
private class	CFG.LocationIterator	An Iterator over the Locations in the CFG.
class	Location	A class representing a location in the CFG for a method.

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 final HashMap<Location,LockSet>	LockChecker.cache
private final HashMap<Location,Integer>	CompactLocationNumbering.locationToNumberMap
private final HashMap<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
Collection<Location>	CFG.getLocationsContainingInstructionWithOffset(int offset)	Get a Collection of Locations which specify the instruction at given bytecode offset.
Iterator<Location>	CFG.locationIterator()	Get an Iterator over the Locations in the control flow graph.
Iterable<Location>	CFG.locations()	Get an Iterator over the Locations in the control flow graph.
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 final Map<ValueNumber, Set<Location>>	UnconditionalValueDerefSet.derefLocationSetMap	Map of value numbers to locations

Methods in edu.umd.cs.findbugs.ba.deref that return types with arguments of type Location

Modifier and Type	Method	Description
private Set<Location>	UnconditionalValueDerefSet.getDerefLocationSet(int vn)
Set<Location>	UnconditionalValueDerefSet.getDerefLocationSet(ValueNumber vn)	Get the set of dereference Locations for given value number.
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 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 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 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, 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 final Location	SourceSinkInfo.location

Fields in edu.umd.cs.findbugs.ba.jsr305 with type parameters of type Location

Modifier and Type	Field	Description
private final Map<Location, 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
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, 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, Object constantValue)

Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type Location

Modifier	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 final Location	LocationWhereValueBecomesNull.location
final Location	RedundantBranch.location
private final Location	IsNullValue.locationOfKaBoom

Fields in edu.umd.cs.findbugs.ba.npe with type parameters of type Location

Modifier and Type	Field	Description
private final 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
Map<ValueNumber, Set<Location>>	NullDerefAndRedundantComparisonFinder.findNullAssignments(Set<LocationWhereValueBecomesNull> locationWhereValueBecomesNullSet)
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, Map<ValueNumber, SortedSet<Location>> knownNullAndDoomedAt, 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)	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)
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, Map<ValueNumber, SortedSet<Location>> bugLocations, 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, Set<Location> unconditionalDerefLocationSet)
private void	NullDerefAndRedundantComparisonFinder.checkForUnconditionallyDereferencedNullValues(Location thisLocation, Map<ValueNumber, SortedSet<Location>> knownNullAndDoomedAt, 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(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).
private void	NullDerefAndRedundantComparisonFinder.noteUnconditionallyDereferencedNullValue(Location thisLocation, Map<ValueNumber, SortedSet<Location>> bugLocations, 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(Set<Location> locations, DominatorsAnalysis domAnalysis)
private void	NullDerefAndRedundantComparisonFinder.removeStrictlyPostDominatedLocations(Set<Location> locations, PostDominatorsAnalysis postDomAnalysis)

Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type Location

Modifier	Constructor	Description
private	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
final Location	TypeDataflow.LocationAndFactPair.location

Constructors in edu.umd.cs.findbugs.ba.type with parameters of type Location

Modifier	Constructor	Description
(package private)	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 final HashMap<Location, ValueNumberFrame>	ValueNumberAnalysis.factAfterLocationMap
private final 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, 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)
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 final Location	ValueRangeAnalysisFactory.RedundantCondition.deadCodeLocation
private final Location	ValueRangeAnalysisFactory.RedundantCondition.liveCodeLocation
private final 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

Modifier	Constructor	Description
	RedundantCondition(Location location, String trueCondition, boolean hasDeadCode, Location deadCodeLocation, Location liveCodeLocation, String signature, boolean byType, 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) final Location	FindRefComparison.WarningWithProperties.location
private Location	StreamFrameModelingVisitor.location
private Location	Stream.openLocation
final Location	StreamEscape.target

Fields in edu.umd.cs.findbugs.detect with type parameters of type Location

Modifier and Type	Field	Description
private final 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(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, BitSet definitelyNullArgSet, 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, String op, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, String sourceFile)
private void	FindNullDeref.checkNonNullParam(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow, org.apache.bcel.generic.InvokeInstruction invokeInstruction, BitSet nullArgSet, 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, List<FindRefComparison.WarningWithProperties> stringComparisonList, List<FindRefComparison.WarningWithProperties> refComparisonList)
private void	FindNullDeref.checkUnconditionallyDereferencedParam(Location location, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow, org.apache.bcel.generic.InvokeInstruction invokeInstruction, BitSet nullArgSet, 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(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. Use FindNullDeref.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)	Deprecated. Use NoiseNullDeref.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead
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 String	FindNullDeref.getDescription(Location loc, ValueNumber refValue)
(package private) 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, 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, List<FindRefComparison.WarningWithProperties> refComparisonList, Location location, String lhs, org.apache.bcel.generic.ReferenceType lhsType, org.apache.bcel.generic.ReferenceType rhsType, Optional<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, LinkedList<FindRefComparison.WarningWithProperties> refComparisonList, 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, String type, int priority, BugAnnotation variable)
private void	NoiseNullDeref.reportNullDeref(WarningPropertySet<WarningProperty> propertySet, Location location, 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, Collection<Location> derefLocationSet, boolean isConsistent)
private void	NoiseNullDeref.addPropertiesForDereferenceLocations(WarningPropertySet<WarningProperty> propertySet, Collection<Location> derefLocationSet)
void	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)
(package private) int	FindNullDeref.maxPC(Collection<Location> locs)
(package private) int	FindNullDeref.minPC(Collection<Location> locs)
private boolean	FindNullDeref.uniqueLocations(Collection<Location> derefLocationSet)
private boolean	NoiseNullDeref.uniqueLocations(Collection<Location> derefLocationSet)

Constructors in edu.umd.cs.findbugs.detect with parameters of type Location

Modifier	Constructor	Description
	Lock(Location location, String lockClass, ValueNumber lockValue)
	RegularLocation(TypeAnalysis ta, ValueNumberAnalysis vna, Location loc)
	Stream(Location location, String streamClass, String streamBase)	Constructor.
	StreamEscape(Stream source, Location target)	Constructor.
	ValueInfo(int origValue, Location location, org.apache.bcel.generic.Type type)
(package private)	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.