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:
- Parsifal : an OCaml-based parsing engine☆63Updated 4 years ago
- Converts an ELF binary to a JSON representation☆35Updated 9 years ago
- Datalog engine with extensions for integrating analyses☆38Updated 7 years ago
- RAIR: RAdare In Rust☆75Updated 10 months ago
- A REPL for assembly☆102Updated 9 years ago
- rune - radare2 based symbolic emulator☆27Updated 7 years ago
- x86-64 kernel in Rust☆32Updated 8 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- An 'origin' command that continue to the origin of a piece of data in rr☆46Updated 7 years ago
- (deprecated) Rich man's profiler, a profiler for native OCaml and other executables☆124Updated last year
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 6 months ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Work with disassembled code.☆24Updated 2 months ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- OCaml LLVM bindings tutorial☆21Updated 8 years ago
- Automatic regression verification for LLVM programs☆19Updated 4 years ago
- Network Semantics☆90Updated 6 years ago
- Distributed computing library☆35Updated 7 years ago
- Tool for checking trace equivalence for security protocols☆17Updated 4 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- Find first derivatives of functions automagically☆10Updated 8 years ago
- A simple JIT library in Rust☆19Updated 10 years ago
- A disassembler framework☆18Updated 2 years ago
- Make OCaml native debugging awesome☆32Updated 5 years ago
- ☆33Updated 10 years ago
- Parser for the llvm bitcode format☆59Updated last week
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 7 years ago
- Key-value git-like storage with full history backed by RocksDB☆13Updated 4 years ago
- a grammar-based data generator☆60Updated 6 years ago