Sciweavers

Share
CC
2008
Springer

A System for Generating Static Analyzers for Machine Instructions

8 years 4 months ago
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.
Junghee Lim, Thomas W. Reps
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where CC
Authors Junghee Lim, Thomas W. Reps
Comments (0)
books