panda-re / symbllView external linksLinks
Symbolic execution for LLVM traces produced by PANDA
☆40Feb 5, 2019Updated 7 years ago
Alternatives and similar repositories for symbll
Users that are interested in symbll are comparing it to the libraries listed below
Sorting:
- ☆27Oct 19, 2018Updated 7 years ago
- SymGDB - symbolic execution plugin for gdb☆218May 15, 2018Updated 7 years ago
- ☆181Nov 25, 2018Updated 7 years ago
- Extract and generate code based on name and type for mig func/arg/request&reply member etc, ideal helper for creating monitor, tracker, f…☆19Jun 5, 2018Updated 7 years ago
- IDAPython compatibility library. idasix aims to create a smooth ida development process and allow a single codebase to function with mult…☆25Aug 2, 2018Updated 7 years ago
- Python based angr plug in for IDA Pro.☆35Feb 25, 2018Updated 7 years ago
- Security Evaluation of Dynamic Binary Instrumentation Engines☆82Sep 1, 2018Updated 7 years ago
- Seeding fuzzers with symbolic execution☆203Oct 20, 2017Updated 8 years ago
- A small tool for quickly generating LLVM passes☆29Sep 22, 2025Updated 4 months ago
- LAVA: Large-scale Automated Vulnerability Addition☆411Feb 1, 2026Updated 2 weeks ago
- REmatch, a complete binary diffing framework that is free and strives to be open source and community driven.☆155Nov 29, 2018Updated 7 years ago
- Examples demonstrating the usage of avatar²☆28Dec 9, 2023Updated 2 years ago
- ☆81Jun 12, 2017Updated 8 years ago
- TEMU: The BitBlaze Dynamic Analysis Component (with some patches).☆65Jan 25, 2015Updated 11 years ago
- Transfer analysis data between Binary Ninja and IDA☆139Oct 16, 2025Updated 3 months ago
- A fast execution trace symbolizer for Windows.☆130May 6, 2024Updated last year
- ☆125Mar 15, 2021Updated 4 years ago
- ☆49Mar 1, 2022Updated 3 years ago
- A stateful fuzzing engine.☆45Nov 14, 2018Updated 7 years ago
- Regular expression Search on the command-line☆16Mar 31, 2025Updated 10 months ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆12Aug 17, 2017Updated 8 years ago
- An architecture plugin for binary ninja to disassemble raw python bytecode☆29Nov 12, 2017Updated 8 years ago
- https://github.com/sk2sat/emu のほうで一から作り直ししてます☆24Jul 8, 2017Updated 8 years ago
- x86 Dynamic Binary Translator Library☆34Dec 19, 2020Updated 5 years ago
- Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016☆46Jan 18, 2017Updated 9 years ago
- Plugins for IDA Pro and Hex-Rays☆46Jun 4, 2018Updated 7 years ago
- A system to record malware using PANDA☆45May 20, 2019Updated 6 years ago
- ☆188Mar 21, 2025Updated 10 months ago
- ☆14Dec 27, 2020Updated 5 years ago
- LLVM syntax highlight extension for VS Code☆14Jan 11, 2024Updated 2 years ago
- Cross-Qt compatibility module for IDAPython.☆13Oct 2, 2019Updated 6 years ago
- iOS 12.0 -> 12.1.2 _kernproc and _rootvnode offsets for 16K devices☆11Feb 15, 2019Updated 7 years ago
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 6 years ago
- QEMU-based framework exposing several of QEMU-internal APIs to a LuaJIT core injected into QEMU itself. Among other things, this allows f…☆154Sep 21, 2018Updated 7 years ago
- A new XNU kernel fuzzer with some extra features.☆13Feb 8, 2017Updated 9 years ago
- ☆12May 8, 2017Updated 8 years ago
- Use Dispatch to add AFL-compatible instrumentation to your binaries☆12Dec 30, 2016Updated 9 years ago
- Brainfuck architecture module and loader for Binary Ninja☆20Jan 13, 2026Updated last month
- ROP database plugin for IDA☆32Jun 5, 2018Updated 7 years ago