Разработка плагина Frama-C: получение результатов анализа стоимости

Я работаю над плагином для Frama-C, используя Value-analysis. Я просто хочу напечатать состояние переменных (значений) после каждого оператора (я думаю, что решение довольно легко, но я не мог понять это).

Я получил текущее состояние сDb.Value.get_stmt_state вvstmt_aux метод в госте.

Как я могу теперь получить значения переменных?

PS: я нашел этот пост, но это не помогло, реального решения нет, и с помощью описания я не смог это сделать:Как использовать функции в модулях Value.Eval_expr, Value.Eval_op и т. Д. Плагина Frama-c Value

Ответы на вопрос(1)

Ваш ответ на вопрос