Static Program Analysis

9 (part 1), SMA — Software Modeling and Analysis