Uses of Class
edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefSet

Packages that use UnconditionalValueDerefSet

Package	Description
edu.umd.cs.findbugs.ba.deref
edu.umd.cs.findbugs.ba.npe
edu.umd.cs.findbugs.detect

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

Subclasses with type arguments of type UnconditionalValueDerefSet in edu.umd.cs.findbugs.ba.deref

Modifier and Type	Class	Description
class	UnconditionalValueDerefAnalysis	Dataflow analysis to find values unconditionally dereferenced in the future.
class	UnconditionalValueDerefDataflow	Dataflow to find value numbers unconditionally dereferenced.

Methods in edu.umd.cs.findbugs.ba.deref that return UnconditionalValueDerefSet

Modifier and Type	Method	Description
UnconditionalValueDerefSet	UnconditionalValueDerefAnalysis.createFact()
private UnconditionalValueDerefSet	UnconditionalValueDerefAnalysis.duplicateFact(UnconditionalValueDerefSet fact)	Return a duplicate of given dataflow fact.
private UnconditionalValueDerefSet	UnconditionalValueDerefAnalysis.propagateDerefSetsToMergeInputValues(UnconditionalValueDerefSet fact, Edge edge)	Find out if any VNs in the source block contribute to unconditionally dereferenced VNs in the target block.

Methods in edu.umd.cs.findbugs.ba.deref with parameters of type UnconditionalValueDerefSet

Modifier and Type	Method	Description
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.
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.
void	UnconditionalValueDerefAnalysis.copy(UnconditionalValueDerefSet source, UnconditionalValueDerefSet dest)
private UnconditionalValueDerefSet	UnconditionalValueDerefAnalysis.duplicateFact(UnconditionalValueDerefSet fact)	Return a duplicate of given dataflow fact.
private ValueNumber	UnconditionalValueDerefAnalysis.findValueKnownNonnullOnBranch(UnconditionalValueDerefSet fact, Edge edge)	Clear deref sets of values if this edge is the non-null branch of an if comparison.
int	UnconditionalValueDerefAnalysis.getLastUpdateTimestamp(UnconditionalValueDerefSet fact)
private void	UnconditionalValueDerefAnalysis.handleNullCheck(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)
void	UnconditionalValueDerefAnalysis.initEntryFact(UnconditionalValueDerefSet result)
boolean	UnconditionalValueDerefAnalysis.isFactValid(UnconditionalValueDerefSet fact)
boolean	UnconditionalValueDerefSet.isSameAs(UnconditionalValueDerefSet otherFact)	Return whether or not this dataflow fact is identical to the one given.
boolean	UnconditionalValueDerefAnalysis.isTop(UnconditionalValueDerefSet fact)
void	UnconditionalValueDerefAnalysis.makeFactTop(UnconditionalValueDerefSet fact)
void	UnconditionalValueDerefSet.makeSameAs(UnconditionalValueDerefSet source)	Make this dataflow fact the same as the given one.
void	UnconditionalValueDerefAnalysis.meetInto(UnconditionalValueDerefSet fact, Edge edge, UnconditionalValueDerefSet result)
void	UnconditionalValueDerefAnalysis.meetInto(UnconditionalValueDerefSet fact, Edge edge, UnconditionalValueDerefSet result, boolean onlyEdge)
void	UnconditionalValueDerefSet.mergeWith(UnconditionalValueDerefSet fact, ValueNumber skipMe, ValueNumberFactory valueNumberFactory)	Merge given dataflow fact into this one.
private UnconditionalValueDerefSet	UnconditionalValueDerefAnalysis.propagateDerefSetsToMergeInputValues(UnconditionalValueDerefSet fact, Edge edge)	Find out if any VNs in the source block contribute to unconditionally dereferenced VNs in the target block.
boolean	UnconditionalValueDerefAnalysis.same(UnconditionalValueDerefSet fact1, UnconditionalValueDerefSet fact2)
void	UnconditionalValueDerefAnalysis.setLastUpdateTimestamp(UnconditionalValueDerefSet fact, int lastUpdate)
void	UnconditionalValueDerefAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, UnconditionalValueDerefSet fact)
void	UnconditionalValueDerefSet.unionWith(UnconditionalValueDerefSet fact, ValueNumberFactory valueNumberFactory)

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

Methods in edu.umd.cs.findbugs.ba.npe with parameters of type UnconditionalValueDerefSet

Modifier and Type	Method	Description
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.
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.

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

Methods in edu.umd.cs.findbugs.detect with parameters of type UnconditionalValueDerefSet

Modifier and Type	Method	Description
boolean	BuildUnconditionalParamDerefDatabase.isCaught(ClassContext classContext, org.apache.bcel.classfile.Method method, UnconditionalValueDerefSet entryFact, ValueNumber paramVN)