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 に答える