Я новичок в использовании frama-c. Моя операционная система - Ubuntu. Я должен генерировать деревья абстрактного синтаксиса (AST) кода C, используя frama-clang. Я не знаю о командах для генерации AST из исходного кода C. Если кто-нибудь знает об этом, пожалуйста, помогите мне.