x86: Ensure global memory is immutable

chameco · chameco · commit 487ed2a3e51c · 2020-10-11T13:15:19.000-04:00
diff --git a/src/SAWScript/Crucible/LLVM/X86.hs b/src/SAWScript/Crucible/LLVM/X86.hs
@@ -507,7 +507,7 @@ initialState sym opts sc cc elf relf ms globs maxAddr = do
     , globalEnd . fst <$> globs
     , allocGlobalEnd <$> ms ^. MS.csGlobalAllocs
     ]
-  (base, mem) <- C.LLVM.doMalloc sym C.LLVM.GlobalAlloc C.LLVM.Mutable
+  (base, mem) <- C.LLVM.doMalloc sym C.LLVM.GlobalAlloc C.LLVM.Immutable
     "globals" emptyMem sz align
   pure $ X86State
     { _x86Sym = sym

Original file line number	Diff line number	Diff line change
`@@ -507,7 +507,7 @@ initialState sym opts sc cc elf relf ms globs maxAddr = do`
`507`	`507`	`, globalEnd . fst <$> globs`
`508`	`508`	`, allocGlobalEnd <$> ms ^. MS.csGlobalAllocs`
`509`	`509`	`]`
`510`		`- (base, mem) <- C.LLVM.doMalloc sym C.LLVM.GlobalAlloc C.LLVM.Mutable`
	`510`	`+ (base, mem) <- C.LLVM.doMalloc sym C.LLVM.GlobalAlloc C.LLVM.Immutable`
`511`	`511`	`"globals" emptyMem sz align`
`512`	`512`	`pure $ X86State`
`513`	`513`	`{ _x86Sym = sym`