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:
- Converts an ELF binary to a JSON representation☆35Updated 10 years ago
- Parsifal : an OCaml-based parsing engine☆63Updated 4 years ago
- Work with disassembled code.☆24Updated 3 months ago
- RAIR: RAdare In Rust☆75Updated last year
- Datalog engine with extensions for integrating analyses☆38Updated 7 years ago
- A simple JIT library in Rust☆19Updated 10 years ago
- rune - radare2 based symbolic emulator☆27Updated 8 years ago
- OCaml LLVM bindings tutorial☆21Updated 8 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- x86-64 kernel in Rust☆32Updated 8 years ago
- An 'origin' command that continue to the origin of a piece of data in rr☆46Updated 7 years ago
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- ☆33Updated 10 years ago
- A disassembler framework☆18Updated 3 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Distributed computing library☆35Updated 7 years ago
- A REPL for assembly☆103Updated 9 years ago
- Allows to execute haskell code in Ida Pro.☆27Updated 9 years ago
- Tool for checking trace equivalence for security protocols☆17Updated 4 years ago
- run z3 on iOS for some reason☆38Updated 3 years ago
- Network Semantics☆90Updated 6 years ago
- A tool for analyzing x86-64 binaries.☆326Updated 11 months ago
- Parser for the llvm bitcode format☆59Updated this week
- A VM-based runtime environment for functional programming languages☆48Updated 8 years ago
- A simple (unfinished) SMT solver for QF_ABV.☆36Updated 6 years ago
- An higher-level LLVM binding for OCaml☆131Updated 10 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated 3 weeks ago
- OCaml-TLS exposed to C☆23Updated 7 years ago
- Make OCaml native debugging awesome☆32Updated 5 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago