欢迎访问中国科学院大学学报,今天是
一种多重循环程序内存访问越界检测方法
王嘉捷, 蒋凡, 张涛
Detection method for memory overrun in multi-loop programs
WANG Jia-Jie, JIANG Fan, ZHANG Tao
中国科学院大学学报 . 2010, (1): 117 -126 .  DOI: 10.7523/j.issn.2095-6134.2010.1.015