Tis-interpreter – find subtle bugs in programs written in standard Cgithub.com/TrustInSoft71 pointsosivertsson10 years ago