From 03fa34c4e51351b357b84a27c705aac5e0a5e68b Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 23 Feb 2023 22:02:53 +0000
Subject: Add support to disable memsan instrumentation; update UB/Asan
 suppression

---
 scripts/build/build.sh             | 5 +++++
 scripts/build/sanitizer/klee.txt   | 2 ++
 scripts/build/sanitizer/sqlite.txt | 2 ++
 3 files changed, 9 insertions(+)
 create mode 100644 scripts/build/sanitizer/klee.txt
 create mode 100644 scripts/build/sanitizer/sqlite.txt

(limited to 'scripts')

diff --git a/scripts/build/build.sh b/scripts/build/build.sh
index 2ddb7bd6..65fe4ee0 100755
--- a/scripts/build/build.sh
+++ b/scripts/build/build.sh
@@ -328,6 +328,11 @@ build_docker() {
     for f in "${DIR}/patches/${v}"*.patch; do
       cp -r "$f" "${temp_dir}/patches/"
     done
+
+    mkdir -p "${temp_dir}/sanitizer"
+    for f in "${DIR}/sanitizer/${v}"*.txt; do
+      cp -r "$f" "${temp_dir}/sanitizer/"
+    done
   done
   shopt -u nullglob # disallow nullglobing
 
diff --git a/scripts/build/sanitizer/klee.txt b/scripts/build/sanitizer/klee.txt
new file mode 100644
index 00000000..856aba57
--- /dev/null
+++ b/scripts/build/sanitizer/klee.txt
@@ -0,0 +1,2 @@
+# checkMemoryUsage depends on the malloc library linked with, ignore it
+fun:_ZN4klee4util19GetTotalMallocUsageEv
diff --git a/scripts/build/sanitizer/sqlite.txt b/scripts/build/sanitizer/sqlite.txt
new file mode 100644
index 00000000..6b3ce57a
--- /dev/null
+++ b/scripts/build/sanitizer/sqlite.txt
@@ -0,0 +1,2 @@
+# Ignore uninit memory for sqlite3 external fstat call
+src:sqlite3.c
-- 
cgit 1.4.1