BOFT: Exploitable Buffer Overflow Detection by Information Flow Tracking | IEEE Conference Publication | IEEE Xplore