Ich arbeite an einem Plugin für Frama-C, das die Werteanalyse verwendet. Ich möchte einfach den Status der Variablen (Werte) nach jeder Anweisung drucken (ich denke, die Lösung ist recht einfach, aber ich konnte es nicht herausfinden).

Ich habe den aktuellen Stand mitDb.Value.get_stmt_state in demvstmt_aux Methode im Besucher.

Wie kann ich jetzt die Werte der Variablen abrufen?

PS: Ich habe diesen Beitrag gefunden, aber es hat nicht geholfen, es gibt keine wirkliche Lösung, und mit Hilfe der Beschreibung konnte ich es nicht tun:Wie werden Funktionen in den Modulen Value.Eval_expr, Value.Eval_op usw. des Frama-c Value Plugins verwendet?