基于抽象内存模型的内存相关漏洞检测方法
许健, 陈平华, 熊建斌
Memory-Related Vulnerability Detection Method Based on Abstract Memory Model
XU Jian, CHEN Pinghua, XIONG Jianbin
计算机工程与应用 . 2022, (8): 96 -108 .  DOI: 10.3778/j.issn.1002-8331.2010-0354