--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on May 2011 ---
> the results are cryptic Just in case you didn't see it, I should point out that there is a manual with a tutorial here: http://frama-c.com/download/frama-c-value-analysis.pdf They are both expanded continuously there, although you have to pay attention to the dates of posting: some posts describe features that are not yet distributed, others describe features that are now distributed but describe them as they were in the development version before being distributed: http://blog.frama-c.com/index.php?tag/value Pascal