I want to access the Abstract Syntax Tree (AST) created by the Frama-C tool. Is there a plug-in or any other support to access the AST in Frama-C?
Asked
Active
Viewed 211 times
1 Answers
0
I think you can follow the development gui of Frama-C
http://frama-c.com/download/plugin-development-guide-Fluorine-20130601.pdf

user2544482
- 157
- 4