angr / angr-z3View external linksLinks
The Z3 Theorem Prover - repository for staging python distributions
☆52Jun 10, 2019Updated 6 years ago
Alternatives and similar repositories for angr-z3
Users that are interested in angr-z3 are comparing it to the libraries listed below
Sorting:
- Windows builds for use with angr framework☆29Feb 12, 2016Updated 10 years ago
- Python bindings for Valgrind's VEX IR.☆374Updated this week
- An abstraction layer for constraint solvers.☆327Updated this week
- Frontend for Codex Gigas☆21Mar 6, 2017Updated 8 years ago
- A repository with binaries for angr tests and examples.☆63Updated this week
- [DEPRECATED] A symbolic execution engine for the VEX IR☆80Sep 27, 2018Updated 7 years ago
- Our backup exploitation technique: fuzzing for POVs!☆24Aug 20, 2016Updated 9 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Efficient Sampling of SAT Solutions for Testing☆35Sep 20, 2019Updated 6 years ago
- Go implementation of the Peer-to-Peer Streaming Peer Protocol (rfc7574)☆11Sep 24, 2017Updated 8 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- ☆11Jul 1, 2025Updated 7 months ago
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 6 months ago
- Tools that run inside the guest☆11Jan 2, 2020Updated 6 years ago
- OpenGL interop example using WGL_NV_DX_interop2☆10Mar 8, 2018Updated 7 years ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago
- Documentation for the angr suite☆847Apr 27, 2023Updated 2 years ago
- JNI Helper Plugin☆54Dec 5, 2024Updated last year
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Sep 11, 2024Updated last year
- Parallel SAT Solver☆10Jan 19, 2018Updated 8 years ago
- ☆10Oct 15, 2021Updated 4 years ago
- CUDA program to find the tallest possible cacti in Minecraft.☆10Jan 1, 2024Updated 2 years ago
- A python module that monkey patches pexpect mainly for binary transfers.☆18Feb 28, 2019Updated 6 years ago
- A burp extension to generate sqlmap PoC from target HTTP request.☆27Jan 8, 2017Updated 9 years ago
- Gadget displacement on top of IPR (In-Place Randomization) against Code Reuse Attack☆26May 31, 2016Updated 9 years ago
- A patched version of VEX to work with PyVEX.☆113Feb 1, 2026Updated 2 weeks ago
- Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.☆17Aug 2, 2023Updated 2 years ago
- Convert WebAssembly binaries to decompilable ELF non-executables☆12Jul 27, 2023Updated 2 years ago
- ☆14Jun 18, 2023Updated 2 years ago
- Misc Python tools or PoCs. Mainly focused in helping RE, fuzzing☆20Aug 31, 2012Updated 13 years ago
- Provides a packaged collection of open source EDA tools☆12Apr 14, 2019Updated 6 years ago
- ☆14Jan 3, 2018Updated 8 years ago
- An Open Sourced CTF hosting platform written in php☆10May 24, 2015Updated 10 years ago
- Development of a virtual quadruped robot using OpenAI & Mujoco☆17Feb 15, 2023Updated 3 years ago
- QEMU modified to run CGC binaries.☆13Apr 12, 2022Updated 3 years ago
- Convert a raw firmware image to an ELF file.☆13Feb 6, 2019Updated 7 years ago
- Launch radare2 like a boss from pwntools in tmux☆23Aug 27, 2019Updated 6 years ago