@article{LI Wenming_190, author = {LI Wenming, CHEN Zhe, LI Xurong, HUANG Zhiqiu}, title = {Runtime verification of array bounds overflow of C programs}, publisher = {Computer Engineering and Applications}, year = {2015}, journal = {Computer Engineering and Applications}, volume = {51}, number = {11}, eid = {190}, pages = {190-195}, keywords = {

array bounds overflow; runtime verification; program instrumentation

}, url = http://cea.ceaj.org/EN/abstract/article_33304.shtml }