c - C言語用のフォワードスライシングツール

Question

C言語用のフォワードスライシングツールを探しています。Googleで検索したところ、結果が見つかりませんでした。

ウィスコンシンプログラム-スライシングツールバージョン1.1にアクセスしたかったのですが、このツールは配布されませんでした。他のツールでフォワードスライスCプログラムの機能を提供できますか？

Answer 1

オープンソースの静的分析プラットフォーム Frama-C には、影響分析機能を備えたスライスプラグインがあります。

sum = 0;OPは、初期化の影響が計算されている例を提案しています。例は次のとおりです。

void main() {
    int i = 1;     int sum = 0;
    while (i<11) {
        sum = add(sum, i);
        i = add(i, 1);
    }
    printf("sum = %d\n", sum);
    printf("i = %d\n", i);
}

static int add(int a, int b)
{
    return(a+b);
}

使用するコマンドラインは次のとおりです。

frama-c-gui -val t.c

左側の列のチェックマークは、 functionaddにも選択されたステートメントがあることをユーザーに伝えます。右下隅で、アナライザーは学術記事からのこの例のいくつかの小さな問題を指摘しています。