OOBD: A Tool for Locating Array Bounds Errors in C/C++ Programs

摘要：

It is quite difficult to stop a programmer from stepping across an array boundary and also hard to find out all of such bugs. This paper describes an easy and practical approach used to detect the errors about array bounds. With the help of instrumentation, checking the OOB (Out-Of-Bounds) errors in C/C++ programs can be converted into checking for condition violation. The diagnostic expressions inserted into the program will check the array references and generate error messages such as location and causes. So it eases programmers work on locating the array bounds errors. A prototype tool called OOBD (Out-Of-Bound Detecting) using this technique is designed and developed. The experiments show that it is effective in detecting array bounds errors on programs using C/C++ arrays or STL (Standard Template Library) vector.

关键词： Array bounds detecting C/C++ Programming instrumentation

作者: Kunliang Han Qingguo Xu Yi Sun Xia Yin

作者单位: School of Computer Engineering and Science Shanghai University 20072 Shanghai P.R. China

会议类型: 国际会议

会议名称: 2010 4th International Conference on Intelligent Information Techonlogy Application(第四届智能信息技术应用国际学术研讨会 IITA 2010)

会议地点: 秦皇岛

会议语种:英文

页码: 344-347

在线出版日期: 2010-11-05（万方平台首次上网日期，不代表论文的发表时间）