【发布时间】：2013-03-12 19:54:07
【问题描述】：
我正在寻找有关程序分析入门的资源。
我找到的唯一一本关于该主题的书是 Nielson & Nielson 的书。
除此之外，似乎只有“编译器”书籍，其中“程序分析”会是一章，或者类似的东西。
人们知道其他资源吗？谢谢！
【问题讨论】：
-
拆机怎么样？这是了解编译器如何转换为机器代码的好方法。有一个很棒的逆向工程讲座：opensecuritytraining.info/IntroductionToReverseEngineering.html
-
一个巨大的问题是获得可以读取程序的工具，并在任何能力水平上对它们进行推理。例如，您将如何解决分析 ColdFusion 代码中的安全漏洞的问题？
标签： algorithm compiler-construction programming-languages computer-science semantics