m4b / rdrLinks
Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.
☆84Updated 2 years ago
Alternatives and similar repositories for rdr
Users that are interested in rdr are comparing it to the libraries listed below
Sorting:
- Datalog engine with extensions for integrating analyses☆38Updated 7 years ago
- Converts an ELF binary to a JSON representation☆35Updated 10 years ago
- Parsifal : an OCaml-based parsing engine☆63Updated 4 years ago
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- Work with disassembled code.☆24Updated 3 months ago
- rune - radare2 based symbolic emulator☆27Updated 8 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- A simple (unfinished) SMT solver for QF_ABV.☆36Updated 6 years ago
- Allows to execute haskell code in Ida Pro.☆27Updated 9 years ago
- OCaml LLVM bindings tutorial☆21Updated 8 years ago
- ☆33Updated 10 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- A library for disassembling x86-64 binaries.☆42Updated 4 months ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 7 years ago
- RAIR: RAdare In Rust☆75Updated 11 months ago
- Parser for the llvm bitcode format☆59Updated 3 weeks ago
- A REPL for assembly☆102Updated 9 years ago
- Distributed computing library☆35Updated 7 years ago
- An 'origin' command that continue to the origin of a piece of data in rr☆46Updated 7 years ago
- Tool for checking trace equivalence for security protocols☆17Updated 4 years ago
- Automatic regression verification for LLVM programs☆19Updated 4 years ago
- x86-64 kernel in Rust☆32Updated 8 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- The BAP tutorial☆72Updated 2 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 7 months ago
- A library for binary analysis and rewriting☆47Updated last year
- A disassembler framework☆18Updated 2 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- OCaml bytecode to C compiler☆103Updated 4 years ago