标签： frama-c
我想访问Frama-C工具创建的抽象语法树（AST）。是否有插件或任何其他支持来访问Frama-C中的AST？
答案 0 :(得分：0)
我认为你可以关注Frama-C的开发指南
http://frama-c.com/download/plugin-development-guide-Fluorine-20130601.pdf