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] need frama-c help to develop plugin

Hello,

pierre.andrieux at ensi-bourges.fr a ?crit :
> We are going to focus on the AST representation before following our plugin.

As explained in Section 3.2 of the Plug-in Development Guide [PDG], the 
AST representation is part of the module Cil_types. This module contains 
a lot of comments describing the AST.

In your plug-in, just call the function Ast.get to get the AST. For 
developing a program transformation plug-in within Frama-C, the best way 
is to use the function File.init_project_from_visitor (section 4.11.2 of 
the PDG) together with your specialized copy visitor (section 4.15 of 
the PDG).

As explained by Anne and Pascal, two examples of such transformation 
plug-ins are the so-called plug-ins "semantic constant folding" and 
"occurrences".

Hope this helps,
Julien Signoles