Class LockChecker


  • public class LockChecker
    extends java.lang.Object
    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, LockDataflow, LockAnalysis