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