如何研究静态分析？

Question

我读过很多关于静态分析的论文和教程，但我仍然觉得自己在静态分析方面还没有达到中等水平。我想一步一步地开始，对这个问题有一个深刻的认识。

所以..。我该如何去学习程序/静态分析？最好的办法是什么？有最好的静态分析书籍吗？从哪里开始？

我真的很希望这个问题能够在每年出版的几十个静态分析材料中收集到为数不多的珍珠。

Answer 1

参见前面的讨论(https://stackoverflow.com/questions/10414328/static-analyzer/10416352)。免责声明:在我创建的讨论静态分析组中有一个指向LinkedIn的链接(注册是必需的，很抱歉，我在批准成员申请方面落后了)，其中提到了我的几个文章。

Answer 2

你可以阅读大量的论文，但一些真正的经验将帮助你更有效地理解这些问题。

我建议您获得一个“静态分析工具”(任何声称它是静态分析工具)并在实际代码上运行它。然后问问自己：

• 这是什么(静态分析)问题的答案？
• 答案有多准确？
• 答案有多有用？

有一些这方面的经验将有助于指导你的阅读选择，大大有利于你的利益。

在某种程度上，尝试构建一个静态分析工具，了解它所需的努力，以及哪里出了问题，这是很好的。您将学到很多关于特定静态分析方法的局限性，以及为什么会有这么多。