A System for Generating Static Analyzers for Machine Instructions

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.

• Type: Conference
• Year: 2008
• Where: CC
• Authors: Junghee Lim, Thomas W. Reps
• Keywords: CC 2008, Concrete Operational Semantics, Instruction Set, Multiple Analysis Phases, System Software