Now showing items 1-1 of 1
A System for Generating Static Analyzers for Machine Instructions
(University of Wisconsin-Madison Department of Computer Sciences, 2007)
There is growing interest in analyzing executables to look for bugs and security vulnerabilities. This paper describes the design and implementation of a language for describing the semantics of an instruction set, along ...