-
Notifications
You must be signed in to change notification settings - Fork 140
Home
Yulei Sui edited this page Aug 8, 2021
·
64 revisions
| # | Slides | Exercise/Reading | Assignment |
|---|---|---|---|
| 0 | Configure Programming Environment using VSCode and Docker | Configure IDE | |
| 1 | Introduction to Software Analysis | ||
| 2 | C++ Programming Practice and Graph Algorithms | Assignment-1 | |
| 3 | LLVM Compiler and Intermediate Representation | ||
| 4 | Graph Representation of Code | CodeGraphs | |
| 5 | Control Dependence | SVF APIs | Assignment-2 |
| 6 | Data Dependence | SVF APIs | Assignment-3 |
| 7 | Information Flow Tracking | Assignment-4 | |
| 8 | Interprocedural Value-Flow Analysis (optional) |
- 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