An undergraduate course on software bug detection tools and techniques
CIL: Intermediate language and tools for analysis and transformation of C programs