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 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>