From: Matt Harren <matth@cs...> - 2007-04-02 04:22:48
> -----Original Message-----
> From: cil-users-bounces@...
> [mailto:cil-users-bounces@...] On Behalf Of
> Mark Kattenbelt
> Sent: Friday, March 30, 2007 5:16 AM
> To: cil-users@...
> Subject: [CIL users] Grammar
> Hello again,
> I am thinking of starting to implement a tool which uses the
> output of CIL as its input. As I am not planning to write
> this tool in ocaml (but rather in c or c++) I do not think I
> can use the AST data within CIL directly, without some
> significant effort.
> Therefore I was thinking about writing a parser for the
> output of CIL using a parser generator. Obviously there are c
> grammars around that I could use, but I'd rather have
> something directly aimed for CIL output.
> Does anyone know of anyone who has attempted a similar setup,
> or does anyone have a grammar description (something more
> informative than the CIL API?).
I don't know of any parser specifically written for CIL's output. If you
implement it, use CIL's --printCilAsIs option to produce slightly simpler
output. You may also want to hack on cil.ml to do other things to make
the output easier to parse, such as adding extra parentheses.
Get latest updates about Open Source Projects, Conferences and News.