diff --git a/security/klee/Makefile b/security/klee/Makefile
index 14943f717800..89e35f67e665 100644
--- a/security/klee/Makefile
+++ b/security/klee/Makefile
@@ -1,55 +1,55 @@
 PORTNAME=	klee
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.1
+DISTVERSION=	3.2
 CATEGORIES=	security devel
 
 MAINTAINER=	arrowd@FreeBSD.org
 COMMENT=	Symbolic virtual machine built on top of LLVM
 WWW=		https://klee.github.io/
 
 LICENSE=	NCSA
 LICENSE_FILE=	${WRKSRC}/LICENSE.TXT
 
 NOT_FOR_ARCHS=	i386 powerpc
 
 RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR}
 
-USES=		cmake compiler:c++14-lang llvm:min=12,max=16,build,run,noexport localbase \
+USES=		cmake compiler:c++14-lang llvm:min=13,max=16,build,run,noexport localbase \
 		pkgconfig python:run shebangfix sqlite
 USE_GITHUB=	yes
 SHEBANG_FILES=	tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool tools/klee-zesti/klee-zesti
 USE_LDCONFIG=	yes
 
 CMAKE_OFF=	ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS
 CMAKE_ARGS=	-DLLVM_DIR=${LLVM_PREFIX}/lib/cmake/llvm
 
 OPTIONS_DEFINE=		TCMALLOC
 OPTIONS_DEFAULT=	TCMALLOC Z3 STP
 OPTIONS_MULTI=		BACKEND
 OPTIONS_MULTI_BACKEND=	Z3 STP
 
 TCMALLOC_DESC=		Use tcmalloc library for memory management
 TCMALLOC_CMAKE_BOOL=	ENABLE_TCMALLOC
 TCMALLOC_LIB_DEPENDS=	libtcmalloc.so:devel/google-perftools
 
 Z3_DESC=		Enable Z3 SMT solver
 Z3_CMAKE_BOOL=		ENABLE_SOLVER_Z3
 Z3_BUILD_DEPENDS=	z3:math/z3
 Z3_RUN_DEPENDS=		z3:math/z3
 
 STP_DESC=		Enable STP SMT solver
 STP_CMAKE_BOOL=		ENABLE_SOLVER_STP
 STP_LIB_DEPENDS=	libstp.so:math/stp \
 			libcryptominisat5.so:math/cryptominisat
 
 .include <bsd.port.options.mk>
 
 .if ${ARCH} == powerpc64le || ${ARCH} == aarch64
 PLIST_SUB=	32BIT="@comment " \
 		64BIT=""
 .else
 PLIST_SUB=	32BIT="" \
 		64BIT=""
 .endif
 
 .include <bsd.port.mk>
diff --git a/security/klee/distinfo b/security/klee/distinfo
index 99a23c10c79a..163f546d4b48 100644
--- a/security/klee/distinfo
+++ b/security/klee/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1709317649
-SHA256 (klee-klee-v3.1_GH0.tar.gz) = ae3d97209fa480ce6498ffaa7eaa7ecbbe22748c739cb7b2389391d0d9c940f7
-SIZE (klee-klee-v3.1_GH0.tar.gz) = 1058438
+TIMESTAMP = 1766906762
+SHA256 (klee-klee-v3.2_GH0.tar.gz) = 83d9b9ce0ba187e48c0e55623bf1a68b5eb61376da7ce82551c9d885715a21dd
+SIZE (klee-klee-v3.2_GH0.tar.gz) = 1060556
diff --git a/security/klee/files/patch-cmake_find__z3.cmake b/security/klee/files/patch-cmake_find__z3.cmake
new file mode 100644
index 000000000000..d02379dec618
--- /dev/null
+++ b/security/klee/files/patch-cmake_find__z3.cmake
@@ -0,0 +1,14 @@
+--- cmake/find_z3.cmake.orig	2025-12-23 15:04:53 UTC
++++ cmake/find_z3.cmake
+@@ -31,11 +31,6 @@ if (ENABLE_SOLVER_Z3)
+     message(STATUS "Found Z3")
+     set(ENABLE_Z3 1) # For config.h
+ 
+-    # Check the signature of `Z3_get_error_msg()`
+-    cmake_push_check_state()
+-    set(CMAKE_REQUIRED_INCLUDES ${CMAKE_REQUIRED_INCLUDES} ${Z3_INCLUDE_DIRS})
+-    set(CMAKE_REQUIRED_LIBRARIES ${CMAKE_REQUIRED_LIBRARIES} ${Z3_LIBRARIES})
+-
+     if(CMAKE_SYSTEM_NAME STREQUAL "Darwin")
+       string(REPLACE ".so" ".dylib" Z3_LIBRARIES ${Z3_LIBRARIES})
+       message(STATUS "New Z3 library path: ${Z3_LIBRARIES}")