Skip to main content
ドキュメントへの更新が頻繁に発行されており、このページの翻訳はまだ行われている場合があります。 最新の情報については、「英語のドキュメント」を参照してください。

query decompile

[Plumbing] Read an intermediate representation of a compiled query from a .qlo file.

GitHub CodeQL は、インストール時にユーザーごとにライセンスされます。 CodeQL は、ライセンスの制限の下で特定のタスクでのみ使用できます。 詳しくは、「CodeQL CLI について」を参照してください。

GitHub Enterprise アカウントと GitHub Advanced Security ライセンスがある場合は、CodeQL を使用して、自動分析、継続的インテグレーション、継続的デリバリーを行うことができます。 営業チームに連絡することで、Enterprise アカウントを作成できます。 詳しくは、「GitHub Advanced Security について」を参照してください。

This content describes the most recent release of the CodeQL CLI. For more information about this release, see https://github.com/github/codeql-cli-binaries/releases.

To see details of the options available for this command in an earlier release, run the command with the --help option in your terminal.

Synopsis

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

Description

[Plumbing] Read an intermediate representation of a compiled query from a .qlo file.

The code will be written to standard output, unless the --output option is specified.

Primary options

<file>

[Mandatory] QLO file to read from.

-o, --output=<file>

The file to write the desired output to.

--kind=<kind>

The kind of the intermediate representation to read. The options are:

dil: A Datalog intermediate representation.

ra: A relational algebra intermediate representation. This is used by the query evaluation phase.

bytecode: Show the raw (uncompressed) bytecode from the .qlo file. Mostly useful for debugging the compiler/evaluator.

The default is dil if the query was compiled with --include-dil-in-qlo and ra otherwise

Common options

-h, --help

Show this help text.

-J=<opt>

[Advanced] Give option to the JVM running the command.

(Beware that options containing spaces will not be handled correctly.)

-v, --verbose

Incrementally increase the number of progress messages printed.

-q, --quiet

Incrementally decrease the number of progress messages printed.

--verbosity=<level>

[Advanced] Explicitly set the verbosity level to one of errors, warnings, progress, progress+, progress++, progress+++. Overrides -v and -q.

--logdir=<dir>

[Advanced] Write detailed logs to one or more files in the given directory, with generated names that include timestamps and the name of the running subcommand.

(To write a log file with a name you have full control over, instead give --log-to-stderr and redirect stderr as desired.)