--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on February 2011 ---
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