| Port details |
- klee Symbolic virtual machine built on top of LLVM
- 3.1 security
 =2      3.1Version of this port present on the latest quarterly branch. - Maintainer: arrowd@FreeBSD.org
- Port Added: 2018-07-23 03:19:41
- Last Update: 2024-03-01 19:26:53
- Commit Hash: 954bfd4
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- Also Listed In: devel
- License: NCSA
- WWW:
- https://klee.github.io/
- 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.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/security/klee/ && make install clean
- To add the package, run one of these commands:
- pkg install security/klee
- pkg install klee
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: klee
- Flavors: there is no flavor information for this port.
- NOT_FOR_ARCHS: i386 powerpc
- distinfo:
- TIMESTAMP = 1709317649
SHA256 (klee-klee-v3.1_GH0.tar.gz) = ae3d97209fa480ce6498ffaa7eaa7ecbbe22748c739cb7b2389391d0d9c940f7
SIZE (klee-klee-v3.1_GH0.tar.gz) = 1058438
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake : devel/gmake
- z3 : math/z3
- cmake : devel/cmake-core
- ninja : devel/ninja
- llvm-config15 : devel/llvm15
- pkgconf>=1.3.0_1 : devel/pkgconf
- Runtime dependencies:
-
- py39-tabulate>0 : devel/py-tabulate@py39
- z3 : math/z3
- llvm-config15 : devel/llvm15
- python3.9 : lang/python39
- Library dependencies:
-
- libstp.so : math/stp
- libcryptominisat5.so : math/cryptominisat
- libtcmalloc.so : devel/google-perftools
- libsqlite3.so : databases/sqlite3
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for klee-3.1:
TCMALLOC=on: Use tcmalloc library for memory management
====> Options available for the multi BACKEND: you have to choose at least one of them
Z3=on: Enable Z3 SMT solver
STP=on: Enable STP SMT solver
===> Use 'make config' to modify these settings
- Options name:
- security_klee
- USES:
- cmake compiler:c++14-lang llvm:min=12,max=16,build,run,noexport localbase pkgconfig python:run shebangfix sqlite
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
3.1
01 Mar 2024 19:26:53
 |
