--- layout: fc_discuss_archives title: Message 83 from Frama-C-discuss on November 2009 ---
[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