--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on April 2012 ---
Hi Boris, I have made huge changes to the share directory .c and .h files to get some of my plugins to work correctly. I have tried the -nostdinc directive (and this was my 4'th worst fix) but I currently have 12424 headers in my /usr/include directories and didn't want to provide a copy of all of these! I think that what I will do is edit the files that I need and save them in /tmp and then run frama-c on those files from their originating directory since it seems that the local include files will still be used. I am still on Fedora 14, I tried to compile Boron on a Fedora core 16 and the libraries that it needed were not found. What Linux version does Nitrogen compile on? Thanks, Wayne ________________________________________ From: frama-c-discuss-bounces at lists.gforge.inria.fr [frama-c-discuss-bounces at lists.gforge.inria.fr] on behalf of Boris Yakobowski [boris at yakobowski.org] Sent: Wednesday, April 11, 2012 2:04 PM To: Frama-C public discussion Subject: Re: [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 _______________________________________________ Frama-c-discuss mailing list Frama-c-discuss at lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss