CodeQL进阶知识（Java）

Dear 丶 2024-04-07 13:52 82阅读 0赞

笔者在阅读了CodeQL的官方文档，熟悉相关语法后，对CodeQL中的Java进行了一番简单的研究，本文分享这一过程的一些收获。

规则的封装

通过 `class` 我们可以封装一系列的谓词方法，这方便我们组织并编写一系列的规则。

#### 递归调用 ####

class可以通过 `extends` 关键字申明其继承来自另外一个或多个class，我们通过使用父类或父类的谓词方法，codeql就会帮我们自动递归使用其子类。

class使用abstract进行修饰则表示该class的构造函数谓词将不起功能作用，该方式通常用于修饰Node节点、AST节点，因为它们的构造函数谓词起到类型的判断作用(instanceof)。

同样的，我们也可以使用abstract修饰class中封装的谓词方法，这样一来该谓词方法在被使用时本身不具备谓词判断逻辑，但CodeQL会递归使用其子类的谓词。我们可根据需要选择是否使用abstract修饰词，另外子类也可被abstract修饰， 更多的注解可参考官方 docs/ql-language-reference/annotations/。

如下例子中编写了多个class并声明继承RemoteFlowSource，父类RemoteFlowSource即可在使用时表示其所有子类。

![c0b8c4498e589e9d6151001354544fbe.png][]

![e91a2da9436e55611c4ffd188872f693.png][]

流中继step只是做方法的封装，构造函数谓词不起作用，所以不需要abstract的修饰：

![ba048d528d1f4cf74c51a28bb9a9c4f0.png][]

#### ModelCsv ####

通过 `ModelCsv` ，我们可以简化代码定义sink、source、flow step，并通过 `kind` 来使用它，简单说一下对应的三种 `ModelCsv` （可以在 `ExtenalFlow.qll` 找到它们）。

`SourceModelCsv` ：定义 `source` ，列值为 `namespace(); type; subtypes; name; signature; ext; output; kind` 。

`SinkModelCsv` ：定义 `sink` ，列值为 `namespace; type; subtypes; name; signature; ext; input; kind` 。

`SummaryModelCsv` ：定义 `FlowStep` ，列值为 `namespace; type; subtypes; name; signature; ext; input; output; kind` 。

关于列值有如下说明：

namespace：包名
    type：类名
    subtypes&#x

[c0b8c4498e589e9d6151001354544fbe.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/07/a0db4626c34e4e88a34daa4bd716e074.png
[e91a2da9436e55611c4ffd188872f693.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/07/8b6cefa1e2984d3f834d6634c6692d14.png
[ba048d528d1f4cf74c51a28bb9a9c4f0.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/07/94d22a9d68a84826aef8f737a350168b.png