Contribution-based call stack abstraction for call string based pointer analysis

Ju Qian, Lin Chen, Baowen Xu, Xiaofang Zhang. Contribution-based call stack abstraction for call string based pointer analysis. Information \& Software Technology, 53(6):654-665, 2011. [doi]

@article{QianCXZ11,
  title = {Contribution-based call stack abstraction for call string based pointer analysis},
  author = {Ju Qian and Lin Chen and Baowen Xu and Xiaofang Zhang},
  year = {2011},
  doi = {10.1016/j.infsof.2010.11.004},
  url = {http://dx.doi.org/10.1016/j.infsof.2010.11.004},
  tags = {rule-based, analysis, abstraction},
  researchr = {https://researchr.org/publication/QianCXZ11},
  cites = {0},
  citedby = {0},
  journal = {Information \& Software Technology},
  volume = {53},
  number = {6},
  pages = {654-665},
}