软件分析

请设置文章作者

发布于：Jan 1, 2000

次浏览

软件分析

1. Course Introduction

2. Intermediate Representation

3. Data Flow Analysis - Applications I

4. Data Flow Analysis - Applications II

5. Data Flow Analysis - Foundations I

6. Data Flow Analysis - Foundations II

7. Interprocedural Analysis

8. Pointer Analysis

9. Pointer Analysis - Foundations I

10. Pointer Analysis - Foundations II

11. Pointer Analysis - Context Sensitivity I

12. Pointer Analysis - Context Sensitivity II

13. Static Analysis for Security

14. Datalog-Based Program Analysis

15. CFL-Reachability and IFDS

16. Soundness and Soundiness

assignments

https://pascal-group.bitbucket.io/teaching.html