klee-1.4.0.191.txz


Advertisement

Description

klee - Symbolic virtual machine built on top of LLVM

Property Value
Distribution FreeBSD 10
Repository FreeBSD Ports Quarterly i386
Package name klee
Package version 1.4.0.191
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
infrastructure.
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
symbolic.
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
Options:
- TCMALLOC: on
- Z3: on
- STP: off

Alternatives

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

Requires

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

Provides

Name Value
libkleeRuntest.so.1.0 -

Download

Type URL
Binary Package klee-1.4.0.191.txz
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
Advertisement
Advertisement