`revng-analyze`

NAME

revng-analyze - Run an analysis.

SYNOPSIS

revng-analyze [options] ANALYSIS BINARY

DESCRIPTION

Runs the analysis ANALYSIS on BINARY.

Run revng analyze without arguments to list the available analyses. The documentation describes what an analysis is, the available analyses and their options.

OPTIONS

-o PATH: Instead of dumping the model to standard output, save it to PATH.

Other important options are documented in revng-common.

EXAMPLES

A single command to produce the decompiled code saving the result to decompiled.c:

revng artifact --analyze decompile-to-single-file /usr/bin/hostname -o decompiled.c

An equivalent command using --analyses:

revng artifact --analyses=revng-initial-auto-analysis decompile-to-single-file /usr/bin/hostname

An equivalent set of commands using revng-analyze and --resume:

revng analyze --resume project-dir/ revng-initial-auto-analysis /usr/bin/hostname
revng artifact --resume project-dir/ decompile-to-single-file /usr/bin/hostname

Decompile a program using mymodel.yml as the model:

revng artifact --model mymodel.yml decompile-to-single-file /usr/bin/hostname

1.5 KiB Raw Permalink Blame History

revng-analyze