Плагин анализа влияния имеет срез метода, который разрезает данный оператор в соответствии с анализом воздействия. Разве это как плагин для разрезания, где мы создаем проект, тогда мы выбираем зону резки и после добавления этой зоны в запрос? Как я могу напечатать результат этого фрагмента анализа последствий?Плагин анализа влияния удара frama-C
Функция Db.Impact.slice фактически не имеет реальной связи с плагином Impact. Он просто вычисляет запрос нарезания в указанном списке операторов без вызова Impact в любом месте. Как вы заметили, вы уже можете построить этот запрос из API Slicing, а Db.Impact.Stmt не настраивается.
(Эта функция slice должна быть внутренней по отношению к Impact. Он используется в графическом интерфейсе пользователя, когда пользователь выбрал опцию Строгания после удара. Мы удалим его в следующем выпуске, чтобы поднять эту неоднозначность.)
Ах! ОК! действительно, это было немного неоднозначно. Когда я назвал Db.Impact.slice, он построил проект с названием «ударная нарезка», которая вычисляет только запрос нарезания в указанном списке операторов –
Есть ли такой уровень, как плагин для нарезки или он полностью статичен? –
Я не уверен, что понимаю этот комментарий. – byako