TrustInSoft/tis-interpreter
An interpreter for finding subtle bugs in programs written in standard C
OCaml
Stargazers
- AaylorTrustInSoft
- abbysmalDatadog
- aeppertOracle
- alibitek
- astarasikovBerlin
- bcoppensBelgium
- bikallem@lemaetech
- binarycrusader@Microsoft
- Decker-MageFresno, CA, USA
- dptGlasgow, Scotland, United Kingdom, Earth
- Dr-Syn
- dsheetsCambridge, UK
- emasteThe FreeBSD Foundation
- fablhx
- hedonagenda
- jakub-zwolakowskiTrustInSoft
- jubitanejaUniversity of Utah, Microsoft Research
- keleshevCopenhagen, Denmark
- kyprizel
- liam-m
- little-arhat@copterust
- mkpankovMoscow, Russia
- movEAX
- pierreganty@imdea-software
- regehrUniversity of Utah
- rkarabut
- rossdylanSan Francisco, CA
- roycewilliamsGCI (AK) | ALPCA | Team Hashcat
- sblackshearMysten Labs
- sebastinasAIT Austrian Institute of Technology
- sgreben@Keilerkonzept
- smondetNew York, NY
- soap-DEIM
- TafferWoodstock, Ontario, Canada
- tis-julien
- winterthediplomatA bookstore near you