| Week 01 |
Introduction to Software Analysis |
Introduction to Software Analysis |
| Week 02 |
The LLVM Framework |
The LLVM Framework |
| Week 03 |
Software Specifications |
Random Input Generation |
| Week 04 |
Random Testing |
| Week 05 |
Delta Debugging |
Delta Debugging |
| Week 06 |
Statistical Debugging |
Statistical Debugging |
| Week 07 |
Dataflow Analysis - Part I |
Dataflow Analysis |
| Week 08 |
Dataflow Analysis - Part II |
| Week 09 |
Pointer Analysis |
Pointer Analysis |
| Week 10 |
Constraint-Based Analysis |
Constraint-Based Analysis |
| Week 11 |
Automated Test Generation |
Dynamic Symbolic Execution |
| Week 12 |
Type Systems - Part I |
| Week 13 |
Type Systems - Part II |
| Week 14 |
Dynamic Symbolic Execution |