--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on February 2012 ---
Hello List, Can a Frama-C plugin replace the enhanced CIL parser? Imagine I have some intermediate representation of C-like or Fortran-like souece code, in e.g. some JSON or YAML file -in a format I can define and enhance, which is produced by some generator-, and I want to code in Ocaml a plugin to construct in Frama-C's memory a representation of it, probably by calling suitable constructors from cil/src/cil_types.mli, how should I proceed? Thanks. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***