查询反向编译

本文内容

[管道] 从 .qlo 文件读取已编译查询的中间表示形式。

GitHub CodeQL 在安装后按用户授权。根据许可证限制，只能将 CodeQL 用于某些任务。有关详细信息，请参阅“关于 CodeQL CLI”。

如果你有 GitHub Advanced Security 许可证，则可以使用 CodeQL 进行自动分析、持续集成和持续交付。有关详细信息，请参阅“关于 GitHub 高级安全性”。

此内容描述了 CodeQL CLI 的最新版本。有关此版本的详细信息，请参阅 https://github.com/github/codeql-cli-binaries/releases 。

若要查看早期版本中此命令可用选项的详细信息，请在终端中使用 --help 选项运行命令。

Shell

codeql query decompile [--output=<file>] <options>... -- <file>

codeql query decompile [--output=<file>] <options>... -- <file>

[管道] 从 .qlo 文件读取已编译查询的中间表示。

除非指定 --output 选项，否则会将代码写入标准输出。

[必需] 要从中读取的 QLO 文件。

要向其写入所需输出的文件。

要读取的中间表示的类型。选项包括：

dil：Datalog 中间表示。

ra：关系代数中间表示。在查询计算阶段使用。

bytecode：显示 .qlo 文件中的原始（未压缩）字节码。主要用于调试编译器/计算器。

如果查询是用 --include-dil-in-qlo 编译的，则默认值为 dil，否则为 ra

显示此帮助文本。

[高级] 为运行命令的 JVM 提供选项。

（请注意，无法正确处理包含空格的选项。）

以增量方式增加输出的进度消息数。

以增量方式减少输出的进度消息数。

[高级] 将详细级别显式设置为“错误”、“警告”、“进度”、“进度+”、“进度++”、“进度+++”之一。重写 -v 和 -q。

[高级] 将详细日志写入给定目录中的一个或多个文件，其中生成的名称包括时间戳和正在运行的子命令的名称。

（若要使用可以完全控制的名称编写日志文件，请根据需要提供 --log-to-stderr 并重定向 stderr。）