ksluckow/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
CC0-1.0
Watchers
- AlkenePan@bytedance
- bahuashengShanghai, China
- circuitbreak98
- cokesmeStates
- droc
- earthelfShenzhen China
- eeeyes
- fengjixuchui
- gkso
- hailinzengBeijing, China
- HairyFotrQuantectum
- ik2ploit
- jack51706taipei
- jevinskieLafayette, Indiana
- jmpews@alibaba
- ksluckowAmazon Web Services
- masterhung0112@stablyio
- MattPD
- metaphorshear
- nashid@UBC
- newthis
- numairmansurAmazon Web Services
- ProteasZone 3
- raghavmishraArista Networks
- rojasterBig Corpora
- terenceli
- trietptmTRIETPTM INFOSEC
- ucgJhe
- wangzhao02
- warraagalBengaluru, India
- Xazax-hunApple
- yoonchanSamsung SDS
- yordivadMLambda
- yuskeStockholm
- yxliang01Place Where Sky Is Visible
- zhrhipc