supported by National Natural Science Foundation of China(Grant Nos.60970028,60703076,61073179)
Software vulnerability detection is one of the most important methods for guaranteeing software security. Two main classes of methods can detect vulnerabilities in binary files: white-box testing and black-box testin...