https://github.com/TrustInSoft/tis-interpreter
OCaml554
7 years ago
An interpreter for finding subtle bugs in programs written in standard C