Class LockAnalysis

java.lang.Object

edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<LockSet>

edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<LockSet>

edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis<LockSet>

edu.umd.cs.findbugs.ba.LockAnalysis

All Implemented Interfaces:

DataflowAnalysis<LockSet>

public class LockAnalysis
extends ForwardDataflowAnalysis<LockSet>

Analysis to determine where particular values are locked in a method. The dataflow values are maps of value numbers to the number of times those values are locked.

See Also:

• ValueNumberAnalysis

Field Summary

Fields

Modifier and Type	Field	Description
private static final boolean	DEBUG
private final boolean	isStatic
private final boolean	isSynchronized
private final org.apache.bcel.generic.MethodGen	methodGen
private final ValueNumberAnalysis	vna
private final ValueNumberDataflow	vnaDataflow

Constructor Summary

Constructors

Constructor	Description
LockAnalysis(org.apache.bcel.generic.MethodGen methodGen, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs)

Method Summary

Modifier and Type	Method	Description
void	copy(LockSet source, LockSet dest)	Copy dataflow facts.
LockSet	createFact()	Create empty (uninitialized) dataflow facts for one program point.
void	initEntryFact(LockSet result)	Initialize the "entry" fact for the graph.
boolean	isFactValid(LockSet fact)	Determine whether the given fact is valid (neither top nor bottom).
boolean	isTop(LockSet fact)	Is the given fact the top value.
private void	lockOp(LockSet fact, int lockNumber, int delta)
void	makeFactTop(LockSet fact)	Make given fact the top value.
void	meetInto(LockSet fact, Edge edge, LockSet result)	Meet a dataflow fact associated with an incoming edge into another fact.
private void	modifyLock(ValueNumberFrame frame, LockSet fact, int delta)
boolean	same(LockSet fact1, LockSet fact2)	Are given dataflow facts the same?
void	transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, LockSet fact)	Transfer function for a single instruction.

Methods inherited from class ForwardDataflowAnalysis

getBlockOrder, getDepthFirstSearch, isForwards

Methods inherited from class AbstractDataflowAnalysis

getFactAfterLocation, getFactAtLocation, transfer

Methods inherited from class BasicAbstractDataflowAnalysis

edgeTransfer, factToString, finishIteration, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

DEBUG

private static final boolean DEBUG

methodGen

private final org.apache.bcel.generic.MethodGen methodGen

vnaDataflow

private final ValueNumberDataflow vnaDataflow

vna

private final ValueNumberAnalysis vna

isSynchronized

private final boolean isSynchronized

isStatic

private final boolean isStatic

Constructor Details

LockAnalysis

public LockAnalysis(org.apache.bcel.generic.MethodGen methodGen,
 ValueNumberDataflow vnaDataflow,
 DepthFirstSearch dfs)

Method Details

createFact

public LockSet createFact()

Description copied from interface: DataflowAnalysis

Create empty (uninitialized) dataflow facts for one program point. A valid value will be copied into it before it is used.

copy

public void copy(LockSet source,
 LockSet dest)

Description copied from interface: DataflowAnalysis

Copy dataflow facts.

initEntryFact

public void initEntryFact(LockSet result)

Description copied from interface: DataflowAnalysis

Initialize the "entry" fact for the graph.

makeFactTop

public void makeFactTop(LockSet fact)

Description copied from interface: DataflowAnalysis

Make given fact the top value.

isTop

public boolean isTop(LockSet fact)

Description copied from interface: DataflowAnalysis

Is the given fact the top value.

same

public boolean same(LockSet fact1,
 LockSet fact2)

Description copied from interface: DataflowAnalysis

Are given dataflow facts the same?

meetInto

public void meetInto(LockSet fact,
 Edge edge,
 LockSet result)
              throws DataflowAnalysisException

Description copied from interface: DataflowAnalysis

Meet a dataflow fact associated with an incoming edge into another fact. This is used to determine the start fact for a basic block.

Parameters:

fact - the predecessor fact (incoming edge)

edge - the edge from the predecessor

result - the result fact

Throws:

DataflowAnalysisException

transferInstruction

public void transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
 BasicBlock basicBlock,
 LockSet fact)
                         throws DataflowAnalysisException

Description copied from class: AbstractDataflowAnalysis

Transfer function for a single instruction.

Specified by:

transferInstruction in class AbstractDataflowAnalysis<LockSet>

Parameters:

handle - the instruction

basicBlock - the BasicBlock containing the instruction; needed to disambiguate instructions in inlined JSR subroutines

fact - which should be modified based on the instruction

Throws:

DataflowAnalysisException

modifyLock

private void modifyLock(ValueNumberFrame frame,
 LockSet fact,
 int delta)
                 throws DataflowAnalysisException

Throws:

DataflowAnalysisException

lockOp

private void lockOp(LockSet fact,
 int lockNumber,
 int delta)

isFactValid

public boolean isFactValid(LockSet fact)

Description copied from class: AbstractDataflowAnalysis

Determine whether the given fact is valid (neither top nor bottom).

Specified by:

isFactValid in class AbstractDataflowAnalysis<LockSet>