nowsecure / radius2Links
radius is a fast binary emulation and symbolic execution framework using radare2
☆46Updated 2 years ago
Alternatives and similar repositories for radius2
Users that are interested in radius2 are comparing it to the libraries listed below
Sorting:
- A fast, multithreaded, ROP-gadget semantics analyzer.☆50Updated 4 years ago
- NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!☆67Updated 3 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆121Updated last month
- Cross-architecture instruction counting for CTF solving☆47Updated 3 years ago
- Nampa - FLIRT for (binary) ninjas☆94Updated 6 months ago
- ☆62Updated 3 months ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆76Updated 2 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- A PCode Emulator for Ghidra.☆109Updated 4 years ago
- Repo for various angr ipython features to give it more of a cli feeling☆56Updated 5 months ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…☆40Updated 3 months ago
- QuarkslaB Dynamic Linker library☆83Updated 6 months ago
- Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022☆100Updated 3 years ago
- Interface GDB-GEF with Binary Ninja☆58Updated 4 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆107Updated 3 weeks ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆33Updated 4 months ago
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆61Updated 4 years ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆93Updated last year
- ☆76Updated 3 years ago
- Making Type Info Library (TIL) file for Apache modules☆56Updated 4 years ago
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆166Updated 2 years ago
- Binja (sort of) headless☆48Updated 4 months ago
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆70Updated 9 months ago
- REVerse ENGineering Environment☆60Updated last year
- ☆82Updated 2 years ago
- Various scripts for the Hexrays decompiler☆94Updated last year
- Small programs and scripts that do not require their own repositories☆139Updated 3 years ago
- ☆78Updated 2 years ago