Scalability-first pointer analysis with self-tuning context-sensitivity

Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis

Abstract

Context-sensitivity is important in pointer analysis to ensure high precision, but existing techniques suffer from unpredictable scalability. Many variants of context-sensitivity exist, and it is difficult to choose one that leads to reasonable analysis time and obtains high precision, without running the analysis multiple times.

BibTeX

@inproceedings{Li-al:FSE18,
  author    = {Yue Li and
               Tian Tan and
               Anders M{\o}ller and
               Yannis Smaragdakis},
  title     = {Scalability-first pointer analysis with self-tuning context-sensitivity},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {129--140},
  publisher = {{ACM}},
  year      = {2018},
}

Scalability-first pointer analysis with self-tuning context-sensitivity

Abstract

Related papers