Package com.ibm.wala.cast.java.examples.ast

Class Summary

SynchronizedBlockDuplicator

transforms each synchronized block to execute under a conditional test calling some method m(), where the block is duplicated in both the if and else branches.