文章目录[隐藏]
The course from NJU mainly focus on the classical technique to solve the current program analysis proble. The course from PKU is discussing different genre like symbolic execution/ formal methods/ JQF.
Abstraction + Over-approximation
References
- Static Program Analysis: NJU by Yue Li, Tian Tan
- https://pascal-group.bitbucket.io/courses/program-analysis-2020f/
- https://xiongyingfei.github.io/SA/2019/main.htm
- Static Program Analysis by Anders Møller
- https://cs.au.dk/~amoeller/spa/
- Introduction to static analysis by Xavier Rival and Kwangkeun Yi
- https://mitpress.mit.edu/books/introduction-static-analysis