Runtime verification of array bounds overflow of C programs
LI Wenming, CHEN Zhe, LI Xurong, HUANG Zhiqiu
Computer Engineering and Applications . 2015, (11): 190 -195 .