--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on June 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ReBuild the source file



Hello,

On 06/04/2015 02:16 PM, Gaurav Tripathi wrote:
> If I modify the code and if I have to rebuild and create an executable,
> how can I do that?
>
> Is there any procedure given by Frama-C to rebuild my code and create
> executable ?
>
> What are the steps that are required to create an executable ?

Frama-C is **not** a compiler. You can't generate an executable from 
this tool. The standard way is to generate a new source code and then to 
use your favorite C compiler to compile it as follow:

$ frama-c <c files and options> -then -print -ocode generated.c
$ gcc <compilation options> generated.c

Hope this helps,
Julien
-- 
Researcher-engineer
CEA LIST, Software Security Labs
tel:(+33)1.69.08.00.18  fax:(+33)1.69.08.83.95  Julien.Signoles at cea.fr