Skip to main content
Conference ProceedingsOPEN ACCESS

A system for generating static analyzers for machine instructions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2008) 4959 LNCS 36-52
DOI: 10.1007/978-3-540-78791-4_3
16Citations
Citations of this article
21Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

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. © 2008 Springer-Verlag Berlin Heidelberg.

Cite

CITATION STYLE

APA

Lim, J., & Reps, T. (2008). A system for generating static analyzers for machine instructions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4959 LNCS, pp. 36–52). https://doi.org/10.1007/978-3-540-78791-4_3

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free