ksluckow/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
CC0-1.0
Stargazers
- 0x4C43
- AlexDenisov@flexaihq
- AloneMonkeyAlibaba Inc
- arnabd88University of Utah
- bingghostcm,ele...other
- brightiupShenzhen, China
- chen-zehuaXi'an Jiao Tong University
- Coolerhino
- csarnGermany
- ducphanduyagentpBehind you
- enzetInstitute for System Programming RAS
- everettjfSan Jose
- fatal0
- G5t4r
- galaris
- HairyFotrQuantectum
- KurSh
- mchalupaISTA
- MeeSongChina
- nfsnfsTrend Micro
- parsiya169.254.0.1
- pwmoore
- qsphan@facebook
- romac@informalsystems
- shelvenzhou@Phala-Network
- SnowOnionCyber Dining Hall
- stanislawPTS
- techvoltage
- vrthraThe University of Sydney
- warraagalBengaluru, India
- warsang
- Wizna@Bilibili
- xennygrimmatoGoogle
- zengjieVertex Games
- zhangysh1995Tencent
- zuncHCMC, VN