GaloisInc / pate

Patches Assured up to Trace Equivalence
Other
15 stars 2 forks source link

Very simple region support in memory model #320

Closed danmatichuk closed 2 years ago

danmatichuk commented 2 years ago

This is a very incomplete model of reading pointer regions out of memory, but supports the most common cases.