C程序内存安全的运行时检测方法研究和实现

摘要：

随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.然而由于C语言自身缺乏边界检测的机制,使得它不能确保软件的可靠性与安全性.当前的检测方法都或多或少存在问题,如不兼容、不完整等.设计了一种完整的C程序内存安全的运行时检测方法,能确保C程序的时间内存安全和空间内存安全.本文是采用基于指针方法,并且借助开源编译器clang实现了确保C程序内存安全的运行时验证工具TASSafe.通过实验证明我们的工具是有效并且是高效的.

关键词：运行时验证、缓冲区溢出、时间内存安全、空间内存安全、基于指针

所属期刊栏目：38

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金项目61100034;国家自然科学基金委员会-中国民航局民航联合研究基金项目U1533130;教育部留学回国人员科研启动基金项目2013

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

页数：共5页

页码：2358-2362