Symbolic Execution for Python
-
Updated
Oct 26, 2020 - Python
#
symbolic-execution
Here are 94 public repositories matching this topic...
Micro-SVM: A simple symbolic VM in Python and Z3
-
Updated
Mar 6, 2026 - Python
several scripts to process data from SMT solvers
-
Updated
Oct 14, 2017 - Python
Sandboxed data analysis with LLMs (powered by DuckDB)
data-science data ai symbolic-execution data-engineering gemini openai data-analysis lazy-evaluation data-privacy dag ai-agents tool-use duckdb llm anthropic
-
Updated
Apr 11, 2026 - 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
Apr 11, 2026 - 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
reverse-engineering symbolic-execution shellcode kernel-exploitation packing heap-exploitation return-oriented-programming
-
Updated
Jan 21, 2025 - Python
A HL Symbolic Execution Engine Prototype for Reachability
-
Updated
Jul 10, 2023 - Python
PySEAT is a testing automation tool. It automatically generates test cases for Python programs that use complex heap-allocated data structures.
-
Updated
Jan 28, 2021 - Python
Resource compilation, experiments, and tests on Symbolic Execution, Type Inference and Property-Guided Testing of python programs
symbolic-execution property-based-testing type-inference software-testing static-typing software-testing-tools
-
Updated
Oct 29, 2023 - Python
ECE653-s2024 (Software Testing, Quality Assurance and Maintenance): Course project on implementing depth-first search and breadth-first search on a Python-based symbolic execution engine
-
Updated
Jan 30, 2026 - Python
Python library for program synthesis and symbolic execution combining constraint solving and LLMs
-
Updated
May 24, 2025 - Python
A robust framework for formal verification of multi-agent systems powered by LLMs, ensuring safe and reliable decision-making. Integrates machine learning with formal methods to validate agent behaviors, safety constraints, and real-world simulations in critical domains like autonomous driving and robotics.
machine-learning symbolic-execution temporal-logic autonomous-vehicles formal-verification bounded-model-checking collision-avoidance multi-agent-systems ai-safety data-integrity ai-systems verification-tools safety-verification llm smt-solvers
-
Updated
Feb 20, 2026 - Python
The Project work done at IITK
-
Updated
Oct 4, 2020 - Python
This repository demonstrates the creation of symbolic links, providing examples and tools to exploit this.
-
Updated
Jan 9, 2025 - Python
Test case generation of classic N-Puzzle game using Z3
static-analysis ssa symbolic-execution z3 sat-solver static-single-assignment n-puzzle automated-test-generation z3py
-
Updated
Dec 14, 2015 - Python
Benchmarking Symbolic Execution tools for Wasm
-
Updated
Sep 5, 2024 - Python
AI based fuzzer based on imitation learning
-
Updated
Nov 9, 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."