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

[Frama-c-discuss] math vs. bits



Pascal,

I've been experimenting with the Value analysis plug-in.
But what I would really like is to be able to interact with it from my 
own plug-in, asking for and reporting the value set for specific program 
variables. Is this possible? Do you have any sample code that would get 
me started?

- David