-
Notifications
You must be signed in to change notification settings - Fork 140
Home
bjjwwang edited this page Jul 27, 2025
·
64 revisions
| Week | Content | Assignment |
|---|---|---|
| Week 1 | Introduction to software analysis and verification | Assignment-1 (15%) |
| Week 2 | LLVM IR and graph representation of code | - |
| Week 3 | Control flow analysis | Assignment-2 (15%) |
| Week 4 | Data flow analysis | - |
| Week 5 | Information flow tracking | Assignment-3 (35%) |
| Week 6 | Software vulnerability and assertion-based verification | - |
| Week 7 | Code Verification and Predicate Logic | - |
| Week 8 | Z3 | - |
| Week 9 | Static Symbolic Execution | Assignment-4 (35%) |
| Week 10 | Student presentation for A3 | - |
| Week 11 | Advanced topic (Industry + research landscape) | - |
| Week 12 | Student presentation for A4 | - |
- SVF: Static Value-Flow Analysis Framework for Source Code and its doxygen
- Compilers: Principles, Techniques, and Tools Hardcover
- LLVM Compiler
- Anders Møller and Michael I. Schwartzbach, Static Program Analysis