値分析を使用して、Frama-C のプラグインに取り組んでいます。各ステートメントの後に変数（値）の状態を出力したいだけです（解決策は簡単だと思いますが、わかりませんでした）。
ビジターDb.Value.get_stmt_state内のメソッドで現状を取得しました。vstmt_aux
変数の値を取得するにはどうすればよいですか?
PS: この投稿を見つけましたが、役に立ちませんでした。実際の解決策はありません。説明の助けを借りて、それを行うことができませんでした: Value.Eval_expr、Value.Eval_op などのモジュールで関数を使用する方法Frama-c Value プラグイン