Python infrastructure to train paths selectors for symbolic execution engines.
-
Updated
Nov 11, 2025 - Python
#
symbolic-execution
Here are 82 public repositories matching this topic...
AI based fuzzer based on imitation learning
-
Updated
Nov 9, 2025 - Python
An analysis tool for Python that blurs the line between testing and type systems.
python testing static-analysis symbolic-execution fuzzing dynamic-analysis z3 contracts hacktoberfest testing-framework concolic-execution type-systems
-
Updated
Nov 8, 2025 - Python
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
security ethereum smart-contracts blockchain symbolic-execution solidity program-analysis security-analysis
-
Updated
Nov 3, 2025 - Python
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
llvm verification symbolic-execution instrumentation slice program-verification software-verification klee slicing llvm-ir verification-toolchain program-slicing
-
Updated
Nov 7, 2025 - Python
A visual, no-code interface for Z3 that lets you explore propositional and first-order logic, SAT solving, and map coloring with Folium. Designed for education, research, and logic enthusiasts.
logic symbolic-execution smtp-server z3 logic-programming smt smt-solver z3-smt-solver symbolic-ai smit-lib
-
Updated
Oct 29, 2025 - Python
symbolic execution plugin for binary ninja
-
Updated
Oct 15, 2025 - Python
Symbolic execution tool
python testing security emulation ethereum blockchain symbolic-execution z3 binary-analysis program-analysis smt
-
Updated
Oct 14, 2025 - Python
PASTIS: Collaborative Fuzzing Framework
-
Updated
Oct 12, 2025 - Python
A symbolic execution engine for EVM smart contract binaries.
-
Updated
Sep 4, 2025 - Python
Module for discovering vulnerabilities in executables 🧨
-
Updated
Aug 30, 2025 - Python
A unit test-like interface for fuzzing and symbolic execution
-
Updated
Aug 22, 2025 - Python
Scripts and binaries used for the angr presentation at quebecsec. Presentation available at: https://www.youtube.com/watch?v=1hwEessoskc
-
Updated
Jul 25, 2025 - Python
This repository contains the full implementation of FuSS (Firmware-based Symbolic-guided SoC Fuzzing)
-
Updated
Jul 10, 2025 - Python
A Python tool using Angr for symbolic execution to deobfuscate YAN85 binaries, auto-identifying registers, opcodes, and syscalls. Includes an autoassembler to generate shellcode from readable code.
-
Updated
Jun 20, 2025 - Python
Synoptic: Concolic execution for network protocol inference
python symbolic-execution finite-state-machine pintool network-analysis network-protocols concolic-execution dynamic-control-flow-graph
-
Updated
Jun 13, 2025 - Python
DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.
machine-learning symbolic-execution dynamic-analysis program-verification loop-invariants invariant-generation specification-mining neural-network-verification
-
Updated
May 24, 2025 - Python
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
-
Updated
May 23, 2025 - Python
🎯 Tool for checking CrossHair against a particular dataset. Assignment for the Validation & Verification module.
python validation static-analysis symbolic-execution software-verification formal-verification crosshair
-
Updated
May 6, 2025 - Python
Improve this page
Add a description, image, and links to the symbolic-execution topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the symbolic-execution topic, visit your repo's landing page and select "manage topics."