私はclangスタティック・アナライザを試したかったのです。私はWindows上にあり、Visual Studioでclangを構築しています。それはうまくいくようですが、同時にそれは非常に役に立たないようです。Clangスタティック・アナライザで最も基本的な問題が見つからない
私は例
はexample.c scan-build gcc -c example.c
発見エラーなしの呼び出し
int main(void)
{
int h = 0;
return 1/h;
}
ファイルを作りました。 scan-build gcc -c example.c
発見エラーなしの呼び出し
はexample.c
int main(void)
{
int h;
return 1/h;
}
。 scan-build gcc -c example.c
発見エラーなしの呼び出し
はexample.c
int main(void)
{
return 1/0;
}
。
これらの最も基本的なエラーが見つからない場合(およびclang自身が見つけることができます)、どのようにスタティックアナライザを使用できますか?
私のgcc
はMinGWです。私もclang
の代わりに試しましたが、何も起こっていません。
ここで何か問題がありますか?
実際にこのツールは純粋なものです。あなたのテストに基づいて、あなたはすでにこの結論に至ったことをあなたに伝えるためにインターネット上に誰かがいる必要はありません。単にアンインストールして別のものを入手するだけです。 – Lundin
@ Lundin LLVMのフレームワークに信じるプロジェクトがたくさんあるようです。たとえば、Mozilla Foundationの支援を受けているRust言語です。私は含まれているスタティックアナライザーが役に立たないとは想像できません。たぶん私はここで非常に基本的な何かを見逃しているでしょう。いくつかの隠された構成。 – CodeMonkey
私はこの特定のスタティック・アナライザを使用していませんが、他の多くのスタティック・アナライザは使用していません。経験則として、修理を超えて故障していると常に仮定してください。 – Lundin