CIS 6614 Lecture -*- Outline -*-

* program-analysis
   static analysis