awesome-symbolic-execution
github.com/ksluckow/awesome-symbolic-execution ↗A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me java resources from awesome-symbolic-execution"
Installation instructions →What's inside
Tools
- ActeveJava
Concolic execution tool that uses
- angrBinaries
Python framework for analyzing binaries. Includes a symbolic execution tool.
- APEXPython
Concolic execution engine for Python with coverage-guided test generation. Built in Rust.
- BAPBinaries
Binary Analysis Platform provides a framework for writing program analysis tools.
- BinCATBinaries
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection.
- BitBlazeBinaries
Binary Analysis for Computer Security.
Papers
- All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
- A Survey of Symbolic Execution Techniques
- A system to generate test data and symbolically execute programs
- Symbolic Execution and Program Testing
- Symbolic Execution for Software Testing: Three Decades Later
- XMUsuny/symbolic-execution-papers
Videos
- Symbolic and Concolic Testing (Part 1, Symbolic)
- Symbolic and Concolic Testing (Part 2, Challenges)
- Symbolic and Concolic Testing (Part 3, Concolic)
- Symbolic and Concolic Testing (Part 4, Applications)
- Symbolic Execution Lecture at MIT
- Symbolic Execution Lecture (part of Software Security course on Coursera)
Showing a sample of 62 resources. View the full list on GitHub →