Detection method for memory overrun in multi-loop programs
一种多重循环程序内存访问越界检测方法

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...