--- layout: fc_discuss_archives title: Message 46 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 think that 'Kernel.feedback "%a" Db.Value.pretty_state before'
should work.

Matthieu



"Phu H. Phung" <phunghuuphu at gmail.com> writes:

> 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
>
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss