Package: wnpp Severity: wishlist * Package name : tis-interpreter Version : Magnesium-20151002+dev Upstream Author : Pascal Cuoq <c...@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.
