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