title: Parsing C to Ocaml
body: <p>I would like to get the Abstract Syntax Tree (AST) from a C code, into an OCaml value, so that I can further process the parsed code with a plain OCaml program.</p>
  
  <p>I had in mind to use GCC, get the AST (in GIMPLE) with a hook, and convert the GIMPLE code to Ocaml.</p>
  
  <p>But I wonder if there is another way, or if someone did something similar already. (I haven't found much actually on that...)</p>
  
  <p>I don't want to resort to using CIL. It is an OCaml parser for C code, but it doesn't contain all optimizations that GCC has. (I especially need a deeper alias analysis than the one implemented in CIL).</p>
  
  <p>Can LLVM be a good idea to look at? Already done maybe?</p>
  
  <p>Any better idea?</p>