我正在寻找有关开始进行程序分析的资源。
我在该主题上找到的唯一一本书是 Nielson & Nielson 的书。
除此之外，似乎只有“编译器”书籍，其中“程序分析”会是一章，或者类似的东西。
人们知道其他资源吗？谢谢！
问问题
398 次
1 回答
1
“使用静态分析进行安全编程”可能很有用。
还有一个讲座系列，您可能会觉得有用 http://santos.cis.ksu.edu/schmidt/Escuela03/home.html
于 2013-03-22T22:11:56.660 回答