静态分析学习资源分享。
不得不说，在学习资源上，书 > 课程 > 论文/博客。对于论文，更早发表的更容易看懂。书则要找中文的，最新出版的。
静态分析方面中文书目前应该还没出来，因此最好和国际接轨，学好英语看英文书。英文书其实也不多，有如下几本：
《Introduction to Static Analysis An Abstract Interpretation Perspective (Xavier Rival, Kwangkeun Yi) 》 MIT Press 2020
极力推荐。新出版的书整体水平和可读性就是高很多。
《Principles of Program Analysis》 第二版 2005
学习资源拿到手看一下，如果讲的都是已经会了的可以扔，如果讲的太难可以记下来，以后回来再看，最后目的都是找到刚好符合自己水平的。
还有各种开源项目的publications
- SVF http://svf-tools.github.io/SVF/
- Frama-C https://frama-c.com/html/publications.html
- Python和C跨语言的Mopsa https://mopsa.lip6.fr/