--- layout: fc_discuss_archives title: Message 1 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



Hi,
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.Thanks.
Rokiatou DIARRA
Mobile: +33 7 62 06 99 20
E-Mail: diarr_rokiatou at yahoo.fr
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180105/18c4be5e/attachment.html>