Analyzing Memory Accesses in x86 Executables

Analyzing Memory Accesses in x86 Executables (2004)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Gogul Balakrishnan , Thomas Reps

Venue:	In CC
Citations:	90 - 22 self

BibTeX

@INPROCEEDINGS{Balakrishnan04analyzingmemory,
    author = {Gogul Balakrishnan and Thomas Reps},
    title = {Analyzing Memory Accesses in x86 Executables},
    booktitle = {In CC},
    year = {2004},
    pages = {5--23},
    publisher = {Springer-Verlag}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

This paper concerns static-analysis algorithms for analyzing x86 executables.

Citations

1635	Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints - Cousot, Cousot - 1977
628	Interprocedural Slicing Using Dependence Graphs - Iorwitz, Reps, et al. - 1990
470	Automatic discovery of linear restraints among the variables of a program - COUSOT, HALBWACHS - 1978
406	The omega test: a fast and practical integer programming algorithm for dependence analysis - Pugh - 1991
273	Two approaches to interprocedural data flow analysis - SHARIR, PNUELI - 1981
254	EEL: Machine-Independent Executable Editing - Larus, Schnarr - 1995
125	R.: Static determination of dynamic properties of programs - Cousot, Cousot - 1976
100	Cssv: Towards a realistic tool for statically detecting all buffer overflows - Dor, Rodeh, et al. - 2003
100	Symbolic bounds analysis for pointers, array indices, and accessed memory re - Rugina, Rinard
96	Efficient chaotic iteration strategies with widenings - Bourdoncle - 1993
91	Verication of real-time systems using linear relation analysis - Halbwachs, Proy, et al. - 1997
79	Incremental Context-Dependent Analysis for Language-Based Editors - Reps, Teitelbaum, et al. - 1983
58	K.: Implementation of an array bound checker - Suzuki, Ishihata - 1977
53	Alias analysis of executable code - Debray, Muth, et al. - 1998
50	Precise interprocedural analysis through linear algebra - Müller-Olm, Seidl - 2004
49	Typestate checking of machine code - Xu, Reps, et al. - 2001
48	Aggregate structure identification and its application to program analysis - Ramalingam, Field, et al. - 1999
44	Precise interprocedural chopping - REPS, ROSAY - 1995
41	Static analysis of arithmetical congruences - Granger - 1989
31	Efficient applicative data types - Myers - 1984
30	Intraprocedural static slicing of binary executables - Cifuentes, Fraboulet - 1997
27	Type-Based Decompilation - Mycroft - 1999
23	Assembly to High-Level Language Translation - Cifuentes, Simon, et al. - 1998
18	Static Detection of Malicious Code in Executable Programs - Bergeron, Debbabi, et al. - 2001
18	Static Analysis of Binary Code to Isolate Malicious Behaviors - Bergeron, Debbabi, et al. - 1999
11	Combining interprocedural pointer analysis and conditional constant propagation - Pioli, Hind - 1999
9	Interprocedural Data Flow Recovery of HighLevel Language Code from Assembly - Cifuentes, Fraboulet - 1997
8	Abstract interpretation based certification of assembly code - Rival