Package pascal.taie.analysis.sideeffect

package pascal.taie.analysis.sideeffect
This package implements modification side-effect analysis (MOD) which computes the objects that may be modified by each method and statement.

The analysis was defined in paper: Ana Milanova, Atanas Rountev, and Barbara G. Ryder. Parameterized Object Sensitivity for Points-to Analysis for Java. In TOSEM 2005.

However, the algorithm described in the paper is very inefficient. Therefore, we have designed and implemented a new and efficient algorithm to compute modification information.