程序分析

TBD 内容待整理

原理知识：

  • 静态程序分析 CFG/DFG/Abstract interpretation/Type systems/Effect systems/Model checking

  • 动态程序分析

应用场景：

  • Program optimization | https://en.wikipedia.org/wiki/Program_optimization

  • Program correctness | https://en.wikipedia.org/wiki/Correctness_(computer_science)

教程：

  • https://xiongyingfei.github.io/SA_new/2023/

  • https://www.educoder.net/classrooms/7759/announcement

  • https://tai-e.pascal-lab.net/lectures.html

  • https://pages.cs.wisc.edu/~reps/

  • http://staff.ustc.edu.cn/~yuzhang/pldpa/

  • https://static-analysis.cuijiacai.com/preface/

  • https://ranger-nju.gitbook.io/static-program-analysis-book/

  • https://xiongyingfei.github.io/SA/2022/main.htm

  • https://cs.au.dk/~amoeller/spa/

Previous编译器中端Next静态分析

Last updated