Formal Verification of Memory Preservation of x86-64 Binaries (SAFECOMP 2019 supplemental material)

This upload consists of code and proofs to accompany our paper submission to SAFECOMP 2019. The included README files should provide enough information to use our code and scripts to generate proofs of your own, most of which will likely require some degree of manual intervention to finish (some more than others). The current version has a fixed readme with a mention of an additional Python package needed (collections_extended).