diff --git a/contrib/suppressions/sanitizers/ubsan.txt b/contrib/suppressions/sanitizers/ubsan.txt
index 8feef305f..6ceacd400 100644
--- a/contrib/suppressions/sanitizers/ubsan.txt
+++ b/contrib/suppressions/sanitizers/ubsan.txt
@@ -1 +1,20 @@
 # UndefinedBehavior sanitizer suppression file
+# FIXME: UBSan doesn't usually have false positives so we need to fix all of these!
+
+# Occurs when running C API example (`interpolation_example`)
+# See https://github.com/Z3Prover/z3/issues/1286
+null:iz3mgr.h
+
+# Occurs when running C++ API example
+# See https://github.com/Z3Prover/z3/issues/1287
+function:api_context.cpp
+
+# Occurs when running tptp example
+# See https://github.com/Z3Prover/z3/issues/964
+null:rational.h
+null:mpq.h
+
+# Occurs when running `test-z3 /a`
+# See https://github.com/Z3Prover/z3/issues/1288
+shift-exponent:tbv.cpp
+signed-integer-overflow:mpz.cpp