enzet/symbolic-execution

Readme
Issues
Stargazers
Watchers

Add new tools

enzet opened this issue 2 years ago · 0 comments

enzet commented 2 years ago

Qsym (paper),
Symcc (paper, GitHub, site),
SymQEMU (paper),
Fuzzolic (site),
Jigsaw (paper).

Topics

dynamic-symbolic-execution symbolic-execution history timeline concolic-execution concolic program-analysis dynamic-analysis solving

Share to

Contact site admin: Geeks.