https://github.com/googleprojectzero/reil
https://github.com/googleprojectzero/reil
Last synced: 8 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/googleprojectzero/reil
- Owner: googleprojectzero
- License: apache-2.0
- Created: 2018-06-29T13:44:26.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2019-10-26T14:56:57.000Z (over 6 years ago)
- Last Synced: 2025-05-03T18:36:17.654Z (10 months ago)
- Language: C++
- Size: 277 KB
- Stars: 59
- Watchers: 9
- Forks: 9
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
Awesome Lists containing this project
README
# REIL
A c++ translation/emulation library for the aarch64 instruction set to REIL.
This is not an officially supported Google product.
## Building
Cmake has been used in an attempt to make downloading and building dependencies painless, but this has had the unfortunate side-effect of making the whole process more complicated than it really needs to be. Sorry.
If you have the necessary dependencies, it should be straightforward to just build the source yourself if you don't like cmake. Apart from Unicorn, the other dependencies are all header-only libraries, and Unicorn is only required to build the tests.
For a normal (cmake) build
``` shell
git clone https://github.com/google/reil
mkdir reil-build
cd reil-build
cmake -G Ninja ../reil
ninja
```
## Running the tests
1. This translation library has a reasonable selection of unit tests to verify the translation against unicorn/qemu. To run the tests for the aarch64 translator, you can use the following commands:
``` shell
./reil-prefix/src/reil-build/aarch64_test
```
## Usage
See the code in reil/test for examples of how to use the translator, and the implementation in reil/interpreter.cpp for the intended semantics of the translated IL instructions.