Skip to main content

dataset check

本文内容

[Plumbing] 检查特定数据集的内部一致性。

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

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

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

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

摘要

Shell
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。)