Package chord.analyses.lock

Facts and analyses of locks.

See:
Description

Class Summary

DomL	Domain of all lock acquire points, including monitorenter statements and entry basic blocks of synchronized methods.
DomR	Domain of all lock release points, including monitorexit statements and exit basic blocks of synchronized methods.
RelLE	Relation containing each tuple (e,l) such that statement e that accesses (reads or writes) an instance field, a static field, or an array element is lexically enclosed in the synchronized block or synchronized method that acquires the lock at point l.
RelLI	Relation containing each tuple (l,i) such that method invocation statement i is lexically enclosed in the synchronized block or synchronized method that acquires the lock at point l.
RelLL	Relation containing each tuple (l1,l2) such that the synchronized block or synchronized method that acquires the lock at point l1 lexically encloses (directly or transitively) the synchronized block that acquires the lock at point l2.
RelML	Relation containing each tuple (m,l) such that method m contains synchronized statement l.
RelPL	Relation containing each tuple (p,e) such that the statement at program point p is a heap access statement e that accesses (reads or writes) an instance field, a static field, or an array element.
RelSyncLM	Relation containing each tuple (l,m) such that method m is synchronized on lock l.
RelSyncLV	Relation containing each tuple (l,v) such that monitorenter statement l is synchronized on variable v.

Package chord.analyses.lock Description

Facts and analyses of locks.