--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on January 2018 ---
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