--- layout: fc_discuss_archives title: Message 61 from Frama-C-discuss on March 2011 ---
That is exactly what I expect! After upgrading the ccache from 2.4 to 3.1, this method generates the preprocessed files well. Now I can try frama-c to scan various projects easily. Thank you. -- Best regards, - Passion iNet: 8751-1986 -----Original Message----- From: frama-c-discuss-bounces at lists.gforge.inria.fr [mailto:frama-c-discuss-bounces at lists.gforge.inria.fr] On Behalf Of Benjamin Monate Sent: Wednesday, March 30, 2011 5:08 PM To: frama-c-discuss at lists.gforge.inria.fr Subject: Re: [Frama-c-discuss] Help, how to use Frama-C to scan linux kernel? Hi, Le 30/03/2011 10:53, Zhao, Passion a ?crit : > But to scan more complicate project, it is still difficult to pass > long file list and various compiler parameters to -cpp-command. > Can we base on the default building to generate the pre-processed > files for frama-c? > And is there any method to feed these pre-processed files to frama-c > to analysis? > I believe if there is such generic method, we can use frama-c to scan > any complicate project easily. > Any suggestions? Thanks. As you seem to be using the gcc compiler with standard autotools for your project, you may try to recompile your project with the "-save-temps' option of gcc. ./configure CC="gcc -save-temps" && make will generate a bunch a .i files for each .c file. These files can be passed directly on frama-c's command line without passing any cpp-command. Hope this helps, -- | Benjamin Monate | mailto:benjamin.monate at cea.fr | | Head of Software Safety Lab. CEA-LIST/DRT/DILS/LSL | _______________________________________________ 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 -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 7196 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110331/2332d80b/attachment.bin>