问冲击分析插件frama-C
EN

Stack Overflow用户

提问于 2015-05-11 14:39:49

回答 1查看 139关注 0票数 1

该影响分析插件具有一种方法切片，根据所述影响分析对给定的语句进行切片。它像切片插件，我们在这里创建项目，然后我们选择切片区域，并在将该区域添加到请求？如何打印此影响分析切片的结果？

回答已采纳

发布于 2015-05-12 18:50:58

函数Db.Impact.slice实际上没有与Impact插件的真正链接。它只是在给定的语句列表上计算切片请求，而不调用Impact。正如您注意到的，您已经可以从Slicing的API构建此请求，而Db.Impact.Stmt是不可自定义的。

(这个函数slice应该是Impact的内部函数。当用户选择了“影响后切片”选项时，它将在GUI中使用。我们将在下一个版本中删除它，以消除这种模糊性。)

票数 2

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/30170623

复制

相似问题

问冲击分析插件frama-CEN