BSD Ports

security/klee 3.3 FreeBSD

Symbolic virtual machine built on top of LLVM

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
Last update
Commit
3a95b98cf6
License
NCSA
Categories
security, devel
Package size
667.1 KiB, 3311.9 KiB installed

Description

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.

Install

Binary package:

pkg install klee

From the ports tree:

cd /usr/ports/security/klee/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	klee>0:security/klee
LIB_DEPENDS=	libkleeRuntest.so:security/klee

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest3.2_33.2_3---
FreeBSD:14:quarterly3.2_33.2_3n/a--
FreeBSD:15:latest3.2_33.2_4n/a--
FreeBSD:15:quarterly3.2_33.2_3n/an/an/a
FreeBSD:16:latest3.2_33.2_4n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Runtime 1

The full lists below include those, and their dependencies in turn.

Build dependencies 34
Run dependencies 27

No port depends on this one.

Configuration

Options name: security_klee

OptionDefaultDescription
STPonEnable STP SMT solver
TCMALLOConUse tcmalloc library for memory management
Z3onEnable Z3 SMT solver
USES
cmake compiler:c++14-lang llvm:min=15,max=18,build,run,noexport localbase pkgconfig python:run shebangfix sqlite
Service scripts
none

Files

pkg-plist 72
  • bin/kleaver
  • bin/klee
  • bin/klee-exec-tree
  • bin/klee-replay
  • bin/klee-stats
  • bin/klee-zesti
  • bin/ktest-gen
  • bin/ktest-randgen
  • bin/ktest-tool
  • include/klee/klee.h
  • lib/klee/runtime/libkleeRuntimeFortify32_Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeFortify32_Debug.bca
  • lib/klee/runtime/libkleeRuntimeFortify32_Release+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeFortify32_Release+Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeFortify32_Release+Debug.bca
  • lib/klee/runtime/libkleeRuntimeFortify32_Release.bca
  • lib/klee/runtime/libkleeRuntimeFortify64_Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeFortify64_Debug.bca
  • lib/klee/runtime/libkleeRuntimeFortify64_Release+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeFortify64_Release+Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeFortify64_Release+Debug.bca
  • lib/klee/runtime/libkleeRuntimeFortify64_Release.bca
  • lib/klee/runtime/libkleeRuntimeFreestanding32_Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeFreestanding32_Debug.bca
  • lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Debug.bca
  • lib/klee/runtime/libkleeRuntimeFreestanding32_Release.bca
  • lib/klee/runtime/libkleeRuntimeFreestanding64_Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeFreestanding64_Debug.bca
  • lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug.bca
  • lib/klee/runtime/libkleeRuntimeFreestanding64_Release.bca
  • lib/klee/runtime/libkleeRuntimeIntrinsic32_Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeIntrinsic32_Debug.bca
  • lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Debug.bca
  • lib/klee/runtime/libkleeRuntimeIntrinsic32_Release.bca
  • lib/klee/runtime/libkleeRuntimeIntrinsic64_Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeIntrinsic64_Debug.bca
  • lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug.bca
  • lib/klee/runtime/libkleeRuntimeIntrinsic64_Release.bca
  • lib/klee/runtime/libkleeRuntimeKLEELibc32_Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeKLEELibc32_Debug.bca
  • lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Debug.bca
  • lib/klee/runtime/libkleeRuntimeKLEELibc32_Release.bca
  • lib/klee/runtime/libkleeRuntimeKLEELibc64_Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeKLEELibc64_Debug.bca
  • lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug+Asserts.bca
  • lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug.bca
  • lib/klee/runtime/libkleeRuntimeKLEELibc64_Release.bca
  • lib/klee/runtime/libkleeUBSan32_Debug+Asserts.bca
  • lib/klee/runtime/libkleeUBSan32_Debug.bca
  • lib/klee/runtime/libkleeUBSan32_Release+Asserts.bca
  • lib/klee/runtime/libkleeUBSan32_Release+Debug+Asserts.bca
  • lib/klee/runtime/libkleeUBSan32_Release+Debug.bca
  • lib/klee/runtime/libkleeUBSan32_Release.bca
  • lib/klee/runtime/libkleeUBSan64_Debug+Asserts.bca
  • lib/klee/runtime/libkleeUBSan64_Debug.bca
  • lib/klee/runtime/libkleeUBSan64_Release+Asserts.bca
  • lib/klee/runtime/libkleeUBSan64_Release+Debug+Asserts.bca
  • lib/klee/runtime/libkleeUBSan64_Release+Debug.bca
  • lib/klee/runtime/libkleeUBSan64_Release.bca
  • lib/libkleeRuntest.so
  • lib/libkleeRuntest.so.1.0
distinfo 1
FileSizeSHA256
klee-klee-v3.3_GH0.tar.gz1.06592e+06baa73ad3d4bc345d28434c9aa54c639bfb504cd71c26852d1da1dd7cb22bfb48

Commit history 4

DateCommitCreditsLog message
3a95b98cf6 Gleb Popov security/klee: Update to 3.3
896185a6d8 Älven math/z3: Update 5.1.0.0 => 5.3.1.0
Approved by: arrowd@ (maintainer) Differential Revision: https://reviews.freebsd.org/D60825
c3ee0d25f0 Älven math/z3: Update 5.0.0.0 => 5.1.0.0
Approved by: arrowd@ (maintainer) Approved by: db@, yuri@ (Mentors, implicit) Differential Revision: https://reviews.freebsd.org/D58886
dfa5362257 Yuri Victorovich math/z3: update 4.16.0.0 → 5.0.0.0
PR: 297106 Approved by: Gleb Popov <[email protected]> (maintainer)