--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on January 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] save plugins results in c file



Hello,

Le 05/01/2018 à 16:47, Rokiatou DIARRA a écrit :
> I'am new in frama-c. So I apologize  in advance for my question.
> 
> I would like to make a plugin that will modify the source code, clone 
> some function, insert codes and I would like my plugin to generate a 
> second file that will contain the modified version of the input file.I 
> would like to know if it is possible to generate a new file c with 
> frama-c. For example, the results of the Sparecode and Semantic constant 
> folding plugins are displayed on the terminal directly and not in a 
> file. So I would like to know if Frama-c has the function to write to a 
> file instead of sending the result of the analysis to the standard output.

The combination of options -print and -ocode does the job as in the 
following command:

$ frama-c foo.c -scf -then-last -print -ocode foo-scf.c

For details, please have a look to the available kernel options through 
"frama-c -kernel-help" and to the Frama-C user manual 
(http://www.frama-c.com/download/user-manual-Sulfur-20171101.pdf): all 
these options are explained there.

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