一片影响分析插件frama-C

时间:2015-05-11 14:39:49

标签: frama-c

影响分析插件有一个方法切片,根据影响分析对给定的语句进行切片。 它是否像我们创建项目的切片插件那样我们选择切片区域并在将此区域添加到请求后?我如何打印此影响分析切片的结果?

1 个答案:

答案 0 :(得分:2)

函数Db.Impact.slice实际上没有Impact插件的真实链接。它只是在给定的语句列表上计算切片请求,而无需在任何地方调用Impact。如您所知,您已经可以从Slicing的API构建此请求,而Db.Impact.Stmt无法自定义。

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