security/klee: Update to 3.0

Reported by: portscout!
freebsd · Jun 20, 2023 · 4b1ed03 · 4b1ed03
1 parent fd2f6e5
commit 4b1ed03
Show file tree

Hide file tree

Showing 4 changed files with 19 additions and 28 deletions.
diff --git a/security/klee/Makefile b/security/klee/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	klee
 DISTVERSIONPREFIX=	v
-DISTVERSION=	2.3
-PORTREVISION=	2
+DISTVERSION=	3.0
 CATEGORIES=	security devel
 
 MAINTAINER=	arrowd@FreeBSD.org
@@ -16,7 +15,7 @@ NOT_FOR_ARCHS=	i386
 BUILD_DEPENDS=	gmake:devel/gmake
 RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR}
 
-USES=		cmake compiler:c++14-lang llvm:min=9,max=13,build,run localbase \
+USES=		cmake compiler:c++14-lang llvm:min=11,max=14,build,run localbase \
 		pkgconfig python:3.5+,run shebangfix sqlite
 USE_GITHUB=	yes
 SHEBANG_FILES=	tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool tools/klee-zesti/klee-zesti

diff --git a/security/klee/distinfo b/security/klee/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1649151525
-SHA256 (klee-klee-v2.3_GH0.tar.gz) = 6155fcaa4e86e7af8a73e8e4b63102abaea3a62d17e4021beeec47b0a3a6eff9
-SIZE (klee-klee-v2.3_GH0.tar.gz) = 1075895
+TIMESTAMP = 1687273109
+SHA256 (klee-klee-v3.0_GH0.tar.gz) = 204ebf0cb739886f574b1190b04fa9ed9088770c0634984782e9633d1aa4bdc9
+SIZE (klee-klee-v3.0_GH0.tar.gz) = 1042635
diff --git a/security/klee/files/patch-lib_Solver_Z3Solver.cpp b/security/klee/files/patch-lib_Solver_Z3Solver.cpp
diff --git a/security/klee/pkg-plist b/security/klee/pkg-plist
@@ -1,10 +1,10 @@
-bin/gen-bout
-bin/gen-random-bout
 bin/kleaver
 bin/klee
 bin/klee-replay
 bin/klee-stats
 bin/klee-zesti
+bin/ktest-gen
+bin/ktest-randgen
 bin/ktest-tool
 include/klee/klee.h
 %%32BIT%%lib/klee/runtime/libkleeRuntimeFortify32_Debug+Asserts.bca
@@ -55,5 +55,17 @@ lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Asserts.bca
 lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug+Asserts.bca
 lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug.bca
 lib/klee/runtime/libkleeRuntimeKLEELibc64_Release.bca
+%%32BIT%%lib/klee/runtime/libkleeUBSan32_Debug+Asserts.bca
+%%32BIT%%lib/klee/runtime/libkleeUBSan32_Debug.bca
+%%32BIT%%lib/klee/runtime/libkleeUBSan32_Release+Asserts.bca
+%%32BIT%%lib/klee/runtime/libkleeUBSan32_Release+Debug+Asserts.bca
+%%32BIT%%lib/klee/runtime/libkleeUBSan32_Release+Debug.bca
+%%32BIT%%lib/klee/runtime/libkleeUBSan32_Release.bca
+lib/klee/runtime/libkleeUBSan64_Debug+Asserts.bca
+lib/klee/runtime/libkleeUBSan64_Debug.bca
+lib/klee/runtime/libkleeUBSan64_Release+Asserts.bca
+lib/klee/runtime/libkleeUBSan64_Release+Debug+Asserts.bca
+lib/klee/runtime/libkleeUBSan64_Release+Debug.bca
+lib/klee/runtime/libkleeUBSan64_Release.bca
 lib/libkleeRuntest.so
 lib/libkleeRuntest.so.1.0