--- layout: fc_discuss_archives title: Message 35 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?



Le 16/02/2011 09:45, Pascal Cuoq a ?crit :
> 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.

http://frama-c.com/download/frama-c-user-manual.pdf also provides the 
answer to this question among many others. For instance, its Chapter 5 
is "Preparing the Sources" and its Section 5.2 is "Merging the Source 
Code Files".

--
Julien