c - C の汚染分析

Question

C プログラムで静的汚染分析を実行する必要があります。Splint を使用してみましたが、うまくいきませんでした。汚染分析を実行できるオープンソースまたはフリーウェアのツールは他にありますか?

はいの場合は、その使用方法についても言及するか、リンクを参照してください。あなたの助けに感謝。ありがとう

Answer 1

Google で検索すると、C プログラムの汚染分析をサポートする次のものが見つかりました。

1. http://code.google.com/p/tanalysis/
2. http://www.cs.umd.edu/~jfoster/cqual/ -- printf フォーマット文字列の例を参照

Answer 2

試したことはありませんが、taintgrind ( Valgrindの場合) から始めることになるでしょう。それはGitHubにあり、合理的に「生きている」ようです。