Formal Verification of Memory Preservation of x86-64 Binaries (SAFECOMP 2019 supplemental material)
softwareposted on 24.07.2019 by Joshua Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran
Code as a research output can either be uploaded directly from your computer or through the code management system GitHub. Versioning of code repositories is supported.
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).