security/klee: Update to 3.0

Reported by:	portscout!

security/klee/Makefile

 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

security/klee/distinfo

-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

security/klee/files/patch-lib_Solver_Z3Solver.cpp

---- lib/Solver/Z3Solver.cpp.orig	2022-04-04 12:37:59 UTC
-+++ lib/Solver/Z3Solver.cpp
-@@ -362,7 +362,7 @@ SolverImpl::SolverRunStatus Z3SolverImpl::handleSolver
-         __attribute__((unused))
-         bool successfulEval =
-             Z3_model_eval(builder->ctx, theModel, initial_read,
--                          /*model_completion=*/Z3_TRUE, &arrayElementExpr);
-+                          /*model_completion=*/true, &arrayElementExpr);
-         assert(successfulEval && "Failed to evaluate model");
-         Z3_inc_ref(builder->ctx, arrayElementExpr);
-         assert(Z3_get_ast_kind(builder->ctx, arrayElementExpr) ==
-@@ -432,7 +432,7 @@ bool Z3SolverImpl::validateZ3Model(::Z3_solver &theSol
-     __attribute__((unused))
-     bool successfulEval =
-         Z3_model_eval(builder->ctx, theModel, constraint,
--                      /*model_completion=*/Z3_TRUE, &rawEvaluatedExpr);
-+                      /*model_completion=*/true, &rawEvaluatedExpr);
-     assert(successfulEval && "Failed to evaluate model");
- 
-     // Use handle to do ref-counting.

security/klee/pkg-plist

-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