<分区>
我正在寻找有关程序分析入门的资源。
我找到的唯一一本关于该主题的书是 Nielson & Nielson 的书。
除此之外，似乎只有“编译器”书籍，其中“程序分析”将是一个章节，或者类似的内容。
人们是否知道任何其他资源？谢谢!
<分区>
我正在寻找有关程序分析入门的资源。
我找到的唯一一本关于该主题的书是 Nielson & Nielson 的书。
除此之外，似乎只有“编译器”书籍，其中“程序分析”将是一个章节，或者类似的内容。
人们是否知道任何其他资源？谢谢!
最佳答案
“使用静态分析进行安全编程”可能会有用。
还有一个您可能会觉得有用的讲座系列 http://santos.cis.ksu.edu/schmidt/Escuela03/home.html
关于algorithm - 程序分析入门，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/15579145/