基于对象的C程序边界安全检测改进技术
马银雪,李文明,陈 哲
Improved Object-based Approaches for Bounds Checking of C Programs
MA Yin-xue, LI Wen-ming, CHEN Zhe
计算机与现代化 . 2015, (10): 25 -30 .  DOI: 10.3969/j.issn.1006-2475.2015.10.006