Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


  • Subject: [Frama-c-discuss] save plugins results in c file
  • From: diarr_rokiatou at yahoo.fr (Rokiatou DIARRA)
  • Date: Fri, 5 Jan 2018 15:47:51 +0000 (UTC)
  • References: <61394635.1723974.1515167271564.ref@mail.yahoo.com>

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>