A system and language for building system-specific, static analyses (2002)

by S Hallem, B Chelf, Y Xie, D Engler
Venue:In Proceedings of the SIGPLAN ’02 Conference on Programming Languages Design and Implementation