mirror of
https://github.com/ksluckow/awesome-symbolic-execution.git
synced 2026-06-22 01:16:50 +08:00
38 lines
2 KiB
Markdown
38 lines
2 KiB
Markdown
# Awesome Symbolic Execution [](https://github.com/sindresorhus/awesome)
|
|
|
|
>A curated list of awesome symbolic execution resources including books, essential research papers, tutorials and tools.
|
|
|
|
|
|
## Table of Contents
|
|
|
|
* [Books](#books)
|
|
* [Tutorials](#tutorials)
|
|
* [Videos](#videos)
|
|
* [Courses](#courses)
|
|
* [Papers](#papers)
|
|
* [Tools](#tools)
|
|
|
|
|
|
## Books
|
|
## Tutorials
|
|
## Videos
|
|
## Courses
|
|
## Papers
|
|
## Tools
|
|
|
|
### Java
|
|
|
|
* [JPF-Symbc](https://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc) - Symbolic execution tool built on [Java PathFinder](https://babelfish.arc.nasa.gov/trac/jpf/). Supports multiple constraint solvers, lazy initialization, etc.
|
|
* [JDart](https://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc) - Dynamic symbolic execution tool built on [Java PathFinder](https://babelfish.arc.nasa.gov/trac/jpf/). Supports multiple constraint solvers using [JConstraints](https://github.com/psycopaths/jconstraints).
|
|
* [CATG](https://github.com/ksen007/janala2) - Concolic execution tool that uses [ASM](http://asm.ow2.org/) for instrumentation. Uses CVC4.
|
|
* [LimeTB](http://www.tcs.hut.fi/Software/lime/) - Concolic execution tool that uses [Soot](https://sable.github.io/soot/) for instrumentation. Supports [Yices](http://yices.csl.sri.com/) and [Boolector](http://fmv.jku.at/boolector/). Concolic execution can be distributed.
|
|
* [Acteve](https://code.google.com/archive/p/acteve/) - Concolic execution tool that uses [Soot](https://sable.github.io/soot/) for instrumentation. Originally for Android analysis. Supports [Z3](https://github.com/Z3Prover/z3).
|
|
* [jCUTE](http://osl.cs.illinois.edu/software/jcute/) - Concolic execution tool that uses [Soot](https://sable.github.io/soot/) for instrumentation. Supports [lp_solve](http://lpsolve.sourceforge.net/).
|
|
* [JFuzz](http://people.csail.mit.edu/akiezun/jfuzz/) - Concolic execution tool built on [Java PathFinder](https://babelfish.arc.nasa.gov/trac/jpf/).
|
|
|
|
|
|
### C
|
|
|
|
|
|
|
|
|