Frama-C Plugin development: Getting result of value-analysis
I am working on a Plugin for Frama-C, using the Value-analysis. I simply want to print the state of the variables (values) after each statement (I think the solution is quiet easy, but I couldn't figure it out). I got the current state with Db.Value.get_stmt_state in the vstmt_aux method in the visitor. How can I now get the values of the variables? PS: I found this post, but it didn't help, there is no real solution, and with the help of the description I was not able to do it: How to use functions in Value.Eval_expr, Value.Eval_op etc modules of Frama-c Value plugin Here's a concrete example