EBound一种高效的空间内存错误检测方法-计算机应用与软件.PDFVIP

第３２卷第７期　　　 计算机应用与软件 Ｖｏｌ３２Ｎｏ．７ ２０１５年７月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｊｕｌ．２０１５ ＥＢｏｕｎｄ：一种高效的空间内存错误检测方法 １，２ １ １，２ １，２ 赵晓柯 　丁丽萍　吴　伟 　卢国庆 １（中国科学院软件研究所基础软件国家工程研究中心　北京 １００１９０） ２（中国科学院大学　北京 １００１９０） 摘　要　　空间内存错误是Ｃ语言程序中经常出现的一种漏洞。针对目前空间内存错误检测方法的性能开销高的问题，提出一种 高效的空间内存错误检测方法ＥＢｏｕｎｄ。ＥＢｏｕｎｄ使用动态指针边界检测方法检测程序中的空间内存错误，并使用静态污点分析方 法来消除不必要的指针边界检查，从而降低了性