klee Symbolic virtual machine built on top of LLVM

2.1_1 security =0 2.1Version of this port present on the latest quarterly branch.

Maintainer: arrowd@FreeBSD.org

Port Added: 2018-07-23 03:19:41

Last Update: 2020-07-09 16:44:39

SVN Revision: 541757

Also Listed In: devel

License: NCSA

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. WWW: https://klee.github.io/

SVNWeb : Homepage

pkg-plist: as obtained via: make generate-plist

Expand this list (20 items)

1. @ldconfig
2. /usr/local/share/licenses/klee-2.1_1/catalog.mk
3. /usr/local/share/licenses/klee-2.1_1/LICENSE
4. /usr/local/share/licenses/klee-2.1_1/NCSA
5. bin/gen-bout
6. bin/gen-random-bout
7. bin/kleaver
8. bin/klee
9. bin/klee-replay
10. bin/klee-stats
11. bin/ktest-tool
12. include/klee/klee.h
13. lib/klee/runtime/libklee-libc.bca
14. lib/klee/runtime/libkleeRuntimeFreeStanding.bca
15. lib/klee/runtime/libkleeRuntimeIntrinsic.bca
16. lib/libkleeRuntest.so
17. lib/libkleeRuntest.so.1.0
18. @owner
19. @group
20. @mode

Collapse this list.

Dependency lines:

• ${PYTHON_PKGNAMEPREFIX}>0:security/klee

To install the port: cd /usr/ports/security/klee/ && make install clean

To add the package: pkg install klee

PKGNAME: klee

Flavors: there is no flavor information for this port.

distinfo:

TIMESTAMP = 1583304181 SHA256 (klee-klee-v2.1_GH0.tar.gz) = bb3db767a159b42611e56367480a1fbfb12783c8920902d57a2b26422036a8fe SIZE (klee-klee-v2.1_GH0.tar.gz) = 1038275

Dependencies

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

1. llvm-config90 : devel/llvm90
2. gmake : devel/gmake
3. stp>0 : math/stp
4. z3 : math/z3
5. cmake : devel/cmake
6. ninja : devel/ninja
7. pkgconf>=1.3.0_1 : devel/pkgconf

Runtime dependencies:

1. llvm-config90 : devel/llvm90
2. py37-tabulate>0 : devel/py-tabulate@py37
3. z3 : math/z3
4. python3.7 : lang/python37

Library dependencies:

1. libcryptominisat5.so : math/cryptominisat
2. libtcmalloc.so : devel/google-perftools
3. libsqlite3.so : databases/sqlite3

There are no ports dependent upon this port

Configuration Options

===> The following configuration options are available for klee-2.1_1: STP=on: Enable STP SMT solver TCMALLOC=on: Use tcmalloc library for memory management Z3=on: Enable Z3 SMT solver ===> Use 'make config' to modify these settings

USES:

cmake compiler:c++14-lang localbase pkgconfig python:3.5+,run shebangfix sqlite

Master Sites:

1. https://codeload.github.com/klee/klee/tar.gz/v2.1?dummy=/

math/cryptominisat and math/py-cryptominisat: Update to 5.7.1

Bump PORTREVISIONs of consumer ports.

security/klee: Update to 2.1. Enable STP by default.

Switch default devel/llvm* to 90

PR:		239682
Reviewed by:	tobik
Differential Revision:	https://reviews.freebsd.org/D21172

Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330

security/klee: fix build with GCC-based architectures

Add USES=compiler:c++14-lang to fix build on GCC architectures:
Make Error in lib/Basic/CMakeLists.txt:
  Target "kleeBasic" requires the language dialect "CXX14" (with compiler
  extensions), but CMake does not know the compile flags to use to enable it.

PR:		237623
Approved by:	arrowd (maintainer), mat (mentor)
Differential Revision:	https://reviews.freebsd.org/D20088

security/klee: Depend on python 3 and py-tabulate. Required for ktest-tool
utility, written in Python.

Reviewed by:	mat
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D19770

security/klee: Update to 2.0 and switch to LLVM 8.

PR:		230516
Submitted by:	brooks
Approved by:	tcberner (mentor)

Change cmake default behaviour to outsource.

Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".

I tried to only set insource where explictely needed.

PR:		232038
Exp-run by:	antoine

security/klee: arrowd@FreeBSD.org takes maintainership

The original submitter gave up on the klee port.

Also update COMMENT and move -DFREEBSD_STP_STATIC_LIBRARY to the STP option
section.

PR:		219150
Requested by:	arrowd (maintainership change)

New port: security/klee: Symbolic virtual machine built on top of the LLVM

PR:		219150
Submitted by:	larca <itbot@list.ru>

19 vulnerabilities affecting 148 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2020-07-11 12:42:41