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