Dead Code Detection (Demo)

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