c - Cコードの新しい動的ツール分析

Question

誰かがCコードの新しい動的ツール分析がvaldgrindのようにあるか教えてもらえますか？

Answer 1

調べることができる 2 つは次のとおりです 。Splintと Frama-C (Frama-C は動的ではなく静的ツールです)。

Answer 2

フェンリスをのぞいてみてください。valgrind の代替品ではないかもしれませんが、それでも非常にクールです :) 実際、Michal Zalewskiが作成するほぼすべてのツールは本当に....創造的です (申し訳ありません)。