Gleb Popov (arrowd) |
security/klee: Update to 3.1 |
3.0
19 Dec 2023 16:18:49
|
Gleb Popov (arrowd) |
security/klee: Fix build on aarch64
Reported by: pkg-fallout |
3.0
11 Oct 2023 18:26:38
|
Piotr Kubaj (pkubaj) |
security/klee: disable on powerpc |
3.0
13 Sep 2023 07:51:10
|
Gleb Popov (arrowd) |
security/klee: Add USES=llvm:noexport |
3.0
27 Jun 2023 19:34:34
|
Rene Ladan (rene) |
all: remove explicit versions in USES=python for "3.x+"
The logic in USES=python will automatically convert this to 3.8+ by
itself.
Adjust two ports that only had Python 3.7 mentioned but build fine
on Python 3.8 too.
finance/quickfix: mark BROKEN with PYTHON
libtool: compile: c++ -DHAVE_CONFIG_H -I. -I../.. -I -I. -I.. -I../.. -I../C++
-DLIBICONV_PLUG -DPYTHON_MAJOR_VERSION=3 -Wno-unused-variable
-Wno-maybe-uninitialized -O2 -pipe -DLIBICONV_PLUG -fstack-protector-strong
-fno-strict-aliasing -DLIBICONV_PLUG -Wall -ansi
-Wno-unused-command-line-argument -Wpointer-arith -Wwrite-strings
-Wno-overloaded-virtual -Wno-deprecated-declarations -Wno-deprecated -std=c++0x
-MT _quickfix_la-QuickfixPython.lo -MD -MP -MF
.deps/_quickfix_la-QuickfixPython.Tpo -c QuickfixPython.cpp -fPIC -DPIC -o
.libs/_quickfix_la-QuickfixPython.o
warning: unknown warning option '-Wno-maybe-uninitialized'; did you mean
'-Wno-uninitialized'? [-Wunknown-warning-option]
QuickfixPython.cpp:175:11: fatal error: 'Python.h' file not found
^~~~~~~~~~
1 warning and 1 error generated.
Reviewed by: portmgr, vishwin, yuri
Differential Revision: <https://reviews.freebsd.org/D40568> |
3.0
20 Jun 2023 18:54:49
|
Gleb Popov (arrowd) |
security/klee: Update to 3.0
Reported by: portscout! |
2.3_2
15 Feb 2023 17:27:42
|
Gleb Popov (arrowd) |
security/klee: Unbreak after math/z3 update.
Reported by: pkg-fallout |
2.3_2
24 Dec 2022 05:55:08
|
Gleb Popov (arrowd) |
security/klee: Unbreak the build after USES=llvm change.
Reported by: pkg-fallout
Fixes: 08807ad9500c84b2577b39dadf7a103eae27d73c |
2.3_2
18 Dec 2022 08:47:29
|
Gleb Popov (arrowd) |
security/klee: Switch to USES=llvm. |
2.3_2
17 Dec 2022 17:18:31
|
Gleb Popov (arrowd) |
security/klee: Switch to LLVM 13.
PR: 263456 |
07 Sep 2022 21:58:51
|
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
2.3_1
07 Sep 2022 21:10:59
|
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above  ) |
2.3_1
12 Aug 2022 14:46:53
|
Dima Panov (fluffy) |
*/*: bump all consumers after recent boost upgrade |
2.3
30 Apr 2022 21:26:31
|
Piotr Kubaj (pkubaj) |
security/klee: fix packaging on powerpc64le
powerpc64le doesn't have multilib libraries, since there's no 32-bit
little-endian POWER. |
2.3
05 Apr 2022 11:57:03
|
Gleb Popov (arrowd) |
security/klee: Update to 2.3
Changelog: https://github.com/klee/klee/releases/tag/v2.3 |
2.2
07 Apr 2021 08:09:01
|
Mathieu Arnold (mat) |
One more small cleanup, forgotten yesterday.
Reported by: lwhsu |
2.2
06 Apr 2021 14:31:07
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
2.2
14 Dec 2020 07:24:42
 |
arrowd |
security/klee: Do not build on i386, it is unsupported upstream.
While here, add BACKEND multigroup and move STP and Z3 options there. |
2.2
09 Dec 2020 14:47:43
|
arrowd |
security/klee: Update to 2.2 |
2.1_1
09 Jul 2020 15:44:39
|
arrowd |
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1
Bump PORTREVISIONs of consumer ports. |
2.1
08 Mar 2020 14:25:29
|
arrowd |
security/klee: Update to 2.1. Enable STP by default. |
2.0_1
20 Sep 2019 19:58:36
|
jbeich |
Switch default devel/llvm* to 90
PR: 239682
Reviewed by: tobik
Differential Revision: https://reviews.freebsd.org/D21172 |
2.0_1
26 Jul 2019 20:46:57
|
gerald |
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 |
2.0
30 Apr 2019 14:29:20
|
pkubaj |
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 |
2.0
05 Apr 2019 05:27:19
|
arrowd |
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 |
2.0
26 Mar 2019 04:38:52
|
arrowd |
security/klee: Update to 2.0 and switch to LLVM 8.
PR: 230516
Submitted by: brooks
Approved by: tcberner (mentor) |
1.4.0.191
25 Dec 2018 20:25:40
|
tcberner |
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 |
1.4.0.191
23 Jul 2018 05:28:54
|
yuri |
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) |
1.4.0.191
23 Jul 2018 03:19:26
|
yuri |
New port: security/klee: Symbolic virtual machine built on top of the LLVM
PR: 219150
Submitted by: larca <itbot@list.ru> |
As an Amazon Associate I earn from qualifying purchases.