nowsecure / radius2
radius is a fast binary emulation and symbolic execution framework using radare2
☆45Updated 2 years ago
Alternatives and similar repositories for radius2:
Users that are interested in radius2 are comparing it to the libraries listed below
- Nampa - FLIRT for (binary) ninjas☆94Updated 2 months ago
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆60Updated 3 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆113Updated 2 months ago
- QuarkslaB Dynamic Linker library☆80Updated 2 months ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- A binary analysis framework written in Rust.☆167Updated last week
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆78Updated 2 years ago
- Cross-architecture instruction counting for CTF solving☆46Updated 2 years ago
- ☆59Updated 2 weeks ago
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆163Updated 2 years ago
- A PCode Emulator for Ghidra.☆108Updated 4 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆70Updated 5 months ago
- Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022☆100Updated 2 years ago
- Xyntia, the black-box deobfuscator☆65Updated this week
- Repo for various angr ipython features to give it more of a cli feeling☆56Updated last month
- NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!☆61Updated 3 years ago
- ☆74Updated 2 years ago
- Angr integration with Cutter's debugger☆34Updated 5 years ago
- Slides, recordings and materials of my public presentations, talks and workshops.☆75Updated 4 months ago
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆50Updated last week
- Ghidra Emulates Functions☆54Updated 4 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆80Updated last week
- Ariadne: Binary Ninja Graph Analysis Plugin☆84Updated this week
- ☆76Updated 3 years ago
- Interface GDB-GEF with Binary Ninja☆58Updated 3 years ago
- ☆80Updated 2 years ago
- Multi-tool reverse engineering collaboration solution.☆138Updated 10 months ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- Plugin to embed Ghidra Decompiler into Binary Ninja☆96Updated 2 years ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆26Updated 2 weeks ago