GitHub repository: teresy/tis-interpreter
Description: An interpreter for finding subtle bugs in programs written in standard C