-
Notifications
You must be signed in to change notification settings - Fork 140
Home
guanqin-123 edited this page Mar 16, 2021
·
64 revisions
| # | Chapter | Slides | Assignment |
|---|---|---|---|
| 0 | Configure Programming Environment using VSCode and Docker | link | |
| 1 | Introduction to Software Analysis | link | |
| 2 | C++ Programming Practice and Graph Algorithms | link | Assignment-1 |
| 3 | LLVM Compiler and Intermediate Representation | link | |
| 4 | Graph Representation of Code | ||
| 5 | Control Dependence | Assignment-2 | |
| 6 | Data Dependence | Assignment-3 | |
| 7 | Information Flow Tracking | Assignment-4 |
- 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