m4b / rdr
Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.
☆84Updated last year
Alternatives and similar repositories for rdr:
Users that are interested in rdr are comparing it to the libraries listed below
- Converts an ELF binary to a JSON representation☆35Updated 9 years ago
- rune - radare2 based symbolic emulator☆26Updated 7 years ago
- x86-64 kernel in Rust☆31Updated 8 years ago
- A REPL for assembly☆100Updated 9 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆68Updated 8 years ago
- RAIR: RAdare In Rust☆73Updated 3 months ago
- An 'origin' command that continue to the origin of a piece of data in rr☆47Updated 6 years ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆16Updated 5 years ago
- Datalog engine with extensions for integrating analyses☆38Updated 7 years ago
- Fuzzing framework written in OCaml☆31Updated 8 years ago
- Parsifal : an OCaml-based parsing engine☆62Updated 4 years ago
- ☆13Updated 4 years ago
- Work with disassembled code.☆24Updated last month
- A tool for testing C compilers automatically☆20Updated 8 years ago
- a grammar-based data generator☆58Updated 6 years ago
- A Rust crate implementing the GDB Remote Serial Protocol☆34Updated 4 years ago
- OCaml LLVM bindings tutorial☆22Updated 7 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 6 years ago
- Parser for the llvm bitcode format☆60Updated 4 months ago
- The BAP tutorial☆72Updated 2 years ago
- StemJail: Dynamic Role Compartmentalization☆42Updated 8 years ago
- Symbolic Execution over Falcon IL☆28Updated 3 years ago
- ☆110Updated 11 years ago
- low-level Capstone system bindings for Rust☆13Updated 5 years ago
- ☆22Updated 12 years ago
- ☆33Updated 9 years ago
- Automatic regression verification for LLVM programs☆19Updated 3 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆30Updated 7 months ago