c++ - C /C++での動的スライス

Question

現時点では、Java分析に関連するツールしか見つかりませんでした。C / C ++用のそのようなツールを知っていますか？

score 4 · Accepted Answer

ロブに加えて少しの情報

ウィスコンシンプログラムスライシングツールは、CodeSurferと呼ばれるツールで進化しました。良いニュース：それは市販されてサポートされており、それが何をするのかのために素晴らしい働きをします。悪いニュース（おそらく）：実際には、選択したのと同じ値を計算する縮小プログラムは生成されませんが、作成していないソースコードをナビゲートするのに非常に便利です。
Frama-CはCのみを処理します（近い将来、C ++は処理しません）。ソースコードをナビゲートするのは素晴らしいことではありませんが、元のプログラムが自動的に分析できる種類の場合（再帰や動的割り当てなし）、指定した基準に対して同等の小さなプログラムを生成できます。Frama-Cはオープンソースであり、使用する技術に興味がある場合は質問を歓迎するメーリングリストがあります。

CodeSurferが同等のプログラムを作成するリスクを負わず、Frama-Cが埋め込みのような制限のあるコードに対してのみそれを実行できる理由は、要するに、ポインターの値を知る必要があるためです。これは、計算が任意に困難になる可能性があります。精度。

score 3 · Accepted Answer

あなたが引用しているウィキペディアのページにツールがリストされています。これはC用なので、「C /C++」が何であれ機能する可能性があると思います。

Cについても、ウィキペディアのページで言及されています。

score 0 · Accepted Answer

Giriは、LLVMコンパイラーで動的後方スライスを実装します。これは、私が知る限り、最新のコンパイラーで使用可能で効果的でスレッド対応の動的スライサーを構築するための最新の取り組みです。

3 に答える 3