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

by K Ashcraft, D Engler
Venue:In S&P, 2002, SP ’02