Lightweight wrappers for interfacing with binary code in CCured (2003)

by Matthew Harren, George C. Necula
Venue:In Proceedings of the International Symposium on Software Security