A symbolic execution engine for Python
☆44Dec 4, 2012Updated 13 years ago
Alternatives and similar repositories for Sypy
Users that are interested in Sypy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Jun 25, 2013Updated 13 years ago
- Path based Dynamic Analysis☆118Mar 25, 2017Updated 9 years ago
- Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton☆63Aug 5, 2017Updated 9 years ago
- ☆10May 15, 2013Updated 13 years ago
- An amd64 symbolic emulator☆313Aug 28, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A collection of scripts based on libclang for extracting API information from interpreters☆25Jul 10, 2012Updated 14 years ago
- ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.☆69Oct 3, 2013Updated 13 years ago
- ☆12Apr 9, 2014Updated 12 years ago
- REIL translation library☆36May 6, 2016Updated 10 years ago
- Vala API and R2 plugins for the Capstone disassembler framework☆24Mar 3, 2014Updated 12 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆216Aug 15, 2025Updated last year
- Built binaries for BH 2014 workshop☆18Aug 6, 2014Updated 12 years ago
- IDA script to apply information stored in mixed managed/native assemblies to the native code portion☆15Nov 8, 2020Updated 5 years ago
- An Attribute Grammar Fuzzer☆11Aug 21, 2014Updated 12 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Python Exploration with Z3☆345Dec 12, 2025Updated 10 months ago
- Fuzzer☆43Oct 18, 2014Updated 12 years ago
- Awesome Python bindings for Pintool☆24Nov 19, 2013Updated 12 years ago
- A debugger frontend☆141Nov 11, 2015Updated 10 years ago
- Misc Python tools or PoCs. Mainly focused in helping RE, fuzzing☆20Aug 31, 2012Updated 14 years ago
- ☆43Jul 17, 2014Updated 12 years ago
- The tool to decode obfuscated shellcodes using the unicorn and capstone engine☆54Jun 19, 2016Updated 10 years ago
- A debugger backend and LUA wrapper for PIN☆33Nov 6, 2013Updated 12 years ago
- ☆65Oct 24, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Sequitur (context free grammar) fuzzer, maximum code coverage/set covering, plus other tools.☆19Jan 27, 2011Updated 15 years ago
- web interface for Reverse Engineering and decompilation☆17May 24, 2022Updated 4 years ago
- Valgrind extension for whitebox fuzz testing☆31Jul 10, 2009Updated 17 years ago
- Code coverage analysis tools for the PIN Toolkit☆59Jun 8, 2013Updated 13 years ago
- Translate regular Assembly into Extended Instructions☆88Oct 9, 2012Updated 14 years ago
- ☆24Mar 3, 2020Updated 6 years ago
- IDASimulator is a plugin that extends IDA's conditional breakpoint support, making it easy to augment / replace complex executable code i…☆46Sep 2, 2014Updated 12 years ago
- yet another tool for analysing binaries☆493Feb 17, 2025Updated last year
- ☆14Dec 9, 2015Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Detours from binaries method entry/exit point to Python scripts (PIN, CPython API)☆31Mar 13, 2013Updated 13 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆155Oct 4, 2021Updated 5 years ago
- Crash repro minifier for ASan-instrumented commandline tools.☆12Dec 29, 2019Updated 6 years ago
- Python concolic execution framework for program analysis☆67Nov 13, 2014Updated 11 years ago
- ☆87Jun 5, 2015Updated 11 years ago
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 11 years ago
- Python plugin to easily setup vtables in IDA using declaration files☆55Sep 6, 2017Updated 9 years ago