摘要：
模块（Modules） 模块通过将相关类型、谓词和其他模块组合在一起，提供了一种组织 QL 代码的方法。 定义模块 定义模块的方法有很多种ーー这里有一个最简单的例子，声明一个名为 Example 的显式模块，其中包含一个类 OneTwoThree: module Example { class On 阅读全文
摘要：
查询（Queries） 官方文档 https://codeql.github.com/docs/ql-language-reference/queries/ 查询是 QL 程序的输出，它们计算成组的结果。 有两种查询方式： 使用select字句进行查询。如果存在select模块，在该模块中定义。 使 阅读全文
摘要：
类型（Types） QL 是一种静态类型的语言，因此每个变量都必须有一个声明的类型。 类型是一组值。例如，int 类型是一组整数。注意，一个值可以属于这些集合中的多个，这意味着它可以有多个类型。 QL 中的类型有基本类型、类、字符类型、类域类型、代数数据类型、类型联合和数据库类型。primitive 阅读全文
摘要：
关键词 关于 QL 语言：QL 是 CodeQL 的强大查询语言，用于分析代码。 谓词：谓词用于描述构成 QL 程序的逻辑关系。 查询：查询是 QL 程序的输出。他们评估结果集。 类型：QL 是一种静态类型语言，因此每个变量都必须有一个声明的类型。 模块：模块提供了一种通过将相关类型、谓词和其他模块 阅读全文