• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Analyzing Memory Accesses in x86 Executables (2004)

Cached

  • Download as a PDF
  •  
  • Download as a PS

Download Links

  • [www.cs.wisc.edu]
  • [cs.wisc.edu]
  • [www.cs.wisc.edu]
  • [www.cs.wisc.edu]
  • [www.cs.wisc.edu]
  • [www.cs.wisc.edu]
  • [www.cs.wisc.edu]
  • [www.cs.cornell.edu]
  • [www.cs.wisc.edu]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Gogul Balakrishnan , Thomas Reps
Venue:In CC
Citations:90 - 22 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

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

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

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
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University