--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on January 2011 ---
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.