В этом материале описывается последний выпуск Интерфейса командной строки CodeQL. Дополнительные сведения об этом выпуске см. в разделе https://github.com/github/codeql-cli-binaries/releases.
Чтобы просмотреть сведения о параметрах, доступных для этой команды в более раннем выпуске, выполните команду с параметром в терминале --help .
Краткий обзор
codeql query decompile [--output=<file>] <options>... -- <file>Описание
[Plumbing] Чтение промежуточного представления скомпилированного запроса из QLO-файла.
Код будет записан в стандартные выходные --output данные, если не указан параметр .
Основные параметры
<file>
[Обязательный] QLO-файл для чтения.
-o, --output=<file>
Файл, в который нужно записать нужные выходные данные.
--kind=<kind>
Тип считываемого промежуточного представления. Доступны следующие возможности:
dil: промежуточное представление datalog.
ra: промежуточное представление реляционной алгебры. Используется на этапе оценки запроса.
bytecode: отображает необработанный (несжатый) байт-код из QLO-файла.
В основном полезно для отладки компилятора или вычислителя.
По умолчанию используется значение dil , если запрос был скомпилирован с --include-dil-in-qlo помощью и в ra противном случае
Общие параметры
-h, --help
Показать этот текст справки.
-J=<opt>
[Дополнительно] Предоставьте параметр виртуальной машине Java, запустив команду .
(Остерегайтесь, что параметры, содержащие пробелы, будут обрабатываться неправильно.)
-v, --verbose
Добавочное увеличение числа выводемых сообщений о ходе выполнения.
-q, --quiet
Постепенно уменьшайте количество выводемых сообщений о ходе выполнения.
--verbosity=<level>
[Дополнительно] Явно задайте уровень детализации для одной из ошибок, предупреждений, хода выполнения, хода выполнения+, хода выполнения++, хода выполнения+++. Переопределяет -v и -q.
--logdir=<dir>
[Дополнительно] Запись подробных журналов в один или несколько файлов в заданном каталоге с созданными именами, включая метки времени и имя выполняющейся подкоманды.
(Чтобы записать файл журнала с именем, над которым у вас есть полный контроль, вместо этого при необходимости предоставьте --log-to-stderr и перенаправьте stderr.)