Skip to content
Switch branches/tags

Latest commit

Alvise de Faveri and Alessandro Di Federico Add Model::toString() and writeToFile()
These functions can be used in conjunction to dump the Model on a
file during a gdb session, for example:

(gdb)  p  writeToFile(Model->toString(), "/tmp/model.yaml")

Git stats


Failed to load latest commit information.


revng is a static binary translator. Given a input ELF binary for one of the supported architectures (currently i386, x86-64, MIPS, ARM, AArch64 and s390x) it will analyze it and emit an equivalent LLVM IR. To do so, revng employs the QEMU intermediate representation (a series of TCG instructions) and then translates them to LLVM IR.

How to build

revng employs CMake as a build system. In order to build revng, use orchestra:

To run the test suite simply, from the build directory, run:

# Enter in the build directory
orc shell -c revng

# Run the tests
ctest -j$(nproc)

Example run

The simplest possible example consists in the following:

# Install the ARM toolchain
orc install toolchain/arm/gcc

# Enter in the build directory
orc shell -c revng

# Build programs (skip building test material)
ninja revng-all-binaries

# Create hello world program
cat > hello.c <<EOF
#include <stdio.h>

int main(int argc, char *argv[]) {
  printf("Hello, world!\n");

# Compile
armv7a-hardfloat-linux-uclibceabi-gcc \
  -Wl,-Ttext-segment=0x20000 \
  -static hello.c \
  -o hello.arm

# Translate
./bin/revng translate hello.arm

# Run translated version
# Hello, world!