klee - Symbolic virtual machine built on top of LLVM

Property Value
Distribution FreeBSD 10
Repository FreeBSD Ports Quarterly i386
Package name klee
Package version
Package architecture i386
Package type txz
Installed size 19.83 MB
Download size 5.32 MB
Official Mirror pkg.freebsd.org
KLEE is a symbolic virtual machine built on top of the LLVM compiler
Currently, there are two primary components:
* 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/.
* A POSIX/Linux emulation layer oriented towards supporting uClibc, with
additional support for making parts of the operating system environment
Additionally, there is a simple library for replaying computed inputs on native
code (for closed programs). There is also a more complicated infrastructure for
replaying the inputs generated for the POSIX/Linux emulation layer, which
handles running native programs in an environment that matches a computed test
input, including setting up files, pipes, environment variables, and passing
command line arguments.
WWW: https://klee.github.io/
Categories: security, devel
Maintainer: arrowd@FreeBSD.org
- Z3: on
- STP: off


Package Version Architecture Repository
klee- amd64 FreeBSD Ports Quarterly
klee- amd64 FreeBSD Ports Latest
klee- i386 FreeBSD Ports Latest
klee - - -


Name Value
google-perftools = 2.7
libtcmalloc.so.4 -
libz3.so.0 -
python27 = 2.7.15
z3 = 4.7.1_1


Name Value
libkleeRuntest.so.1.0 -


Type URL
Binary Package klee-
Source Package security/klee

Install Howto

Install klee txz package:

# pkg install klee

See Also

Package Description
kleopatra-18.08.1.txz Certificate manager for KDE
klettres-18.08.1.txz Alphabet learning tool for KDE
klettres-kde4-4.14.3_3.txz Alphabet learning tool for KDE 4
klh10-2.0a_1.txz Emulator for DEC PDP-10
klickety-18.08.1.txz Tetris themed solitaire
klickety-kde4-4.14.3_5.txz Tetris themed solitaire
klines-18.08.1.txz Tactical game
klines-kde4-4.14.3_4.txz Tactical game
klish-2.1.4.txz Klish - Kommand Line Interface Shell
klog-0.9.3.txz Simple Qt-based amateur radio logger
klondike-1.9_4.txz Solitaire game for X11
kludge3d-20040822_14.txz Simple 3D editor
km-kde-l10n-4.14.3_3.txz Khmer messages and documentation for KDE SC 4
km-libreoffice-6.0.5.txz km language pack for libreoffice
kmag-18.08.1.txz KDE Screen magnifier