Have you looked at LLVM? It does have OCaml bindings, although they
were only partial when last I looked. I don't know "how fledged" their
C++ parser is.

Chris

On Fri, Mar 7, 2008 at 2:40 AM, Soonho Kong <soon@ropas.snu.ac.kr> wrote:
> Hello everyone. I'm a graduate student majoring in program analysis.
>
>  I'm looking for a full-fledged C++ parser with OCAML interface. Our team
>  researched some C++ parsers and found that
>  Olmar(http://www.cs.ru.nl/~tews/olmar/) was the best candidate among
>  them. I have two questions about it.
>
>   1. Is there a better candidate than Olmar? Please recommend one if
>  anyone knows about it.
>
>   2. If anyone have used Olmar before, I'd like to listen to your
>  experience with it. I'm curious of its tolerance with various C++
>  dialects, robustness, and efficiency on the code used in real world.
>
>  Thanks in advance for your help.
>
>
>  Best Regards
>
>  Soonho Kong
>
>  _______________________________________________
>  Caml-list mailing list. Subscription management:
>  http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>  Archives: http://caml.inria.fr
>  Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>  Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>