After reading the documentation on clang I still have the following
How do I read the bitcode generated by clang from a C++ file? I need to
have all the AST information in memory.
Formal Verification Group
IBM Haifa Research Laboratory