Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

BetaRare

ksluckow/awesome-symbolic-execution

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

Owner: ksluckow (personal account)
Stars: Stars: 1,504
Forks: Forks: 151
Language: No language
License: CC0-1.0
Created: 2017
Topics: symbolic-executiondynamic-analysisdynamic-symbolic-executionawesome-list
Tier: Beta (700 to 1,999 ★) What this tier means