Estoy trabajando en un complemento para Frama-C, utilizando el análisis de valor. Simplemente quiero imprimir el estado de las variables (valores) después de cada declaración (creo que la solución es bastante fácil, pero no pude resolverlo).

Tengo el estado actual conDb.Value.get_stmt_state en elvstmt_aux método en el visitante.

¿Cómo puedo obtener ahora los valores de las variables?

PD: Encontré esta publicación, pero no ayudó, no hay una solución real, y con la ayuda de la descripción no pude hacerlo:Cómo usar funciones en los módulos Value.Eval_expr, Value.Eval_op, etc. del plugin Frama-c Value