摘要:
模块(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 是一种静态类型语言,因此每个变量都必须有一个声明的类型。 模块:模块提供了一种通过将相关类型、谓词和其他模块 阅读全文