Hallem, How to write system-specific, static checkers in metal (0)

by Dawson Engler
Venue:Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering