Model Checking x86 Executables with CodeSurfer/x86 and WPDS++
Abstract elided by the publisher.
Related papers
- CodeSurfer/x86-A Platform for Analyzing x86 Executables CC 2005
- WYSINWYX: What you see is not what you eXecute TOPLAS 2010
- Verifying x86 instruction implementations CPP 2020
- Relaxing safely: verified on-the-fly garbage collection for x86-TSO PLDI 2015
- Analyzing Memory Accesses in x86 Executables CC 2004
- Improved Memory-Access Analysis for x86 Executables CC 2008
- libLISA: Instruction Discovery and Analysis on x86-64 OOPSLA 2024
- Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8 PLDI 2021