Memory-Related Vulnerability Detection Method Based on Abstract Memory Model
XU Jian, CHEN Pinghua, XIONG Jianbin
Computer Engineering and Applications . 2022, (8): 96 -108 .  DOI: 10.3778/j.issn.1002-8331.2010-0354