Program Analysis for Security

Introduction, overview, and logistics

The slides used in the lecture are available here (6-up PDF).

Optional: Michael D. Ernst. “Static and dynamic analysis: Synergy and duality”. In Workshop on Dynamic Analysis (WODA), pages 24-27, Portland, OR, USA, May 2003.
[Author's version]

This short paper discusses some of the contrasts between dynamic and static analysis approaches, but argues that it can also be productive to move back and forth between the two.