大佬教程收集整理的这篇文章主要介绍了我可以使用哪些免费工具来生成c代码的程序依赖图,大佬教程大佬觉得挺不错的,现在分享给大家,也给大家做个参考。
请注意,用C编写的实际程序切片实际上涉及许多特殊情况和在科学出版物中被忽略的概念.尽管如此,我相信您不会比Frama-C的PDG计算简单得多,首先是因为它是唯一可用的开源(我知道的),其次是因为处理C程序的任何其他PDG计算将具有解决同样的问题,并介绍相同的概念.
这里有一个例子:
int a,b,d,*p; int f (int X) { return a + x; } int main (int c,char **v) { p = &b; a = 1; *p = 2; d = 3; c = f(b); }
命令frama-c -pdg -dot-pdg graph -pdg-print t.c分别生成包含main()和f()的PDG的点文件graph.main.dot和graph.f.dot.
您可以使用点程序来漂亮地打印其中之一:dot -Tpdf graph.main.dot> graph.pdf
结果如下:
注意节点c = f(b)的边缘;到节点* p = 2;声称对C程序有用的PDG计算必须处理别名.
另一方面,使用该PDG切片器的条件“语句c = f(b)”的输入将能够去除d = 3;即使通过指针访问也不能影响@L_874_11@调用*页.
Frama-C的切片器使用PDG指示的依赖关系来保留对用户指定的切片标准有用的语句.例如,命令frama-c -slice-wrc t.c -then-on’Slicing export’-print生成下面的简化程序,其中d的分配已被删除:
/* Generated by Frama-C */ int a; int b; int *p; int f_slice_1(int X) { int __retres; __retres = a + x; return (__retres); } void main(int C) { p = & b; a = 1; *p = 2; c = f_slice_1(b); return; }
以上是大佬教程为你收集整理的我可以使用哪些免费工具来生成c代码的程序依赖图全部内容,希望文章能够帮你解决我可以使用哪些免费工具来生成c代码的程序依赖图所遇到的程序开发问题。
如果觉得大佬教程网站内容还不错,欢迎将大佬教程推荐给程序员好友。
本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。