CodeSurfer/x86-A Platform for Analyzing x86 Executables
No abstract available.
Related papers
- Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ CAV 2005
- WYSINWYX: What you see is not what you eXecute TOPLAS 2010
- Analyzing Memory Accesses in x86 Executables CC 2004
- Programming model for a heterogeneous x86 platform PLDI 2009
- BIRD: Binary Interpretation using Runtime Disassembly CGO 2006
- Improved Memory-Access Analysis for x86 Executables CC 2008
- Pin: building customized program analysis tools with dynamic instrumentation PLDI 2005
- A complete formal semantics of x86-64 user-level instruction set architecture PLDI 2019