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

[Frama-c-discuss] Tutorial for using Frama C



> 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