language-agnostic - バグ発見のための静的解析に関する良い紹介テキストはありますか?

Question

バグ発見のための静的解析の理論に関する入門書を探しています。推奨事項はありますか？

Answer 1

ウィキペディアの記事は十分に紹介されていますか? より詳細な情報へのリンクが多数あります。

ソフトウェア エンジニアリング ラジオのポッドキャストもあります。

ここに、ここに、そしてここにいくつかの学術論文がありますが、読みにくく、理解しにくいかもしれません。

Answer 2

Microsoft のPrefastツールになったものを最初に紹介したこのペーパーを試してください。これは、最も成功した静的分析ツールの 1 つです。