C语言的前向切片工具[关闭]

Question

我正在寻找C语言的前向切片工具。 当我在谷歌搜索时，我没有找到任何结果。

我本来想访问Wisconsin Program-Slicing Tool Version 1.1，但是这个工具没有发布。 任何其他工具都可以提供前向切片C程序的功能吗？

Answer 1

开源静态分析平台Frama-C具有带有影响分析功能的切片插件。

OP提出了初始化sum = 0;的影响的例子sum = 0; 正在计算中。 这个例子是这样的：

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

左侧列中的复选标记告诉用户函数add中也有选定的语句。 在右下角，分析仪从一篇学术文章中指出了这个例子中的一些小问题。