我想从C代码中获取抽象语法树(AST)到OCaml值,这样我就可以使用简单的OCaml程序进一步处理解析后的代码.
我想到使用GCC,用钩子获取AST(在GIMPLE中),并将GIMPLE代码转换为Ocaml.
但我想知道是否还有另一种方式,或者是否有人做过类似的事情.(我实际上并没有发现太多...)
我不想求助于使用CIL.它是C代码的OCaml解析器,但它不包含GCC所具有的所有优化.(我特别需要比在CIL中实现的更深入的别名分析).
LLVM可以是一个好主意吗？已经完成了吗？
有什么好主意吗？