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

[Ben Longbons <brlongbons@gmail.com>]

Package: wnpp
Severity: wishlist

* Package name    : tis-interpreter
  Version         : Magnesium-20151002+dev
  Upstream Author : Pascal Cuoq <cuoq@trust-in-soft.com>
* URL             : https://github.com/TrustInSoft/tis-interpreter
* License         : GPL, LGPL, and modified QPL
  Programming Lang: OCaml
  Description     : An interpreter for finding subtle bugs in programs written in standard C

Based on the frama-c package, but actually *runs* the code.