mand and run it.</li><li>Our clang plugin emits the AST (Abstract Syntax Tree) as Biniou data that we deserialize. The AST format is described in <a href="../ATDGenerated/Clang_ast_t/index.html"><code>Clang_ast_t</code></a> (and its Biniou API is in <a href="../ATDGenerated/Clang_ast_b/index.html"><code>Clang_ast_b</code></a>).</li><li>If enabled, invoke translation to <a href="../IR/Sil/index.html"><code>Sil</code></a> via <code>CFrontend</code>.</li><li>If enabled, invoke linters callbacks from <code>ASTL