此内容描述了 CodeQL CLI 的最新版本。 有关此版本的详细信息,请参阅 https://github.com/github/codeql-cli-binaries/releases 。
若要查看早期版本中此命令可用选项的详细信息,请在终端中使用 --help
选项运行命令。
摘要
codeql dataset check <options>... -- <dataset>
codeql dataset check <options>... -- <dataset>
说明
[Plumbing] 检查特定数据集的内部一致性。
此命令对 CodeQL 提取程序的开发人员最有用,因为它验证提取程序生成的数据。 如果针对数据库的查询给出不一致的结果,它也可能很有用,因为它可排除基础数据中的问题。
选项
主要选项
<dataset>
[必需] 要检查的原始 QL 数据集的路径。
--failing-exitcode=<code>
[高级] 设置在遇到任何故障时生成的退出代码。 通常为 1,但分析输出的工具可能会发现将其设置为 0 很有用。
--format=<fmt>
选择输出格式。 可能的选项:
text
(默认):用户可读的文本呈现。
json
:对象的流式 JSON 数组。
jsonz
:以零结尾的一连串 JSON 对象。
--[no-]precise-locations
[高级] 花费额外的精力来计算不一致情况的精确位置。 这将花费更多时间,但可能会更容易调试提取程序行为。
--max-resolve-depth=<n>
[高级] 应解析 ID 以解释不一致的最大深度。 (默认值:3)
--max-errors-per-checker=<n>
应明确报告的每种不一致错误的最大数量。 (默认值:5)
常用选项
-h, --help
显示此帮助文本。
-J=<opt>
[高级] 为运行命令的 JVM 提供选项。
(请注意,无法正确处理包含空格的选项。)
-v, --verbose
以增量方式增加输出的进度消息数。
-q, --quiet
以增量方式减少输出的进度消息数。
--verbosity=<level>
[高级] 将详细级别显式设置为“错误”、“警告”、“进度”、“进度+”、“进度++”、“进度+++”之一。 重写 -v
和 -q
。
--logdir=<dir>
[高级] 将详细日志写入给定目录中的一个或多个文件,其中生成的名称包括时间戳和正在运行的子命令的名称。
(若要使用可以完全控制的名称编写日志文件,请根据需要提供 --log-to-stderr
并重定向 stderr。)
--common-caches=<dir>
[高级] 控制磁盘上缓存数据的位置,此位置会在多次运行 CLI(例如下载的 QL 包和已编译查询计划)期间暂留。 如果未明确设置,则默认为用户主目录中名为 .codeql
的目录;如果尚不存在,则会创建该目录。
自 v2.15.2
起可用。