klee Symbolic virtual machine built on top of LLVM

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

Maintainer: arrowd@FreeBSD.org

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

Last Update: 2019-09-20 20:58:36

SVN Revision: 512440

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 (16 items)

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

Collapse this list.

Dependency lines:

• klee>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 = 1553122599 SHA256 (klee-klee-v2.0_GH0.tar.gz) = e1680086a3a2b0c22ef0b48737b75a897ab1d17e116690f04a940ac07eebc86b SIZE (klee-klee-v2.0_GH0.tar.gz) = 1023318

Dependencies

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

Build dependencies:

1. llvm-config80 : devel/llvm80
2. gmake : devel/gmake
3. z3 : math/z3
4. cmake : devel/cmake
5. ninja : devel/ninja
6. pkgconf>=1.3.0_1 : devel/pkgconf

Runtime dependencies:

1. llvm-config80 : devel/llvm80
2. py36-tabulate>0 : devel/py-tabulate@py36
3. z3 : math/z3
4. python3.6 : lang/python36

Library dependencies:

1. libtcmalloc.so : devel/google-perftools

There are no ports dependent upon this port

Configuration Options

===> The following configuration options are available for klee-2.0_1: TCMALLOC=on: Use tcmalloc library for memory management ====> Solver: Use the: you have to select exactly one of them Z3=on: Z3 SMT solver STP=off: STP SMT solver ===> Use 'make config' to modify these settings

USES:

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

Master Sites:

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

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>

8 vulnerabilities affecting 170 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2019-11-15 22:48:54