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

by S Hallem, B Chelf, Y Xie, D Engler
Venue:In Proceedings of PLDI ’02