[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#789057: ITP: klee -- symbolic virtual machine built on top of LLVM

Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig <mt@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

Attachment: pgpBgnnTy2n7P.pgp
Description: PGP signature

Reply to: