auditor

commit 3ce10429d8b217ce743eaf8823961afa536a9aba
parent 4a6f3a6ad8cb49b48c71191a41d94bdf18e271e3
Author: Jared Tobin <jared@jtobin.io>
Date:   Thu, 26 Feb 2026 16:51:25 +0400

fix: fail fast on mismatched config

Diffstat:
M
lib/Audit/AArch64/Taint.hs
 | 
6
+++++-

1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/lib/Audit/AArch64/Taint.hs b/lib/Audit/AArch64/Taint.hs
@@ -988,7 +988,11 @@ joinTaintState a b = TaintState
   , tsHeapProv        = joinProvenance (tsHeapProv a) (tsHeapProv b)
   , tsHeapKind        = joinKind (tsHeapKind a) (tsHeapKind b)
   , tsHeapSlots       = Map.unionWith joinSlot (tsHeapSlots a) (tsHeapSlots b)
-  , tsAssumeStgPublic = tsAssumeStgPublic a  -- Config flag, should be same in both
+  , tsAssumeStgPublic =
+      let l = tsAssumeStgPublic a
+          r = tsAssumeStgPublic b
+      in  if l == r then l
+          else error "joinTaintState: mismatched tsAssumeStgPublic flags"
   }
   where
     joinSlot (t1, p1, k1) (t2, p2, k2) =