diff --git a/kani-driver/src/call_single_file.rs b/kani-driver/src/call_single_file.rs
index 4e8086e7e37b..fc41bac69d9c 100644
--- a/kani-driver/src/call_single_file.rs
+++ b/kani-driver/src/call_single_file.rs
@@ -123,7 +123,7 @@ impl KaniSession {
                 "-Z",
                 "panic_abort_tests=yes",
                 "-Z",
-                "mir-enable-passes=-RemoveStorageMarkers",
+                "sanitizer=address",
             ]
             .map(OsString::from),
         );