Detection method of program buffer overflow based on Petri Net
HUANG Jin-zhi, HU Jian-sheng, LIAO Yun, CHAI Ren-wen
Journal of Computer Applications . 2005, (05): 1219 -1221 .  DOI: 10.3724/SP.J.1087.2005.1219