--- layout: fc_discuss_archives title: Message 61 from Frama-C-discuss on March 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Help, how to use Frama-C to scan linux kernel?



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>