Frama-C Plugin Entwicklung: Ergebnis der Wertanalyse erhalten

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 ...