WIP sanitizer.log

rurban · Apr 5, 2024 · 702eb4b · 702eb4b
1 parent 1cc4a72
commit 702eb4b
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 12 deletions.
diff --git a/asan.lst b/asan.lst
@@ -143,7 +143,6 @@ qf72
 qf82
 qlqs
 ssm
-tsa
 tso5
 tunedbm
 wfr
@@ -183,6 +182,8 @@ bram3
 bram5
 bram7
 ft3
+libc
+musl
 libc1
 musl1
 

diff --git a/good.lst b/good.lst
@@ -151,7 +151,6 @@ qf82
 qlqs
 sbndm-w6
 ssm
-tsa
 tso5
 tunedbm
 tvsbs-w2
@@ -193,6 +192,8 @@ bram3
 bram5
 bram7
 ft3
+libc
+musl
 libc1
 musl1
 epsm

diff --git a/source/algocfg.c b/source/algocfg.c
@@ -174,8 +174,8 @@ const struct algocfg ALGOCFGS[] = {
   [_FNDM]  = {_FNDM, GOOD, ASAN, UNSATISFIABLE, 0, 0, 256, 256, 0, 0},
   [_BWW]   = {_BWW, GOOD, ASAN, UNSATISFIABLE, 0, 0, 256, 0, 0, 0},
   [_FAOSO2] = {_FAOSO2, GOOD, ASAN, UNSATISFIABLE, 3, 0, 256, 256, 0, 0},
-  [_FAOSO4] = {_FAOSO4, FAIL, FAIL, UNSATISFIABLE, 5, 0, 256, 256, 0, 0},
-  [_FAOSO6] = {_FAOSO6, FAIL, FAIL, UNSATISFIABLE, 7, 0, 256, 256, 0, 0},
+  [_FAOSO4] = {_FAOSO4, FAIL, ASAN, UNSATISFIABLE, 5, 0, 256, 256, 0, 0},
+  [_FAOSO6] = {_FAOSO6, FAIL, ASAN, UNSATISFIABLE, 7, 0, 256, 256, 0, 0},
   [_AOSO2] = {_AOSO2, GOOD, ASAN, UNSATISFIABLE, 3, 0, 360, 0, 0, 0},
   [_AOSO4] = {_AOSO4, GOOD, ASAN, UNSATISFIABLE, 5, 0, 360, 0, 0, 0},
   [_AOSO6] = {_AOSO6, GOOD, ASAN, UNSATISFIABLE, 7, 0, 360, 0, 0, 0},
@@ -265,7 +265,7 @@ const struct algocfg ALGOCFGS[] = {
   [_SBNDM_W4] = {_SBNDM_W4, FAIL, FAIL, UNSATISFIABLE, 4, 0, 256, 256, 0, 0},
   [_SBNDM_W6] = {_SBNDM_W6, GOOD, FAIL, UNSATISFIABLE, 6, 0, 256, 256, 0, 0},
   [_SSM]    = {_SSM, GOOD, ASAN, UNSATISFIABLE, 0, 0, 360, 0, 0, 0},
-  [_TSA]    = {_TSA, GOOD, ASAN, UNSATISFIABLE, 2, 0, 360, 0, 0, 0},
+  [_TSA]    = {_TSA, ASSERTS, FAIL, UNSATISFIABLE, 2, 0, 360, 0, 0, 0},
   [_TSA_Q2] = {_TSA_Q2, FAIL, ASAN, UNSATISFIABLE, 2, 64, 360, 0, 0, 0},
   [_TSO5]   = {_TSO5, GOOD, ASAN, UNSATISFIABLE, 0, 0, 360, 0, 0, 0},
   [_TUNEDBM] = {_TUNEDBM, GOOD, ASAN, UNSATISFIABLE, 0, 0, 256, 256, 0, 0},
@@ -303,21 +303,21 @@ const struct algocfg ALGOCFGS[] = {
   [_TWFRQ6] = {_TWFRQ6, GOOD, ASAN, UNSATISFIABLE, 0, 0, 256, 256, 0, 0},
   [_TWFRQ7] = {_TWFRQ7, GOOD, ASAN, UNSATISFIABLE, 0, 0, 256, 256, 0, 0},
   [_TWFRQ8] = {_TWFRQ8, GOOD, ASAN, UNSATISFIABLE, 0, 0, 360, 0, 0, 0},
-  [_WC]  = {_WC, GOOD, ASAN, VFY_FAIL, 0, 0, 0, 256, 0, 0},
-  [_WOM] = {_WOM, GOOD, ASAN, VFY_FAIL, 0, 0, 0, 256, 0, 0},
+  [_WC]     = {_WC,     GOOD, ASAN, VFY_FAIL, 0, 0, 0, 256, 0, 0},
+  [_WOM]    = {_WOM,    GOOD, ASAN, VFY_FAIL, 0, 0, 0, 256, 0, 0},
   [_DOUBLEHASH] = {_DOUBLEHASH, GOOD, ASAN, VFY_FAIL, 0, 0, 0, 256, 0, 0},
   [_BRAM3] = {_BRAM3, GOOD, ASAN, VFY_FAIL, 3, 0, 0, 256, 0, 0},
   [_BRAM5] = {_BRAM5, GOOD, ASAN, VFY_FAIL, 5, 0, 0, 256, 0, 0},
   [_BRAM7] = {_BRAM7, GOOD, ASAN, VFY_FAIL, 7, 0, 0, 256, 0, 0},
-  [_FT3]  = {_FT3, GOOD, ASAN, UNSATISFIABLE, 0, 0, 256, 0, 0, 0},
+  [_FT3]   = {_FT3,   GOOD, ASAN, UNSATISFIABLE, 0, 0, 256, 0, 0, 0},
   //[_HPBM] = {_HPBM, GOOD, ASAN, UNSATISFIABLE, 0, 0, 256, 256, 0, 0},
   [_SSECP] = {_SSECP, FAIL, ASAN, UNSATISFIABLE, 0, 0, 256, 0, 0, 0}, // no cbmc simd support yet
   [_SIMDKR] = {_SIMDKR, FAIL, RNDCRASH, UNSATISFIABLE, 0, 0, 360, 0, 0, 0}, // no cbmc simd support yet
-  [_LIBC]  = {_LIBC, FAIL, ASAN, UNSATISFIABLE, 0, 0, 360, 0, 0, 0}, // no \0
-  [_LIBC1] = {_LIBC1, GOOD, GOOD, UNSATISFIABLE, 0, 0, 360, 0, 0, 0},
-  [_MUSL]  = {_MUSL, FAIL, ASAN, UNSATISFIABLE, 0, 0, 360, 0, 0, 0}, // no \0
+  [_LIBC]  = {_LIBC,  GOOD, ASAN, UNSATISFIABLE, 0, 0, 360, 0, 0, 0}, // no \0
+  [_LIBC1] = {_LIBC1, GOOD, ASAN, UNSATISFIABLE, 0, 0, 360, 0, 0, 0},
+  [_MUSL]  = {_MUSL,  GOOD, ASAN, UNSATISFIABLE, 0, 0, 360, 0, 0, 0}, // no \0
   [_MUSL1] = {_MUSL1, GOOD, ASAN, UNSATISFIABLE, 0, 0, 720, 256, 0, 0}, //7s, upto d=820 ok
-  [_EPSM]  = {_EPSM, GOOD, FAIL, UNSATISFIABLE, 0, 0, 360, 0, 0, 0}, // no cbmc simd support yet
+  [_EPSM]  = {_EPSM,  GOOD, FAIL, UNSATISFIABLE, 0, 0, 360, 0, 0, 0}, // no cbmc simd support yet
     // clang-format on
 };
-Original file line number
+Diff line change
@@ Expand Up / @@ -143,7 +143,6 @@ qf72 @@
     qf82
     qlqs
     ssm
-    tsa
     tso5
     tunedbm
     wfr
@@ Expand Down Expand Up / @@ -183,6 +182,8 @@ bram3 @@
     bram5
     bram7
     ft3
+    libc
+    musl
     libc1
     musl1
@@ Expand Down @@