Using Programmer-Written Compiler Extensions to Catch Security Holes. (2002)

by K ASHCRAFT, D ENGLER
Venue:In Proceedings of the IEEE Symposium on Security and Privacy