Yuhan Gao Liwei Chen Gang Shi Fei Zhang A Comprehensive Detection of Memory Corruption Vulnerabilities for C/C++ Programs. 354-360 2018 ISPA/IUCC/BDCloud/SocialCom/SustainCom https://doi.org/10.1109/BDCloud.2018.00062 conf/ispa/2018 db/conf/ispa/ispa2018.html#GaoCSZ18