Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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
[mailto:frama-c-discuss-bounces at] On Behalf Of Benjamin
Sent: Wednesday, March 30, 2011 5:08 PM
To: frama-c-discuss at
Subject: Re: [Frama-c-discuss] Help, how to use Frama-C to scan linux

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     |
| Head of Software Safety Lab.  CEA-LIST/DRT/DILS/LSL         |

Frama-c-discuss mailing list
Frama-c-discuss at
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 7196 bytes
Desc: not available
URL: <>