Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation

Ondřej Lhoták, Laurie J. Hendren. Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation. ACM Transactions on Software Engineering Methodology, 18(1), 2008. [doi]

@article{LhotakH08:0,
  title = {Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation},
  author = {Ondřej Lhoták and Laurie J. Hendren},
  year = {2008},
  doi = {10.1145/1391984.1391987},
  url = {http://doi.acm.org/10.1145/1391984.1391987},
  tags = {rule-based, points-to analysis, analysis, source-to-source, context-aware, open-source},
  researchr = {https://researchr.org/publication/LhotakH08%3A0},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Software Engineering Methodology},
  volume = {18},
  number = {1},
}