# ksluckow/awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

Repository: https://github.com/ksluckow/awesome-symbolic-execution
Canonical: https://ross.abutalabs.com/products/awesome-symbolic-execution
License: CC0-1.0
License Family: permissive
Topics: symbolic-execution, dynamic-analysis, dynamic-symbolic-execution, awesome-list
Last push: 2026-03-14T05:30:15+00:00

## Health v2 (maintenance only)
Score: 65/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 72, release rhythm 35, longevity 100
- inputs: {"age_days": 3333, "days_push": 172, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: no_releases
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1496, forks 151 (observed 2026-08-28T04:04:53.708631+00:00)

## What it is
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
- artifact type: learning-resource
- maturity: active
- function: developer-tools, security, testing
- domain: security, developer-tools, tutorials, awesome-lists
- platform: cross-platform
- tags: symbolic-execution, dynamic-analysis, curated-list, program-analysis, concolic-testing

## Member repositories
- ksluckow/awesome-symbolic-execution (main) score 65

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:04:53.708631+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T04:33:13.555731+00:00, confidence not recorded.
  - readme: https://github.com/ksluckow/awesome-symbolic-execution (fetched 2026-08-28T04:04:53.708631+00:00, sha 2a28ff4ed507)
- Data as of 2026-08-30T08:39:29.467469+00:00.