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
- ☆61Updated 2 months ago
- Cross-architecture instruction counting for CTF solving☆46Updated 3 years ago
- A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…☆37Updated last month
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆59Updated 4 years ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆60Updated last month
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆31Updated 3 months ago
- Nampa - FLIRT for (binary) ninjas☆94Updated 4 months ago
- NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!☆63Updated 3 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆117Updated this week
- Cumulative cyclomatic complexity calculation for Ghidra☆20Updated 4 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated last week
- A PCode Emulator for Ghidra.☆108Updated 4 years ago
- Repo for various angr ipython features to give it more of a cli feeling☆55Updated 3 months ago
- ☆81Updated 2 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆104Updated last week
- QuarkslaB Dynamic Linker library☆82Updated 4 months ago
- Interface GDB-GEF with Binary Ninja☆58Updated 4 years ago
- Xyntia, the black-box deobfuscator☆67Updated 2 weeks ago
- A binary analysis framework written in Rust.☆169Updated last week
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 4 months ago
- Slides, recordings and materials of my public presentations, talks and workshops.☆78Updated last month
- Angr integration with Cutter's debugger☆35Updated 5 years ago
- Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022☆100Updated 3 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- AFL bindings for Unicorn-Engine☆77Updated last week
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Linux Kernel Snapshot Fuzzer using KVM☆47Updated last year
- Binja (sort of) headless☆47Updated 2 months ago