Improving slice accuracy by compression of data and control flow paths

Aharon Abadi, Ran Ettinger, Yishai A. Feldman

Abstract

Program slicing is a useful technique in tools for program understanding and transformation. Computing correct and accurate slices for unstructured programs is particularly difficult. We present a new family of slicing algorithms that are proved correct and are more accurate than the best previous algorithms. An empirical study shows significant improvements of our algorithms on real code.

BibTeX

@inproceedings{Abadi-al:FSE09,
  author    = {Aharon Abadi and
               Ran Ettinger and
               Yishai A. Feldman},
  title     = {Improving slice accuracy by compression of data and control flow paths},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {223--232},
  publisher = {{ACM}},
  year      = {2009},
}

Improving slice accuracy by compression of data and control flow paths

Abstract

Related papers