此内容描述了 CodeQL CLI 的最新版本。 有关此版本的详细信息,请参阅 https://github.com/github/codeql-cli-binaries/releases 。
若要查看早期版本中此命令可用选项的详细信息,请在终端中使用 --help
选项运行命令。
摘要
codeql execute upgrades [--threads=<num>] <options>... -- <dataset> <script>...
codeql execute upgrades [--threads=<num>] <options>... -- <dataset> <script>...
说明
[管道] 在现有原始 QL 数据集上运行升级脚本。
此命令针对数据集运行特定的升级脚本序列。 调用方负责使每个升级脚本的“旧”dbscheme 与前一个脚本的“新”dbscheme 匹配(如果是第一个脚本,则与数据集的当前 dbscheme 匹配)。 否则,将报告错误。
选项
主要选项
<dataset>
[必需] 要升级的原始 QL 数据集的路径。
<script>...
[必需] 要执行的升级脚本的路径。 (每个升级脚本都是一个目录,其中包含定义升级操作的多个文件。) 必须按照应用它们的顺序提供。
--search-path=<dir>[:<dir>...]
可在其中找到 QL 包的目录列表。 每个目录可以是一个 QL 包(或在根目录下包含一个 .codeqlmanifest.json
文件的多个包),也可以是一个或多个此类目录的直接父目录。
如果路径包含多个目录,则它们的顺序定义了它们之间的优先级:当必须解析的包名称在多个目录树中匹配时,给定的第一个目录树优先。
在查询其中一种语言时,将其指向开源 CodeQL 存储库的签出应该是可行的。
如果已将 CodeQL 存储库签出为未打包的 CodeQL 工具链的同级,则无需提供此选项;将始终在此类同级目录中搜索以其他方式找不到的 QL 包。 (如果此默认值不起作用,强烈建议在每用户配置文件中一次性设置 --search-path
)。
(注意:在 Windows 上,路径分隔符为 ;
)。
--additional-packs=<dir>[:<dir>...]
如果给定了此目录列表,则先在这些目录中的搜索包,然后在 --search-path
中的目录搜索包。 它们之间的顺序并不重要;如果在此列表的两个不同位置发现同一个包名称,这是一个错误。
如果你正临时开发一个同时出现在默认路径中的新版本的包,这将非常有用。 另一方面,建议不要在配置文件中替代此选项;一些内部操作将动态添加此选项,覆盖任何配置的值。
(注意:在 Windows 上,路径分隔符为 ;
)。
用于控制升级查询评估的选项
--[no-]tuple-counting
[高级] 显示查询计算器日志中每个评估步骤的元组计数。 如果提供了 --evaluator-log
选项,则元组计数将包含在命令生成的基于文本的 JSON 日志和结构化 JSON 日志中。 (这对复杂 QL 代码的性能优化非常有用)。
--timeout=<seconds>
[高级] 设置查询评估的超时长度(以秒为单位)。
超时功能旨在捕获复杂查询需要“长久时间”来评估的情况。 这不是限制查询评估可花费的总时间的有效方法。 只要计算的每个单独计时部分在超时时间内完成,就允许评估继续进行。 目前,这些单独计时部分是已优化查询的“RA 层”,但将来可能会变化。
如果未指定超时或将其指定为 0,则不会设置超时(codeql test run 除外,默认超时为 5 分钟)。
-j, --threads=<num>
使用如此多的线程来评估查询。
默认值为 1。 可以传递 0 以在计算机上对每个核心都使用一个线程,也可以传递 -N 以将 N 个核心保留为未使用状态(仍至少使用一个线程的情况除外) 。
--[no-]save-cache
[高级] 主动将中间结果写入磁盘缓存。 这需要更多时间并使用更多(多得多)的磁盘空间,但可能会加快类似查询的后续执行。
--[no-]expect-discarded-cache
[高级] 根据执行查询后将丢弃缓存的假设,决定要评估哪些谓词以及要写入磁盘缓存的内容。
--[no-]keep-full-cache
[高级] 评估完成后,不要清理磁盘缓存。 如果以后要执行 codeql dataset cleanup 或 codeql database cleanup,这样可能会节省时间。
--max-disk-cache=<MB>
设置磁盘缓存可用于中间查询结果的最大空间量。
如果未显式配置此大小,计算器将根据数据集大小和查询复杂性尝试使用“合理的”缓存空间量。 显式设置高于此默认使用量的限制将启用额外的缓存,从而加快以后的查询速度。
--min-disk-free=<MB>
[高级] 设置文件系统上的目标可用空间量。
如果未提供 --max-disk-cache
,当文件系统上的可用空间低于此值时,计算器便会努力减少磁盘缓存使用量。
--min-disk-free-pct=<pct>
[高级] 设置文件系统可用空间的目标部分。
如果未提供 --max-disk-cache
,当文件系统上的可用空间低于此百分比时,计算器便会努力减少磁盘缓存使用量。
--external=<pred>=<file.csv>
包含外部谓词 <pred> 的行的 CSV 文件。
可以提供多个 --external
选项。
--xterm-progress=<mode>
[高级] 使用 xterm 控制序列控制是否在 QL 评估期间显示进度跟踪。 可能的值包括:
no
:从不产生绚丽的进度;假设是一个非智能终端。
auto
(默认值):自动检测命令是否在相应的终端中运行。
yes
:假设终端可以理解 xterm 控制序列。 该功能仍取决于能否自动检测终端的大小,并将能够禁用(如果给定 -q
)。
25x80
(或类似):类似于 yes
,并显式指定终端的大小。
25x80:/dev/pts/17
(或类似):在不同于 stderr 的终端上显示绚丽的进度。 主要对内部测试有用。
用于控制结构化计算器日志输出的选项
--evaluator-log=<file>
[高级] 将有关计算器性能的结构化日志输出到给定文件。 此日志文件的格式可能会更改,恕不通知,但是它将是一连串用两个换行符(默认)或一个换行符(通过传递了 --evaluator-log-minify
选项)分隔的 JSON 对象。 请使用 codeql generate log-summary <file>
生成此文件的更稳定的摘要,并避免直接分析该文件。 如果文件存在,将覆盖该文件。
--evaluator-log-minify
[高级] 如果传递了 --evaluator-log
选项,则另外传递此选项将最大程度地减小生成的 JSON 日志的大小,但代价是降低其用户可读性。
用于配置 CodeQL 包管理器的选项
--registries-auth-stdin
通过传递逗号分隔的 <registry_url>=<token> 对列表,向 GitHub Enterprise Server 容器注册表进行身份验证。
例如,可以传递 https://containers.GHEHOSTNAME1/v2/=TOKEN1,https://containers.GHEHOSTNAME2/v2/=TOKEN2
向两个 GitHub Enterprise Server 实例进行身份验证。
这会替代 CODEQL_REGISTRIES_AUTH and GITHUB_TOKEN 环境变量。 如果只需向 github.com 容器注册表进行身份验证,则可以改用更简单的 --github-auth-stdin
选项进行身份验证。
--github-auth-stdin
通过标准输入传递 github.com GitHub 应用令牌或个人访问令牌,对 github.com 容器注册表进行身份验证。
若要向 GitHub Enterprise Server 容器注册表进行身份验证,请传递 --registries-auth-stdin
或使用 CODEQL_REGISTRIES_AUTH 环境变量。
这会替代 GITHUB_TOKEN 环境变量。
常用选项
-h, --help
显示此帮助文本。
-J=<opt>
[高级] 为运行命令的 JVM 提供选项。
(请注意,无法正确处理包含空格的选项。)
-v, --verbose
以增量方式增加输出的进度消息数。
-q, --quiet
以增量方式减少输出的进度消息数。
--verbosity=<level>
[高级] 将详细级别显式设置为“错误”、“警告”、“进度”、“进度+”、“进度++”、“进度+++”之一。 重写 -v
和 -q
。
--logdir=<dir>
[高级] 将详细日志写入给定目录中的一个或多个文件,其中生成的名称包括时间戳和正在运行的子命令的名称。
(若要使用可以完全控制的名称编写日志文件,请根据需要提供 --log-to-stderr
并重定向 stderr。)