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