Estou trabalhando em um plug-in para o Frama-C, usando a análise de valor. Eu simplesmente quero imprimir o estado das variáveis (valores) após cada instrução (acho que a solução é silenciosamente fácil, mas não consegui descobrir).

Eu tenho o estado atual comDb.Value.get_stmt_state novstmt_aux método no visitante.

Como posso obter agora os valores das variáveis?

PS: Encontrei este post, mas não ajudou, não há solução real e, com a ajuda da descrição, não consegui:Como usar funções nos módulos Value.Eval_expr, Value.Eval_op etc do plugin Frama-c Value