nowsecure / radius2
radius is a fast binary emulation and symbolic execution framework using radare2
☆44Updated 2 years ago
Alternatives and similar repositories for radius2:
Users that are interested in radius2 are comparing it to the libraries listed below
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 years ago
- Cross-architecture instruction counting for CTF solving☆45Updated 2 years ago
- Repo for various angr ipython features to give it more of a cli feeling☆55Updated this week
- Triton-based DSE library with loading and exploration capabilities (and more!)☆109Updated last month
- ☆59Updated last month
- QuarkslaB Dynamic Linker library☆78Updated last month
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆60Updated 3 years ago
- Nampa - FLIRT for (binary) ninjas☆92Updated last month
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆163Updated 2 years ago
- Build your emulation environment as needed☆64Updated 3 years ago
- A PCode Emulator for Ghidra.☆106Updated 3 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 3 weeks ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022☆99Updated 2 years ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆89Updated last year
- Cumulative cyclomatic complexity calculation for Ghidra☆20Updated 4 years ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆75Updated 2 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆75Updated this week
- Automated recovery of Linux kernel build configurations☆24Updated 3 years ago
- A tool for finding the one gadget RCE in libc☆74Updated 4 years ago
- Xyntia, the black-box deobfuscator☆64Updated 2 years ago
- ☆83Updated last year
- A binary ninja plugin to detect crypto☆63Updated last year
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- A binary analysis framework written in Rust.☆165Updated this week
- ☆27Updated 6 years ago
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆48Updated last week
- ☆74Updated 2 years ago
- NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!☆59Updated 3 years ago
- tool for multi-execution jump coverage introspection☆63Updated 2 months ago