我想访问由 Frama-C 工具创建的抽象语法树 (AST)。是否有插件或任何其他支持来访问 Frama-C 中的 AST？
问问题
189 次
1 回答
0
我认为您可以遵循 Frama-C 的开发 gui
http://frama-c.com/download/plugin-development-guide-Fluorine-20130601.pdf
于 2013-07-08T05:05:07.703 回答