c - C语言的正向切片工具

Question

<分区>

Answer 1

开源静态分析平台 Frama-C 有一个 slicing插件 impact analysis功能。

OP 提出了一个示例，其中正在计算初始化 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 中也有选定的语句。在右下角，分析器指出了学术文章中此示例的一些小问题。