CodeQL与AST之间联系
内容提要
本文介绍抽象语法树（AST）与CodeQL查询规则的联系。AST以树状结构表示Java源码，学习它有助于理解CodeQL的查询类型和编写规则。文章展示了AST的JSON、DOT、YAML、XML等导出方法，并分析根节点下的包声明、导入和类型模块，强调AST对代码审计和安全研究的重要性。
延伸解读
AST是理解CodeQL规则的基础
文章指出，CodeQL的许多查询规则基于AST语法树构建。例如，查找实现特定接口的类时，需要利用ClassOrInterface类型。学习AST能帮助理解为何CodeQL的谓词和类型如此设计，避免在编写规则时无从下手。对于代码审计和安全研究，掌握AST是提升查询编写效率的关键。
AST导出格式的选择
文章介绍了使用JavaParser将AST导出为JSON、DOT、YAML、XML四种格式的方法。其中DOT格式可转换为图片，直观展示树结构，便于分析。其他格式适合程序化处理或文本查看。选择哪种格式取决于具体需求，如可视化或自动化分析。
AST结构对应CodeQL模块
AST根节点下的packageDeclaration、imports、types分别对应CodeQL中的包名查询、ImportType模块和Class模块。理解这种对应关系，可以快速定位查询所需的谓词和类型。例如，查询导入特定包的类时，可结合ImportType和包名条件。
Q&A
什么是抽象语法树（AST）？它与CodeQL有什么关系？
抽象语法树（AST）是源代码的树状语法结构表示，每个节点对应源代码中的一种结构。CodeQL的查询规则基于AST构建，理解AST有助于编写CodeQL查询，因为查询中使用的类型（如ClassOrInterface）直接对应AST节点。
如何将Java源码导出为AST的JSON、DOT、YAML、XML格式？
使用JavaParser库，在Maven项目中添加javaparser-core、javaparser-core-serialization和javaparser-symbol-solver-core依赖。然后分别使用JavaParserJsonSerializer、DotPrinter、YamlPrinter和XmlPrinter类，调用output方法即可生成对应格式的AST。
AST语法树的根节点下包含哪些主要模块？
根节点下包含三个主要模块：packageDeclaration（包声明）、imports（导入声明）和types（类型定义）。types模块包含类、接口、方法、字段等所有其他内容。
在CodeQL中如何查询一个实现了特定接口的类？
可以使用ClassOrInterface类型，通过getName()判断类名，并通过getASourceSupertype()检查实现的接口。例如，查询名为Comparator且实现Serializable的类，可定义谓词isMyClass，然后从Class中筛选。
学习AST对代码审计和安全研究有什么帮助？
学习AST可以将复杂抽象的代码以树状形式直观展示，帮助理解代码结构，从而更好地进行代码审计、漏洞分析和安全研究。同时，掌握AST有助于理解CodeQL规则的编写依据，提升查询效率。
在CodeQL中，接口和类是如何处理的？
在AST中，接口和类都表示为ClassOrInterface节点，但CodeQL的Class模块统一处理接口和类，没有区分接口的谓词。因此，在CodeQL中查询时，接口和类都归为Class。
