--- layout: fc_discuss_archives title: Message 45 from Frama-C-discuss on May 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How to proceed value analysis results



Hello,

I'm exploring value analysis API to display its results. For the first try, I just want to show as in the GUI the value before and after a statement.
I called the API as:
let before = Db.Value.Table.find stmt in
let after = Db.Value.AfterTable.find stmt in
?
Could you please guide me how to display the value of before,after using e.g. Format.fprintf?
I tried to trace the value analysis GUI source code and tried to out by several alternatives but it is quite not trivial.

As I am a newbie in Frama-C, I would highly appreciate your help. 

Thanks a lot!
Phu