query decompile

Sinopsis

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

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

Descripción

[Asociación] Lee una representación intermedia de una consulta compilada desde un archivo .qlo.

El código se escribirá en la salida estándar, a menos que se especifique la opción --output.

Opciones principales

<file>

[Obligatorio] Archivo QLO del que se va a leer.

-o, --output=<file>

El archivo donde se va a escribir la salida deseada.

--kind=<kind>

Tipo de la representación intermedia que se va a leer. Las opciones son:

dil: representación intermedia de Datalog.

ra: representación intermedia del álgebra relacional. Se usa en la fase de evaluación de consultas.

bytecode: muestra el código de bytes sin procesar (sin comprimir) del archivo .qlo. Resulta útil sobre todo para depurar el compilador o el evaluador.

El valor predeterminado es dil si la consulta se ha compilado con --include-dil-in-qlo y ra en caso contrario.

Opciones comunes

-h, --help

Muestra este texto de ayuda.

-J=<opt>

[Avanzado] Asigna la opción a la JVM que ejecuta el comando.

(Ten en cuenta que las opciones que contienen espacios no se administrarán correctamente).

-v, --verbose

Aumenta incrementalmente el número de mensajes de progreso impresos.

-q, --quiet

Reduce incrementalmente el número de mensajes de progreso impresos.

--verbosity=<level>

[Avanzado] Establece explícitamente el nivel de detalle en errores, advertencias, progreso, progreso+, progreso++, progreso+++. Invalida -v y -q.

--logdir=<dir>

[Avanzado] Escribe registros detallados en uno o varios archivos del directorio especificado, con nombres generados que incluyen marcas de tiempo y el nombre del subcomando en ejecución.

(Para escribir un archivo de registro con un nombre sobre el que tienes control total, proporciona --log-to-stderr y redirige stderr como quieras).