C程序数组越界的运行时验证技术研究与实现

C程序数组越界的运行时验证技术研究与实现

李文明，陈哲，李绪蓉，黄志球

Runtime verification of array bounds overflow of C programs

LI Wenming, CHEN Zhe, LI Xurong, HUANG Zhiqiu

计算机工程与应用 . 2015, (11): 190 -195 .