--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on January 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Issue on value analysis with loops



Hello Boris,

Thanks a lot. That's much clearer now!

BTW, I think having such an example in Value analysis tutorial with
the original code, the control flow graph and the explanations of
Frama-C outputs at the various program points would be useful
understand one and for all the output of value analysis with tests and
loops.

At least I'll try to integrate that in my next slides on Frama-C. ;-)

Best regards,
d.