• 关于 QL 语言：QL 是 CodeQL 的强大查询语言，用于分析代码。
• 谓词：谓词用于描述构成 QL 程序的逻辑关系。
• 查询：查询是 QL 程序的输出。他们评估结果集。
• 类型：QL 是一种静态类型语言，因此每个变量都必须有一个声明的类型。
• 模块：模块提供了一种通过将相关类型、谓词和其他模块组合在一起来组织 QL 代码的方法。
• 别名：别名是现有 QL 实体的替代名称。
• 变量：QL 中的变量与代数或逻辑中的变量的使用方式类似。它们代表一组值，这些值通常受公式限制。
• 表达式：表达式计算为一组值并具有类型。
• 公式：公式定义了表达式中使用的自由变量之间的逻辑关系。
• 注释：注释是一个字符串，您可以将其直接放在 QL 实体或名称的声明之前。
• 递归：QL 为递归提供了强大的支持。如果 QL 中的谓词直接或间接依赖于自身，则称其为递归谓词。
• 词法语法：QL 语法包括不同种类的关键字、标识符和注释。
• 名称解析：QL 编译器将名称解析为程序元素。
• QL方案的评价：甲QL程序是在许多不同的步骤进行评价。
• QL 语言规范： QL 语言的正式规范。它提供了有关 QL 的术语、语法和其他技术细节的全面参考。