--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on April 2012 ---
Hi, On Wed, Apr 11, 2012 at 4:20 PM, Wayne Pineault <WPineault at xprt.dsci.com> wrote: > My goal is to analyse C code without modifying the original source code.? I > want to get rid of all the #include <filename.h> directives since Frama-C > value analysis does not work properly with these files included. Not including headers is a bad idea in general. Although Frama-C may parse a code in which a function is used before having been declared, the implicit declaration mechanism present in ANSI C will sometimes lead to subtly broken abstract syntax trees. Are the <filename.h> files you wish to skip those of the standard C library? If so, did you try gcc's option "-nostdinc" (or the equivalent one for your preprocessor); using the headers of your system is almost always a bad idea. You can also try to include the standard library which is packaged by Frama-C (and installed in $SHARE/frama-c/libc), but before doing so, you should really upgrade to Nitrogen. Hope this helps, -- Boris