ksluckow/awesome-symbolic-execution resource
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools. observed · 2026-08-28
Health v2 · maintenance only
65/100
- Activity 72
- Release rhythm 35
- Longevity 100
Flags: no_releases
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 3333
- days_rel: n/a
- days_push: 172
- n_releases_24m: 0
Adoption not part of the score
1496 stars · 151 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
A curated awesome-list of symbolic execution resources, including foundational research papers, university lecture slides, videos, and tools across languages like Rust and Java. It serves as a reference index for learning about and finding dynamic symbolic execution tooling.
Use cases
- learn symbolic execution from papers and lectures
- find symbolic execution tools for Java or Rust
- research dynamic symbolic execution techniques
- find concolic testing resources
- get started with program analysis
- find academic papers on software testing
When to choose
- you want a curated starting point for learning symbolic execution
- you need to discover tools and research papers in one place
- you are teaching or studying program analysis and software security
When to avoid
- you need an actual symbolic execution engine rather than a resource list
- you need maintained, runnable software rather than links to papers and lectures
Facets
learning-resource · maturity active
developer-tools security testing security developer-tools tutorials awesome-lists cross-platform symbolic-execution dynamic-analysis curated-list program-analysis concolic-testing
1 source
- readme: https://github.com/ksluckow/awesome-symbolic-execution · fetched 2026-08-28 · 2a28ff4ed507
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| ksluckow/awesome-symbolic-execution | main | 65 |
For agents
markdown · JSON · MCP: product_card(name="ksluckow/awesome-symbolic-execution")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem