notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
klee Symbolic virtual machine built on top of LLVM
3.1 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 3.0Version 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: 2024-03-01 19:26:53
Commit Hash: 954bfd4
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.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (79 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/klee-3.1/catalog.mk
  3. /usr/local/share/licenses/klee-3.1/LICENSE
  4. /usr/local/share/licenses/klee-3.1/NCSA
  5. bin/kleaver
  6. bin/klee
  7. bin/klee-exec-tree
  8. bin/klee-replay
  9. bin/klee-stats
  10. bin/klee-zesti
  11. bin/ktest-gen
  12. bin/ktest-randgen
  13. bin/ktest-tool
  14. include/klee/klee.h
  15. lib/klee/runtime/libkleeRuntimeFortify32_Debug+Asserts.bca
  16. lib/klee/runtime/libkleeRuntimeFortify32_Debug.bca
  17. lib/klee/runtime/libkleeRuntimeFortify32_Release+Asserts.bca
  18. lib/klee/runtime/libkleeRuntimeFortify32_Release+Debug+Asserts.bca
  19. lib/klee/runtime/libkleeRuntimeFortify32_Release+Debug.bca
  20. lib/klee/runtime/libkleeRuntimeFortify32_Release.bca
  21. lib/klee/runtime/libkleeRuntimeFortify64_Debug+Asserts.bca
  22. lib/klee/runtime/libkleeRuntimeFortify64_Debug.bca
  23. lib/klee/runtime/libkleeRuntimeFortify64_Release+Asserts.bca
  24. lib/klee/runtime/libkleeRuntimeFortify64_Release+Debug+Asserts.bca
  25. lib/klee/runtime/libkleeRuntimeFortify64_Release+Debug.bca
  26. lib/klee/runtime/libkleeRuntimeFortify64_Release.bca
  27. lib/klee/runtime/libkleeRuntimeFreestanding32_Debug+Asserts.bca
  28. lib/klee/runtime/libkleeRuntimeFreestanding32_Debug.bca
  29. lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Asserts.bca
  30. lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Debug+Asserts.bca
  31. lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Debug.bca
  32. lib/klee/runtime/libkleeRuntimeFreestanding32_Release.bca
  33. lib/klee/runtime/libkleeRuntimeFreestanding64_Debug+Asserts.bca
  34. lib/klee/runtime/libkleeRuntimeFreestanding64_Debug.bca
  35. lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Asserts.bca
  36. lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug+Asserts.bca
  37. lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug.bca
  38. lib/klee/runtime/libkleeRuntimeFreestanding64_Release.bca
  39. lib/klee/runtime/libkleeRuntimeIntrinsic32_Debug+Asserts.bca
  40. lib/klee/runtime/libkleeRuntimeIntrinsic32_Debug.bca
  41. lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Asserts.bca
  42. lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Debug+Asserts.bca
  43. lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Debug.bca
  44. lib/klee/runtime/libkleeRuntimeIntrinsic32_Release.bca
  45. lib/klee/runtime/libkleeRuntimeIntrinsic64_Debug+Asserts.bca
  46. lib/klee/runtime/libkleeRuntimeIntrinsic64_Debug.bca
  47. lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Asserts.bca
  48. lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug+Asserts.bca
  49. lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug.bca
  50. lib/klee/runtime/libkleeRuntimeIntrinsic64_Release.bca
  51. lib/klee/runtime/libkleeRuntimeKLEELibc32_Debug+Asserts.bca
  52. lib/klee/runtime/libkleeRuntimeKLEELibc32_Debug.bca
  53. lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Asserts.bca
  54. lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Debug+Asserts.bca
  55. lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Debug.bca
  56. lib/klee/runtime/libkleeRuntimeKLEELibc32_Release.bca
  57. lib/klee/runtime/libkleeRuntimeKLEELibc64_Debug+Asserts.bca
  58. lib/klee/runtime/libkleeRuntimeKLEELibc64_Debug.bca
  59. lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Asserts.bca
  60. lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug+Asserts.bca
  61. lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug.bca
  62. lib/klee/runtime/libkleeRuntimeKLEELibc64_Release.bca
  63. lib/klee/runtime/libkleeUBSan32_Debug+Asserts.bca
  64. lib/klee/runtime/libkleeUBSan32_Debug.bca
  65. lib/klee/runtime/libkleeUBSan32_Release+Asserts.bca
  66. lib/klee/runtime/libkleeUBSan32_Release+Debug+Asserts.bca
  67. lib/klee/runtime/libkleeUBSan32_Release+Debug.bca
  68. lib/klee/runtime/libkleeUBSan32_Release.bca
  69. lib/klee/runtime/libkleeUBSan64_Debug+Asserts.bca
  70. lib/klee/runtime/libkleeUBSan64_Debug.bca
  71. lib/klee/runtime/libkleeUBSan64_Release+Asserts.bca
  72. lib/klee/runtime/libkleeUBSan64_Release+Debug+Asserts.bca
  73. lib/klee/runtime/libkleeUBSan64_Release+Debug.bca
  74. lib/klee/runtime/libkleeUBSan64_Release.bca
  75. lib/libkleeRuntest.so
  76. lib/libkleeRuntest.so.1.0
  77. @owner
  78. @group
  79. @mode
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, 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):
klee
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest-3.1----2.2-
FreeBSD:13:quarterly3.03.0----3.03.0
FreeBSD:14:latest-3.1------
FreeBSD:14:quarterly3.03.0----3.03.0
FreeBSD:15:latest-3.1n/a-n/a-3.03.0
FreeBSD:15:quarterly--n/a-n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. gmake : devel/gmake
  2. z3 : math/z3
  3. cmake : devel/cmake-core
  4. ninja : devel/ninja
  5. llvm-config15 : devel/llvm15
  6. pkgconf>=1.3.0_1 : devel/pkgconf
Runtime dependencies:
  1. py39-tabulate>0 : devel/py-tabulate@py39
  2. z3 : math/z3
  3. llvm-config15 : devel/llvm15
  4. python3.9 : lang/python39
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:
===> 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:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/klee/klee/tar.gz/v3.1?dummy=/
Collapse this list.

Number of commits found: 29

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
3.1
01 Mar 2024 19:26:53
commit hash: 954bfd4d4cfd94b62f5e18560e2c0510784feedacommit hash: 954bfd4d4cfd94b62f5e18560e2c0510784feedacommit hash: 954bfd4d4cfd94b62f5e18560e2c0510784feedacommit hash: 954bfd4d4cfd94b62f5e18560e2c0510784feeda files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
security/klee: Update to 3.1
3.0
19 Dec 2023 16:18:49
commit hash: 825a077f3965af1efbeea676b12a344cccec8d71commit hash: 825a077f3965af1efbeea676b12a344cccec8d71commit hash: 825a077f3965af1efbeea676b12a344cccec8d71commit hash: 825a077f3965af1efbeea676b12a344cccec8d71 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
security/klee: Fix build on aarch64

Reported by:	pkg-fallout
3.0
11 Oct 2023 18:26:38
commit hash: 281f8058caee59ab5627092b5f1a4fcdd0352746commit hash: 281f8058caee59ab5627092b5f1a4fcdd0352746commit hash: 281f8058caee59ab5627092b5f1a4fcdd0352746commit hash: 281f8058caee59ab5627092b5f1a4fcdd0352746 files touched by this commit
Piotr Kubaj (pkubaj) search for other commits by this committer
security/klee: disable on powerpc
3.0
13 Sep 2023 07:51:10
commit hash: 11ec02a2fa364c883cd1c81d3bd14457b28e1e15commit hash: 11ec02a2fa364c883cd1c81d3bd14457b28e1e15commit hash: 11ec02a2fa364c883cd1c81d3bd14457b28e1e15commit hash: 11ec02a2fa364c883cd1c81d3bd14457b28e1e15 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
security/klee: Add USES=llvm:noexport
3.0
27 Jun 2023 19:34:34
commit hash: 3d9a815d9c5acbb71f4bb07738bdeab4879feacbcommit hash: 3d9a815d9c5acbb71f4bb07738bdeab4879feacbcommit hash: 3d9a815d9c5acbb71f4bb07738bdeab4879feacbcommit hash: 3d9a815d9c5acbb71f4bb07738bdeab4879feacb files touched by this commit
Rene Ladan (rene) search for other commits by this committer
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
commit hash: 4b1ed03b1a8f5a6d15c9e91789cf28e0cd6d8687commit hash: 4b1ed03b1a8f5a6d15c9e91789cf28e0cd6d8687commit hash: 4b1ed03b1a8f5a6d15c9e91789cf28e0cd6d8687commit hash: 4b1ed03b1a8f5a6d15c9e91789cf28e0cd6d8687 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
security/klee: Update to 3.0

Reported by:	portscout!
2.3_2
15 Feb 2023 17:27:42
commit hash: dfb6785c8be5bbc2819f5cc103f2a6aae4bd3c22commit hash: dfb6785c8be5bbc2819f5cc103f2a6aae4bd3c22commit hash: dfb6785c8be5bbc2819f5cc103f2a6aae4bd3c22commit hash: dfb6785c8be5bbc2819f5cc103f2a6aae4bd3c22 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
security/klee: Unbreak after math/z3 update.

Reported by:	pkg-fallout
2.3_2
24 Dec 2022 05:55:08
commit hash: b9cdee141b2196b86375e37bf30cf11a2f5f9e1fcommit hash: b9cdee141b2196b86375e37bf30cf11a2f5f9e1fcommit hash: b9cdee141b2196b86375e37bf30cf11a2f5f9e1fcommit hash: b9cdee141b2196b86375e37bf30cf11a2f5f9e1f files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
security/klee: Unbreak the build after USES=llvm change.

Reported by:	pkg-fallout
Fixes:	08807ad9500c84b2577b39dadf7a103eae27d73c
2.3_2
18 Dec 2022 08:47:29
commit hash: 08807ad9500c84b2577b39dadf7a103eae27d73ccommit hash: 08807ad9500c84b2577b39dadf7a103eae27d73ccommit hash: 08807ad9500c84b2577b39dadf7a103eae27d73ccommit hash: 08807ad9500c84b2577b39dadf7a103eae27d73c files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
security/klee: Switch to USES=llvm.
2.3_2
17 Dec 2022 17:18:31
commit hash: 8c772d8e053eaca59a6095013d31e30959d13b38commit hash: 8c772d8e053eaca59a6095013d31e30959d13b38commit hash: 8c772d8e053eaca59a6095013d31e30959d13b38commit hash: 8c772d8e053eaca59a6095013d31e30959d13b38 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
security/klee: Switch to LLVM 13.

PR:		263456
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
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
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
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 View all of this commit message)
2.3_1
12 Aug 2022 14:46:53
commit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5edcommit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5edcommit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5edcommit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5ed files touched by this commit
Dima Panov (fluffy) search for other commits by this committer
*/*: bump all consumers after recent boost upgrade
2.3
30 Apr 2022 21:26:31
commit hash: 0000ac03c1bcb687228bece7881a7f38c7f0a617commit hash: 0000ac03c1bcb687228bece7881a7f38c7f0a617commit hash: 0000ac03c1bcb687228bece7881a7f38c7f0a617commit hash: 0000ac03c1bcb687228bece7881a7f38c7f0a617 files touched by this commit
Piotr Kubaj (pkubaj) search for other commits by this committer
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
commit hash: 32f067c7574ec918a9abd66dea8eebea443df968commit hash: 32f067c7574ec918a9abd66dea8eebea443df968commit hash: 32f067c7574ec918a9abd66dea8eebea443df968commit hash: 32f067c7574ec918a9abd66dea8eebea443df968 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
security/klee: Update to 2.3

Changelog: https://github.com/klee/klee/releases/tag/v2.3
2.2
07 Apr 2021 08:09:01
commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
2.2
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
2.2
14 Dec 2020 07:24:42
Revision:558077Original commit files touched by this commit
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.
2.2
09 Dec 2020 14:47:43
Revision:557375Original commit files touched by this commit
arrowd search for other commits by this committer
security/klee: Update to 2.2
2.1_1
09 Jul 2020 15:44:39
Revision:541757Original commit files touched by this commit
arrowd search for other commits by this committer
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1

Bump PORTREVISIONs of consumer ports.
2.1
08 Mar 2020 14:25:29
Revision:528037Original commit files touched by this commit
arrowd search for other commits by this committer
security/klee: Update to 2.1. Enable STP by default.
2.0_1
20 Sep 2019 19:58:36
Revision:512440Original commit files touched by this commit
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
2.0_1
26 Jul 2019 20:46:57
Revision:507372Original commit files touched by this commit
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
2.0
30 Apr 2019 14:29:20
Revision:500497Original commit files touched by this commit
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
2.0
05 Apr 2019 05:27:19
Revision:497913Original commit files touched by this commit
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
2.0
26 Mar 2019 04:38:52
Revision:496875Original commit files touched by this commit
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)
1.4.0.191
25 Dec 2018 20:25:40
Revision:488341Original commit files touched by this commit
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
1.4.0.191
23 Jul 2018 05:28:54
Revision:475146Original commit files touched by this commit
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)
1.4.0.191
23 Jul 2018 03:19:26
Revision:475144Original commit files touched by this commit
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: 29