如何使用frama-clang生成抽象语法树

Question

我是使用frama-c的初学者。我的操作系统是Ubuntu。我必须使用frama-clang生成C代码的抽象语法树（AST）。我不知道从C源代码生成AST的命令。如果有人知道，请帮助我。