--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on November 2010 ---
Hello, > I was using the Frama GUI interface and I can find the interval of values of the variables and returns of the functions, but > how can I output these values in the console? If you can modify the target source code, insert calls to functions documented in "8.3 Observing intermediate results" in http://frama-c.com/download/frama-c-value-analysis.pdf , then use the batch version frama-c instead of frama-c-gui. If you have suggestions on how the documentation could be better organized to allow someone to find this information by himself, please feel free to share. If you cannot modify the target code, it is still possible to obtain the same values that you get in the GUI, you just need to write a Frama-C plug-in. The same value analysis API that the GUI uses is available in file src/kernel/db.ml. This is not very well documented for lack of resources, but if you are able to make something of it, again do not hesitate to document what you have found. Pascal