C语言的前向切片工具
C语言的前向切片工具
提问于 2012-11-16 15:19:37
我正在寻找一个C语言的正向切片工具。当我在谷歌上搜索的时候，我没有找到任何结果。
我本想访问威斯康星州程序切片工具1.1版，但该工具并未分发。有没有其他工具可以提供C程序正向切片的功能？
回答 1
Stack Overflow用户
发布于 2012-11-16 17:11:41
开源静态分析平台Frama-C有一个具有impact analysis功能的slicing插件。
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
左侧列中的复选标记告诉用户在function add中也有选定的语句。在右下角，分析器从一篇学术文章中指出了这个例子的几个小问题。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/13412090
复制相关文章
相似问题
腾讯云开发者
