如何研究静态分析？

Question

我已经阅读了很多关于静态分析的论文和教程，但我仍然觉得我已经接近静态分析的中级水平了。我想一步一步地开始，深入了解这个主题。

那么......我该如何去学习程序/静态分析？最好的方法是什么？有没有最好的静态分析书？我从哪里开始？

我真的希望这个问题能够收集每年发布的数十种关于静态分析的材料中的少量珍珠。

Answer 1

请参阅此前的讨论（https://stackoverflow.com/questions/10414328/static-analyzer/10416352）。免责声明：我在我建立的LinkedIn静态分析小组中有一个discussion的链接（需要注册，对不起，我批准了会员请求），其中提到了我的几个articles。

Answer 2

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

我建议您使用静态分析工具＆＃34; （声称它是一个的任何东西）并在真实代码上运行它。然后问自己：

• 这回答了什么（静态分析）问题？
• 答案有多准确？
• 有用的是怎样的答案？

有一些这方面的经验将有助于指导您的阅读选择相当于您的利益。

在某些时候，最好尝试构建一个静态分析工具，以便个人理解它所付出的努力以及出了什么问题。您将了解到有关特定静态分析方法的局限性，以及为什么会有这么多的原因。