enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
KotlinCC-BY-SA-4.0
Stargazers
- 1njectedRzec AB
- abeaumont
- AdvenamTacet
- cbdmaul
- cdminigun
- charlesreissVirginia
- ChuckFoo
- cloudburstAustin, TX
- cmarczewskiGlen Burnie, MD
- combab0enki
- computerality
- defunctioNYC
- disconnect3d@trailofbits
- ehennenfent@squareup
- EpeiusLausanne Switzerland
- gvarisco@google
- jevinskieLafayette, Indiana
- joeleong
- jspraul
- KurSh
- likebreathIntel
- M1suzu
- MattPD
- narhenOslo
- nshadovPoland
- psrikhanta
- returnLondon, UK
- rkarabut
- SpirototMaryland
- tathanhdinhTetrane
- tdr130
- Tr3jer@antgroup
- trolldbois
- uppi@JetBrains
- zindlerbSan Francisco
- zvCisco