[Ben Longbons] > Description: An interpreter for finding subtle bugs in programs > written in standard C
Yeah, would be great if this package was available for QA work in Debian. :) By mistake I registered a duplicate WNPP request (#835150) with this information, provided here for completeness: 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
