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

[Frama-c-discuss] can we collect referenced variables with frama-c?



On Wed, Feb 16, 2011 at 8:58 AM, Deng, Xu <xu.deng at intel.com> wrote:
> It works well for simple program when it only has one .c file, how to use it when we have a lot of .c files and .h files in a complex project? Can frama-c merge the input/output information of all the .c files?

If you start reading http://frama-c.com/download/frama-c-value-analysis.pdf ,
I promise you'll have the answer to this question and others by the
time you're at page 23.

Pascal