| Front-end for LockDataflow that can avoid doing unnecessary work
(e.g., actually performing the lock dataflow)
if the method analyzed does not contain explicit
monitorenter/monitorexit instructions.
Note that because LockSets use value numbers, ValueNumberAnalysis
must be performed for all methods that are synchronized or contain
explicit monitorenter/monitorexit instructions.
See Also: LockSet See Also: LockDataflow See Also: LockAnalysis author: David Hovemeyer |