Bug#835150: RFP: tis-interpreter -- C interpreter for detecting undefined behavior

[Petter Reinholdtsen <pere@hungry.com>]

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