Lectures

Course lectures covering software analysis techniques and methodologies.

---

Table of contents

• Introduction to Software Analysis
• The LLVM Framework
• Software Specifications
• Random Testing
• Delta Debugging
• Statistical Debugging
• Dataflow Analysis - Part I
• Dataflow Analysis - Part II
• Pointer Analysis
• Constraint-Based Analysis
• Automated Test Generation
• Type Systems - Part I
• Type Systems - Part II
• Dynamic Symbolic Execution