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


package com.ibm.wala.cast.java.examples.ast
  • Classes
    Class
    Description
    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.