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

by S Hallem, B Chelf, Y Xie, D Engler
Venue:In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation,