Package: wnpp Severity: wishlist Owner: Michael Tautschnig <m...@debian.org>
* Package name : klee Version : 0.2.0 Upstream Author : Software Reliability Group at Imperial College London * URL : http://klee.github.io/ * License : UIUC open source license (BSD-like) Programming Lang: C++ Description : symbolic virtual machine built on top of LLVM KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure. Currently, there are two primary components: 1. The core symbolic virtual machine engine; this is responsible for executing LLVM bitcode modules with support for symbolic values. This is comprised of the code in lib/. 2. A POSIX/Linux emulation layer oriented towards supporting uClibc, with additional support for making parts of the operating system environment symbolic. Best regards, Michael
pgpVpkJB0uWb8.pgp
Description: PGP signature
