An interpreter for finding subtle bugs in programs written in standard C - View it on GitHub