Package: wnpp Severity: wishlist * Package name : tis-interpreter Version : n/a, git repo without tags Upstream Author : http://trust-in-soft.com/tis-interpreter/ * URL : https://github.com/TrustInSoft/tis-interpreter * License : GPL Programming Lang: C, Ocaml Description : C interpreter for detecting undefined behavior
This is a tool to find bugs in C source code. It use is described in <URL: http://blog.regehr.org/archives/1405 >, "Isolating a Free-Range Miscompilation". It look like it would be useful to find bugs in the C code in Debian. -- Happy hacking Petter Reinholdtsen