rune - radare2 based symbolic emulator
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
runec
src
.gitignore
Cargo.toml
LICENSE-APACHE
LICENSE-MIT
README.md
rustfmt.toml

README.md

rune - symbolic execution for everyone

rune is a symbolic execution engine over ESIL. Integrated with radare2 for your everyday use!

rune is extensible and customizable. Almost every component in rune can have multiple implementations (each with their own tradeoffs) and still be compatible with the existing system.

At the moment, rune is not designed to be run on an entire binary, rather it is used to reason about smaller pieces of code iteratively and assist in reverse engineering tasks. If you need something that can be run on an entire binary automatically, you are better off other symbolic execution engines, such as angr.

Warning: rune is under heavy development and the API is highly unstable. However, feel free to use rune as any comments, suggestions and feedbacks are highly valued at this stage of the project!

NOTE: I am actively collecting suggestions for changes to the API. Please open issues for the same.

Asciinema

asciicast

Installing

Requires:

  • Standard rust toolchain. This should work with stable, but nightly is recommended
  • Latest build of radare2

Clone this repository. Then run cargo build

Cargo automatically fetches the required dependencies required for this project. To use runec, it is recommended to make a symlink to ./target/debug/runec

ln -s ./target/debug/runec /usr/bin/runec

Examples

TODO

Documentation

Documentation will be available (shortly) at: docs

Contributing

Contributing in terms of suggestions, bug-reports, blog posts and most importantly pull requests are greatly appreciated. Unless otherwise requested by the authors, all code will be dual-licensed under MIT and Apache Version 2.0,

To make reviews easier please ensure that the code adhers to the standard rust style of coding.

Update Notice

This project is being actively developed over at radare/rune.

Project Milestones and Roadmap

Please check the Issues

License

rune is dual-licensed under:

Use under either one of the above listed licenses is acceptable.