@inproceedings{AtkinsonG96,
  title = {The Design of Whole-Program Analysis Tools},
  author = {Darren C. Atkinson and William G. Griswold},
  year = {1996},
  url = {http://portal.acm.org/citation.cfm?id=227726.227732},
  tags = {program analysis, analysis, C++, design},
  researchr = {https://researchr.org/publication/AtkinsonG96},
  cites = {0},
  citedby = {0},
  pages = {16-27},
  booktitle = {ICSE},
}