-
Updated
Jun 15, 2018 - Clojure
#
symbolic-execution
Here are 308 public repositories matching this topic...
Symbolic Execution for Python
-
Updated
Oct 26, 2020 - Python
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)
-
Updated
Feb 8, 2026 - Python
Symbolic execution is not straightforward when floating point arithmetic is involved. KLEE-float is a good tool to combat this problem.
-
Updated
Mar 2, 2023 - C
A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
symbolic-execution stack-overflow vulnerability-detection memory-corruption use-after-free heap-overflow double-free
-
Updated
May 7, 2023 - C
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
-
Updated
Oct 12, 2022 - C
KLEE Symbolic Execution Engine
-
Updated
Oct 20, 2024 - C++
OWI's C frontend now in https://github.com/OCamlPro/owi/pull/100
-
Updated
Jan 5, 2024 - C
Z3 backend for Fugue's concolic interpreter.
-
Updated
Jan 25, 2022 - Rust
Invariant Generation modulo opaue operations
-
Updated
Nov 26, 2022 - C
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
VS Code Debugger Extension for KLEE Symbolic Execution Engine
-
Updated
Apr 25, 2025 - C
SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.
-
Updated
Jan 13, 2025 - Java
🚀 Manage multiple dev services effortlessly with Devir, the terminal UI featuring colored logs, filtering, and MCP integration for streamlined workflows.
php advent-of-code symbolic-execution deobfuscation program-analysis poggit llvm-ir poggit-virions eazfuscator devirtualizer vmprotect praw-reddit reddit-automation developersindia
-
Updated
Mar 28, 2026 - Go
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
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."