scala.tools.nsc.backend.icode.analysis
Program points are locations in the program where we want to assert certain properties through data flow analysis, e.g. basic blocks.
Program points are locations in the program where we want to assert certain properties through data flow analysis, e.g. basic blocks.