A System for Generating Static Analyzers for Machine Instructions
Junghee Lim and Thomas Reps
This paper describes the design and implementation of a language for specifying
the semantics of an instruction set, along with a run-time system to support
the static analysis of executables written in that instruction set. The work
advances the state of the art by creating multiple analysis phases from a
specification of the concrete operational semantics of the language to be
analyzed.
(Click here to access the paper:
PDF.)
University of Wisconsin