Можно ли получить (оригинальные) SID нарезанного AST с использованием Frama-C?
В настоящее время я пытаюсь использовать возможности нарезки Frama-C для создания обратного среза определенного оператора в данном файле, и из этого конкретного среза я хотел бы получить исходные идентификаторы SID принадлежащих ему операторов. Желаемое поведение не должно слишком отличаться от стандартного поведения, демонстрируемого графическим интерфейсом при выделении операторов, принадлежащих слайсу, за исключением того, что я хотел бы написать плагин, который вместо этого возвращает мне SID этих операторов.
Кто-нибудь знает, как я должен взаимодействовать с модулем Slicing в моем скрипте? Структура и документация для Db.Slicing, похоже, сильно ориентированы на GUI.
Любая помощь приветствуется!:-)