%0 Journal Article
%T Detection method for memory overrun in multi-loop programs<br>一种多重循环程序内存访问越界检测方法
%A WANG Jia-Jie
%A JIANG Fan
%A ZHANG Tao
%A <br>王嘉捷
%A 蒋凡
%A 张涛
%J 中国科学院研究生院学报
%D 2010
%I 
%X A detection method for memory overrun is presented to overcome multi-loop problems: (1)identifies suspicious defects and their dependent regions;(2)analyzes multi-loops by CR# algebra;(3)infers probability of triggering defect and path guide information;(4)detects defects based on symbolic execution;and (5)finds defects,trigger paths,and program input. A prototype tool has been implemented,and it found real defects in several open source softwares. The results show that the new method can avoid blind path t...
%K software defect detection
%K static analysis
%K symbolic execution
%K loop analysis
%K CR# algebra<br>软件缺陷检测
%K 静态分析
%K 符号执行
%K 循环分析
%K 递推链扩展代数
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=B5EDD921F3D863E289B22F36E70174A7007B5F5E43D63598017D41BB67247657&cid=B47B31F6349F979B&jid=67CDFDECD959936E166E0F72DE972847&aid=4697698615A30E24A4A5F6E12DD487E3&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=CA4FD0336C81A37A&sid=7555FB9CC973F695&eid=6FBD78E3BAB60869&journal_id=1002-1175&journal_name=中国科学院研究生院学报&referenced_num=0&reference_num=11