Individual skill
symbolic-execution-assistant
Performs symbolic execution to detect potential errors by exploring execution paths, solving path constraints, and generating test inputs. Use when you need to analyze code for bugs like null dereferences, division by zero, buffer overflows, or assertion violations. Also use to generate test inputs that exercise different code paths, find edge cases, or explore all reachable program states. Supports Python, Java, and C/C++ through manual symbolic execution techniques and integration with tools like KLEE, angr, Z3, and Symbolic PathFinder.
skills/symbolic-execution-assistant/SKILL.md
Source commit 4f38503747e0617504bce5329283ef837d375c09
What was checked
- Matches the observed repository HEAD
- Yes
- Scanner rules are current
- Yes
- Repository scan complete
- No
- Skill scan complete
- No
- Observed behavior
- Network or broad shell
- Last checked
- Nov 11, 2026
These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.
Install this skill
Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.
An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.
Repository context
- Repository stars (not skill ratings)
- 260
- Repository last updated
- Aug 21, 2026
- License
- Apache-2.0
Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.
- claude-skills Repository topic
- metaprogramming Repository topic
- software-development Repository topic
- software-engineering Repository topic
- claude Repository topic
- claude-code Repository topic
- testing Derived category
Files and excerpt
File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.
Browse files
SKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesSKILL.mdcore · 13,911 bytesreferences/constraint_solving.mddoc · 10,795 bytesreferences/path_exploration.mddoc · 9,906 bytesreferences/tool_integration.mddoc · 10,208 bytes
Read excerpt
# Symbolic Execution Assistant
Perform symbolic execution analysis to detect errors and generate test inputs by exploring program paths with symbolic variables.
## What is Symbolic Execution?
Symbolic execution executes code with **symbolic values** (representing any possible value) instead of concrete values. This allows exploring multiple execution paths simultaneously and detecting errors that might only occur with specific inputs.
**Key Concepts:**
- **Symbolic variables**: Variables with unknown values (e.g., α, β instead of 5, 10)
- **Path constraints**: Conditions accumulated along each execution path
- **Path explosion**: Number of paths grows exponentially with branches
- **Constraint solver**: Tool (like Z3) that finds concrete values satisfying constraints
