Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery | IEEE Conference Publication | IEEE Xplore