切片影响分析插件frama-C

Slice of impact analysis plugin frama-C

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

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

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