title: Frama-C: Getting the values of statement
body: <p>I want to develop a Frama-C-Plugin, where I get the values of the current statement.</p>
  
  <p>With the help of this post <a href="https://stackoverflow.com/questions/36132777/frama-c-plugin-development-getting-result-of-value-analysis">Frama-C Plugin development: Getting result of value-analysis</a> I was able to print the values of the statements, but Pointers were not shown the way I need it.</p>
  
  <p>With the help of the comments, I was able to print the whole state (not only the variables of the statement).</p>
  
  <p>Can I combine these two: Get the variables of the statement, but also with pointers dereferenced (the value)?</p>
  
  <p>For example, printing a non-pointer after statement <code>x=1</code> results in <code>x -&gt; {{ NULL -&gt; {1} }}</code>, while printing a pointer, after a statement like *x=3, results in <code>x -&gt; {{ y -&gt; {0} }}</code>  because the 0 is the offset of the variable, but I want to get the value where the pointer points to, in the example 3.
  The way I want it, would be to get something like that: <code>x -&gt; 3</code>.</p>
  
  <p>Even better would be to get a tuple of <code>(String varname, int value)</code>, so I can print it myself.</p>