跳至主要内容

查询 反编译

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

谁可以使用此功能?

CodeQL 可用于以下仓库类型

本文内容

注意

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

要查看早期版本中此命令可用的选项详情,请在终端中使用 --help 选项运行该命令。

概要

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

描述

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

代码将写入标准输出,除非指定了 --output 选项。

选项

主要选项

<file>

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

-o, --output=<file>

要写入期望输出的文件。

--kind=<kind>

要读取的中间表示的类型。可选项有:

dil:一种 Datalog 中间表示。

ra:一种关系代数中间表示。此表示在查询评估阶段使用。

bytecode:显示来自 .qlo 文件的原始(未压缩)字节码。主要用于调试编译器/评估器。

默认情况下,如果查询使用 --include-dil-in-qlo 编译,则为 dil;否则为 ra

常用选项

-h, --help

显示此帮助文本。

-J=<opt>

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

(请注意,包含空格的选项将无法正确处理。)

-v, --verbose

逐步增加打印的进度信息数量。

-q, --quiet

逐步减少打印的进度信息数量。

--verbosity=<level>

[高级] 将详细程度显式设置为以下之一:errors、warnings、progress、progress+、progress++、progress+++。会覆盖 -v-q

--logdir=<dir>

[高级] 将详细日志写入指定目录中的一个或多个文件,文件名会包含时间戳和运行的子命令名称。

(若希望自行完全控制日志文件名,请改用 --log-to-stderr 并按需重定向 stderr。)

--common-caches=<dir>

[高级] 控制磁盘上缓存数据的位置,这些数据会在 CLI 的多次运行之间保持,例如已下载的 QL 包和已编译的查询计划。如果未显式设置,则默认使用用户主目录下名为 .codeql 的目录;如该目录不存在,则会自动创建。

v2.15.2 起可用。

© . This site is unofficial and not affiliated with GitHub, Inc.