Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Help

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