diff --git a/conf/svcomp-ghost.json b/conf/svcomp-ghost.json
index 997ae4d176..b9c20a7463 100644
--- a/conf/svcomp-ghost.json
+++ b/conf/svcomp-ghost.json
@@ -109,6 +109,10 @@
     },
     "null-pointer": {
       "dereference": "assume_none"
+    },
+    "malloc": {
+      "fail": false,
+      "zero": "pointer"
     }
   },
   "witness": {
diff --git a/conf/svcomp-yaml-validate.json b/conf/svcomp-yaml-validate.json
index 1934a56932..ece3327d41 100644
--- a/conf/svcomp-yaml-validate.json
+++ b/conf/svcomp-yaml-validate.json
@@ -89,6 +89,10 @@
     },
     "null-pointer": {
       "dereference": "assume_none"
+    },
+    "malloc": {
+      "fail": false,
+      "zero": "pointer"
     }
   }
 }
diff --git a/conf/svcomp-yaml.json b/conf/svcomp-yaml.json
index 9156f46b01..a922b15db5 100644
--- a/conf/svcomp-yaml.json
+++ b/conf/svcomp-yaml.json
@@ -106,6 +106,10 @@
     },
     "null-pointer": {
       "dereference": "assume_none"
+    },
+    "malloc": {
+      "fail": false,
+      "zero": "pointer"
     }
   }
 }
diff --git a/conf/svcomp21.json b/conf/svcomp21.json
index 7c598207da..5c7ae0371a 100644
--- a/conf/svcomp21.json
+++ b/conf/svcomp21.json
@@ -61,6 +61,10 @@
     },
     "null-pointer": {
       "dereference": "assume_none"
+    },
+    "malloc": {
+      "fail": false,
+      "zero": "pointer"
     }
   }
 }
diff --git a/conf/svcomp22.json b/conf/svcomp22.json
index 584d59034a..c04fef59fb 100644
--- a/conf/svcomp22.json
+++ b/conf/svcomp22.json
@@ -64,6 +64,10 @@
     },
     "null-pointer": {
       "dereference": "assume_none"
+    },
+    "malloc": {
+      "fail": false,
+      "zero": "pointer"
     }
   }
 }
diff --git a/conf/svcomp23.json b/conf/svcomp23.json
index 99008f1b85..ef900e763a 100644
--- a/conf/svcomp23.json
+++ b/conf/svcomp23.json
@@ -87,6 +87,10 @@
     },
     "null-pointer": {
       "dereference": "assume_none"
+    },
+    "malloc": {
+      "fail": false,
+      "zero": "pointer"
     }
   }
 }
diff --git a/conf/svcomp24-validate.json b/conf/svcomp24-validate.json
index 4453d690bc..ff1a7adc8f 100644
--- a/conf/svcomp24-validate.json
+++ b/conf/svcomp24-validate.json
@@ -109,6 +109,10 @@
     },
     "null-pointer": {
       "dereference": "assume_none"
+    },
+    "malloc": {
+      "fail": false,
+      "zero": "pointer"
     }
   },
   "witness": {
diff --git a/conf/svcomp24.json b/conf/svcomp24.json
index b39777b547..dde5407056 100644
--- a/conf/svcomp24.json
+++ b/conf/svcomp24.json
@@ -105,6 +105,10 @@
     },
     "null-pointer": {
       "dereference": "assume_none"
+    },
+    "malloc": {
+      "fail": false,
+      "zero": "pointer"
     }
   },
   "witness": {
diff --git a/conf/svcomp25-validate.json b/conf/svcomp25-validate.json
index 0ce6ce841b..0d414ef439 100644
--- a/conf/svcomp25-validate.json
+++ b/conf/svcomp25-validate.json
@@ -90,6 +90,10 @@
     },
     "null-pointer": {
       "dereference": "assume_none"
+    },
+    "malloc": {
+      "fail": false,
+      "zero": "pointer"
     }
   },
   "witness": {
diff --git a/conf/svcomp25.json b/conf/svcomp25.json
index b9f447ffea..bf1e545e2d 100644
--- a/conf/svcomp25.json
+++ b/conf/svcomp25.json
@@ -86,6 +86,10 @@
     },
     "null-pointer": {
       "dereference": "assume_none"
+    },
+    "malloc": {
+      "fail": false,
+      "zero": "pointer"
     }
   },
   "witness": {
diff --git a/conf/svcomp26/common.json b/conf/svcomp26/common.json
index b0243692d9..de6f05123c 100644
--- a/conf/svcomp26/common.json
+++ b/conf/svcomp26/common.json
@@ -36,6 +36,10 @@
     },
     "null-pointer": {
       "dereference": "assume_none"
+    },
+    "malloc": {
+      "fail": false,
+      "zero": "either"
     }
   },
   "witness": {
diff --git a/conf/svcomp2var.json b/conf/svcomp2var.json
index ea0c405529..751b38358e 100644
--- a/conf/svcomp2var.json
+++ b/conf/svcomp2var.json
@@ -104,6 +104,10 @@
     },
     "null-pointer": {
       "dereference": "assume_none"
+    },
+    "malloc": {
+      "fail": false,
+      "zero": "pointer"
     }
   },
   "witness": {