バグ発見のための静的解析の理論に関する入門書を探しています。推奨事項はありますか?
3 に答える
1
Microsoft のPrefastツールになったものを最初に紹介したこのペーパーを試してください。これは、最も成功した静的分析ツールの 1 つです。
于 2009-05-27T01:32:27.307 に答える
Microsoft のPrefastツールになったものを最初に紹介したこのペーパーを試してください。これは、最も成功した静的分析ツールの 1 つです。