C 開発に役立つ分析ツール

Question

私は C の学習を始めたばかりですが、バグやメモリ リークなどを見つけるのに苦労しています。そのようなものを見つけるのに役立つ良いツールはどれですか?Valgrindについては聞いたことがありますが、他にもありますか?

Answer 1

私にとってのディレクトリ）があり:

• GDB 用具
• Valgrind 探メモリリーク

Answer 2

メモリを動的に割り当てている場合、プログラムはすでに複雑すぎて適切な処理を実行できない可能性がありますが、Frama-C の値分析に興味を持っていただけるかもしれません。を見てください。 チュートリアル のチュートリアルの章に進みます。 マニュアル まだ興味があれば。

Answer 3

リントの古典的なCの静的解析ツールである。

Answer 4

私は、彼らは有料によりますね喜んで費用を疑うが、コベリティとのKlocworkの両方が他のものの多くと一緒に、メモリリークのための深刻なチェックを行います。

Answer 5

Valgrindのは、メモリエラーの多くをキャッチ。それは、このようなローカル配列のアクセス外として、あまりにも、様々なミス。私たちの CheckPointer のツールは、エラーが行われた時点での不良メモリ参照のほぼすべての種類をキャッチします。 ValgrindのはCheckPointerがすることをキャッチしないであろう多くの物事を見るために、Webページで比較表を参照してください。