SAFECOMP artifact.zip (1.62 MB)
Formal Verification of Memory Preservation of x86-64 Binaries (SAFECOMP 2019 supplemental material)
Version 4 2019-07-24, 08:12
Version 3 2019-05-01, 04:42
Version 2 2018-11-20, 00:23
Version 1 2018-11-17, 07:42
software
posted on 2019-07-24, 08:12 authored by Joshua BockenekJoshua Bockenek, Freek Verbeek, Peter Lammich, Binoy RavindranThis 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).