Zhiqiang Lin Xiangyu Zhang Dongyan Xu Convicting exploitable software vulnerabilities: An efficient input provenance based approach. 247-256 2008 DSN http://dx.doi.org/10.1109/DSN.2008.4630093 conf/dsn/2008 db/conf/dsn/dsn2008.html#LinZX08