Class LockAnalysis

All Implemented Interfaces:
Analysis<CFValue,LockStore,LockTransfer>, ForwardAnalysis<CFValue,LockStore,LockTransfer>

public class LockAnalysis extends CFAbstractAnalysis<CFValue,LockStore,LockTransfer>
The analysis class for the lock type system.

This class extends CFAbstractAnalysis so that LockStore is used rather than CFStore.