mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Kacper Kołodziej
452670aaec
This test case relies on simple program that calls function from dynamically linked library (puts function). Function from Procedure Linkage Table is a wrapper for this call and puts prototype (recognized from debug symbols) should be propagated to `puts@plt` function. Verification relies on `revng model compare`. Fetching prototypes requires internet connection. Adding puts prototype to test case's model makes it independent of the Internet connection.
Purpose
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 and make sure you're building revng from source.
You can install as follows:
orc install revng
Remember to enter an orc shell to run revng:
orc shell
revng --help
You can run the test suite as follows:
orc install --test revng
Example run
The simplest possible example consists in the following:
# Install revng
orc install revng
# Install the ARM toolchain
orc install toolchain/arm/gcc
# Enter in the build directory
orc shell -c revng
# Build
ninja
# Create hello world program
cat > hello.c <<EOF
#include <stdio.h>
int main(int argc, char *argv[]) {
printf("Hello, world!\n");
}
EOF
# 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.arm.translated
# Hello, world!