标签： slice frama-c
目前，我正在尝试使用Frama-C的切片功能来生成给定文件中特定语句的向后切片，并且从该特定切片中，我想获取属于它的语句的原始SID 。在突出显示属于切片的语句时，所期望的行为不应与GUI显示的标准行为太不相似，除非我想编写一个插件，将这些语句的SID返回给我。 / p>
有没有人知道如何在我的脚本中与切片模块进行交互？ Db.Slicing的结构和文档似乎非常适合GUI。
任何帮助将不胜感激！ ： - ）