notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Port details
klee Symbolic virtual machine built on top of LLVM
2.2 security on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.2Version of this port present on the latest quarterly branch.
Maintainer: arrowd@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-07-23 03:19:41
Last Update: 2021-04-07 08:09:01
Commit Hash: cf118cc
Also Listed In: devel
License: NCSA
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (66 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/klee-2.2/catalog.mk
  3. /usr/local/share/licenses/klee-2.2/LICENSE
  4. /usr/local/share/licenses/klee-2.2/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/klee-zesti
  12. bin/ktest-tool
  13. include/klee/klee.h
  14. lib/klee/runtime/libkleeRuntimeFortify32_Debug+Asserts.bca
  15. lib/klee/runtime/libkleeRuntimeFortify32_Debug.bca
  16. lib/klee/runtime/libkleeRuntimeFortify32_Release+Asserts.bca
  17. lib/klee/runtime/libkleeRuntimeFortify32_Release+Debug+Asserts.bca
  18. lib/klee/runtime/libkleeRuntimeFortify32_Release+Debug.bca
  19. lib/klee/runtime/libkleeRuntimeFortify32_Release.bca
  20. lib/klee/runtime/libkleeRuntimeFortify64_Debug+Asserts.bca
  21. lib/klee/runtime/libkleeRuntimeFortify64_Debug.bca
  22. lib/klee/runtime/libkleeRuntimeFortify64_Release+Asserts.bca
  23. lib/klee/runtime/libkleeRuntimeFortify64_Release+Debug+Asserts.bca
  24. lib/klee/runtime/libkleeRuntimeFortify64_Release+Debug.bca
  25. lib/klee/runtime/libkleeRuntimeFortify64_Release.bca
  26. lib/klee/runtime/libkleeRuntimeFreestanding32_Debug+Asserts.bca
  27. lib/klee/runtime/libkleeRuntimeFreestanding32_Debug.bca
  28. lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Asserts.bca
  29. lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Debug+Asserts.bca
  30. lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Debug.bca
  31. lib/klee/runtime/libkleeRuntimeFreestanding32_Release.bca
  32. lib/klee/runtime/libkleeRuntimeFreestanding64_Debug+Asserts.bca
  33. lib/klee/runtime/libkleeRuntimeFreestanding64_Debug.bca
  34. lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Asserts.bca
  35. lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug+Asserts.bca
  36. lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug.bca
  37. lib/klee/runtime/libkleeRuntimeFreestanding64_Release.bca
  38. lib/klee/runtime/libkleeRuntimeIntrinsic32_Debug+Asserts.bca
  39. lib/klee/runtime/libkleeRuntimeIntrinsic32_Debug.bca
  40. lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Asserts.bca
  41. lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Debug+Asserts.bca
  42. lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Debug.bca
  43. lib/klee/runtime/libkleeRuntimeIntrinsic32_Release.bca
  44. lib/klee/runtime/libkleeRuntimeIntrinsic64_Debug+Asserts.bca
  45. lib/klee/runtime/libkleeRuntimeIntrinsic64_Debug.bca
  46. lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Asserts.bca
  47. lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug+Asserts.bca
  48. lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug.bca
  49. lib/klee/runtime/libkleeRuntimeIntrinsic64_Release.bca
  50. lib/klee/runtime/libkleeRuntimeKLEELibc32_Debug+Asserts.bca
  51. lib/klee/runtime/libkleeRuntimeKLEELibc32_Debug.bca
  52. lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Asserts.bca
  53. lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Debug+Asserts.bca
  54. lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Debug.bca
  55. lib/klee/runtime/libkleeRuntimeKLEELibc32_Release.bca
  56. lib/klee/runtime/libkleeRuntimeKLEELibc64_Debug+Asserts.bca
  57. lib/klee/runtime/libkleeRuntimeKLEELibc64_Debug.bca
  58. lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Asserts.bca
  59. lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug+Asserts.bca
  60. lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug.bca
  61. lib/klee/runtime/libkleeRuntimeKLEELibc64_Release.bca
  62. lib/libkleeRuntest.so
  63. lib/libkleeRuntest.so.1.0
  64. @owner
  65. @group
  66. @mode
Collapse this list.
Dependency lines:
  • For RUN/BUILD depends:
    • klee>0:security/klee
  • For LIB depends:
    • libkleeRuntest.so:security/klee
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
PKGNAME: klee
Flavors: there is no flavor information for this port.
NOT_FOR_ARCHS: i386
distinfo:
Packages (timestamps in pop-ups are UTC):
klee
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd642.22.2
FreeBSD:11:armv6--
FreeBSD:11:i386--
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd642.22.2
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i386--
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64-2.2
FreeBSD:13:aarch64--
FreeBSD:13:amd642.22.2
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i386--
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc642.22.2
FreeBSD:14:aarch64--
FreeBSD:14:amd642.2-
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i386--
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc642.2-
 

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. z3 : math/z3
  4. cmake : devel/cmake
  5. ninja : devel/ninja
  6. 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. libstp.so : math/stp
  2. libcryptominisat5.so : math/cryptominisat
  3. libtcmalloc.so : devel/google-perftools
  4. libsqlite3.so : databases/sqlite3
There are no ports dependent upon this port

Configuration Options:
Options name:

USES:

Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/klee/klee/tar.gz/v2.2?dummy=/
Collapse this list.

Number of commits found: 14

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
07 Apr 2021 08:09:01
 files touched by this commit commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  2.2
mat search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  2.2
mat search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
14 Dec 2020 07:24:42
Original commit files touched by this commit Revision:558077  2.2
arrowd search for other commits by this committer
security/klee: Do not build on i386, it is unsupported upstream.

While here, add BACKEND multigroup and move STP and Z3 options there.
09 Dec 2020 14:47:43
Original commit files touched by this commit Revision:557375  2.2
arrowd search for other commits by this committer
security/klee: Update to 2.2
09 Jul 2020 15:44:39
Original commit files touched by this commit Revision:541757  2.1_1
arrowd search for other commits by this committer
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1

Bump PORTREVISIONs of consumer ports.
08 Mar 2020 14:25:29
Original commit files touched by this commit Revision:528037  2.1
arrowd search for other commits by this committer
security/klee: Update to 2.1. Enable STP by default.
20 Sep 2019 19:58:36
Original commit files touched by this commit Revision:512440  2.0_1
jbeich search for other commits by this committer
Switch default devel/llvm* to 90

PR:		239682
Reviewed by:	tobik
Differential Revision:	https://reviews.freebsd.org/D21172
26 Jul 2019 20:46:57
Original commit files touched by this commit Revision:507372  2.0_1
gerald search for other commits by this committer
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
30 Apr 2019 14:29:20
Original commit files touched by this commit Revision:500497  2.0
pkubaj search for other commits by this committer
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
05 Apr 2019 05:27:19
Original commit files touched by this commit Revision:497913  2.0
arrowd search for other commits by this committer
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
26 Mar 2019 04:38:52
Original commit files touched by this commit Revision:496875  2.0
arrowd search for other commits by this committer
security/klee: Update to 2.0 and switch to LLVM 8.

PR:		230516
Submitted by:	brooks
Approved by:	tcberner (mentor)
25 Dec 2018 20:25:40
Original commit files touched by this commit Revision:488341  1.4.0.191
tcberner search for other commits by this committer
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
23 Jul 2018 05:28:54
Original commit files touched by this commit Revision:475146  1.4.0.191
yuri search for other commits by this committer
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)
23 Jul 2018 03:19:26
Original commit files touched by this commit Revision:475144  1.4.0.191
yuri search for other commits by this committer
New port: security/klee: Symbolic virtual machine built on top of the LLVM

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

Number of commits found: 14