--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on April 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] patchFile



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