A system for generating static analyzers for machine instructions

A system for generating static analyzers for machine instructions (2008)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Junghee Lim , Thomas Reps

Venue:	In CC
Citations:	13 - 11 self

BibTeX

@INPROCEEDINGS{Lim08asystem,
    author = {Junghee Lim and Thomas Reps},
    title = {A system for generating static analyzers for machine instructions},
    booktitle = {In CC},
    year = {2008}
}

Bookmark

OpenURL

Abstract

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. 1

Citations

544	Systematic design of program analysis frameworks - Cousot, Cousot - 1979
273	Two approaches to interprocedural data flow analysis - SHARIR, PNUELI - 1981
112	Interprocedural side-effect analysis in linear time - Cooper, Kennedy
90	Analyzing Memory Accesses in x86 Executables - Balakrishnan, Reps
79	Abstract interpretation: a semantics-based tool for program analysis - Jones, Nielson - 1994
66	Code selection through object code optimization - Davidson, Fraser - 1984
53	Alias analysis of executable code - Debray, Muth, et al. - 1998
44	Trace partitioning in abstract interpretation based static analyzers - Mauborgne, Rival - 2005
44	LISA – machine description language for cycle-accurate models of programmable DSP architectures - Pees, Hoffmann, et al. - 1999
43	Eliminating stack overflow by abstract interpretation - Regehr, Reid, et al. - 2003
39	Analysis of modular arithmetic - Müller-Olm, Seidl
38	Two-Level Functional Languages - Nielson, Neilson - 1992
33	WYSINWYX:What You See Is Not What You eXecute - Balakrishnan, Reps, et al. - 2005
30	Intraprocedural static slicing of binary executables - Cifuentes, Fraboulet - 1997
24	Banshee: A scalable constraint-based analysis toolkit - KODUMAL, AIKEN
23	Using Datalog with binary decision diagrams for program analysis - Whaley, Avots, et al. - 2005
18	DIVINE: DIscovering Variables IN Executables - Balakrishnan, Reps - 2007
17	Data Dependence Analysis of Assembly Code - Amme, Braun, et al. - 1998
15	WPDS++: A C++ library for weighted pushdown systems - Kidd, Reps, et al. - 2004
14	String analysis for x86 binaries - Christodorescu, Kidd, et al. - 2005
14	Intermediate-representation recovery from low-level code - Reps, Balakrishnan, et al. - 2006
13	B.: the static analysis of indirect control transfers in binaries - Sutter, Bus, et al. - 2000
12	A term pattern-match compiler inspired by finite automata theory - Pettersson - 1992
11	CodeSurfer/x86 - A platform for Analyzing x86 Executables - Balakrishnan, Gruian, et al. - 2005
9	Functional specification and simulation of instruction set architectures - Harcourt, Mauney, et al. - 1994
8	System-level specification of instruction sets - Cook, Franzon, et al. - 1993
8	New jersey machine-code toolkit arch. spec. technical report - Ramsey, Ferandez - 1994
7	TDL: a hardware description language for retargetable postpass optimizations and analyses - Kästner - 2003
6	Architecture description language: driven software toolkit generation for architectural exploration of programmable SOCs - Mishra, Shrivastava, et al. - 2006
5	Automatic inference of optimizer flow functions from semantics meanings - Scherpelz, Lerner, et al. - 2007
3	Parameter and return-value analysis of binary executables - Zhang, Zhao, et al. - 2007
2	Specifying instructions’ semantics using λ-RTL. Unpublished manuscript - Ramsey, Davidson - 1999
2	Efficient compilation of pattern-matching. The Impl - Wadler - 1987