Field-sensitive program dependence analysis

Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv

Abstract

Statement st transitively depends on statement stseed if the execution of stseed may affect the execution of st. Computing transitive program dependences is a fundamental operation in many automatic software analysis tools. Existing tools find it challenging to compute transitive dependences for programs manipulating large aggregate structure variables, and their limitations adversely affect analysis of certain important classes of software systems, e.g., large-scale enterprise resource planning (ERP) systems.

BibTeX

@inproceedings{Litvak-al:FSE10,
  author    = {Shay Litvak and
               Nurit Dor and
               Rastislav Bod{\'{\i}}k and
               Noam Rinetzky and
               Mooly Sagiv},
  title     = {Field-sensitive program dependence analysis},
  booktitle = {FSE},
  pages     = {287--296},
  publisher = {{ACM}},
  year      = {2010},
}

Field-sensitive program dependence analysis

Abstract

Related papers