Textbooks

• Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of Program Analysis; Springer 2005.

Other resources

• The OpenAxiom scientific computation platform has infrastructures to support static program analysis and program transformation.
• The Pivot framework for static analysis and transformation of C++ programs.
• FindBugs for analyzing Java bytecodes.
• The Frama-C tool suite for analysis of source codes written in C.