More accurate resolution of global pointer values.

GaloisInc / pate

Patches Assured up to Trace Equivalence

Other

14 stars 3 forks source link

Closed robdockins closed 2 years ago

robdockins commented 2 years ago

Fixes validConcreteReads for cases where Macaw selects a segment number other than 0.

Fixes #225