klee - Symbolic virtual machine built on top of LLVM

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest amd64
Package filename klee-2.0_1.txz
Package name klee
Package version 2.0
Package release 1
Package architecture amd64
Package type txz
Category devel security
Homepage https://klee.github.io/
License NCSA
Maintainer arrowd@FreeBSD.org
Download size 474.05 KB
Installed size 2.04 MB
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/
- Z3: on
- STP: off


Package Version Architecture Repository
klee-2.0_1.txz 2.0 i386 FreeBSD Ports Latest
klee-2.0_1.txz 2.0 i386 FreeBSD Ports Quarterly
klee-2.0_1.txz 2.0 amd64 FreeBSD Ports Quarterly
klee - - -


Name Value
google-perftools = 2.7_1
libLLVM-8.so -
libtcmalloc.so.4 -
libz3.so.0 -
llvm80 = 8.0.1_1
py36-tabulate = 0.8.2_2
python36 = 3.6.9
z3 = 4.8.5_1


Name Value
libkleeRuntest.so.1.0 -


Type URL
Mirror pkg.freebsd.org
Binary Package klee-2.0_1.txz
Source Package security/klee

Install Howto

Install klee txz package:

# pkg install klee

See Also

Package Description
kleopatra-19.08.1_1.txz Certificate manager for KDE
klettres-19.08.1.txz Alphabet learning tool for KDE
klg-php71-1.5_1.txz PHP-based looking glass for Cisco, Juniper and Quagga/Zebra routers
klg-php72-1.5_1.txz PHP-based looking glass for Cisco, Juniper and Quagga/Zebra routers
klg-php73-1.5_1.txz PHP-based looking glass for Cisco, Juniper and Quagga/Zebra routers
klg-php74-1.5_1.txz PHP-based looking glass for Cisco, Juniper and Quagga/Zebra routers
klickety-19.08.1.txz Tetris themed solitaire
klines-19.08.1.txz Tactical game
klish-2.1.4.txz Klish - Kommand Line Interface Shell
klog- Simple Qt-based amateur radio logger
klondike-1.9_4.txz Solitaire game for X11
kludge3d-20040822_14.txz Simple 3D editor
km-libreoffice-6.3.2.txz km language pack for libreoffice
kmag-19.08.1.txz KDE Screen magnifier
kmahjongg-19.08.1.txz Mahjongg Solitaire