Uses of Package
pascal.taie.analysis.sideeffect

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