Bug#824608: RFP: tis-interpreter -- An interpreter for finding subtle bugs in programs written in standard C

[Petter Reinholdtsen <pere@hungry.com>]

[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