diff --git a/CMakeLists.txt b/CMakeLists.txt
index 34f3caecd..9aad103ab 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -300,6 +300,16 @@ list(APPEND Z3_DEPENDENT_LIBS Threads::Threads)
 ################################################################################
 include(${PROJECT_SOURCE_DIR}/cmake/compiler_warnings.cmake)
 
+
+################################################################################
+# Address sanitization
+################################################################################
+option(Z3_ADDRESS_SANITIZE "Set address sanitization." OFF)
+
+if (Z3_ADDRESS_SANITIZE)
+  z3_add_cxx_flag("-fsanitize=address" REQUIRED)
+endif()
+
 ################################################################################
 # Save Clang optimization records
 ################################################################################
diff --git a/README-CMake.md b/README-CMake.md
index 047737186..c004f5c7c 100644
--- a/README-CMake.md
+++ b/README-CMake.md
@@ -311,6 +311,7 @@ The following useful options can be passed to CMake whilst configuring.
 * ``Z3_SAVE_CLANG_OPTIMIZATION_RECORDS`` - BOOL. If set to ``TRUE`` saves Clang optimization records by setting the compiler flag ``-fsave-optimization-record``.
 * ``Z3_SINGLE_THREADED`` - BOOL. If set to ``TRUE`` compiles Z3 for single threaded mode.
 * ``Z3_POLLING_TIMER`` - BOOL. If set to ``TRUE`` compiles Z3 to use polling based timer instead of requiring a thread. This is useful for wasm builds and avoids spawning threads that interfere with how WASM is run.
+* ``Z3_ADDRESS_SANITIZE`` - BOOL. If set to ``TRUE`` compiles Z3 with address sanitization enabled. 
 
 
 On the command line these can be passed to ``cmake`` using the ``-D`` option. In ``ccmake`` and ``cmake-gui`` these can be set in the user interface.