Using programmer-written compiler extensions to catch security holes (2002)

by K Ashcraft, D Engler
Venue:In 2002 IEEE Symposium on Security and Privacy