【摘 要】
：
缓存区溢出能引起非常严重的安全问题,对网络和分布式系统（如机群,网格,P2P系统等）构成严重威胁。数组越界在缓存区溢出中占据重要位置,如何检测数组越界错误是一个重要且极具
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金(No.61100034,No.61170043);中国博士后科学基金项目(No.20110491411,No.2012T50498);江苏省博士后科研资助计划项目(No.1101092C)
论文部分内容阅读
缓存区溢出能引起非常严重的安全问题,对网络和分布式系统（如机群,网格,P2P系统等）构成严重威胁。数组越界在缓存区溢出中占据重要位置,如何检测数组越界错误是一个重要且极具意义的课题。针对该课题,给出一种对C语言数组越界进行运行时验证的方法。分析了数组越界的错误类型,根据这些类型分别研究了数组越界的运行时验证的思想;设计了基于程序插桩进行数组越界动态检测的算法,给出了该方法基于开源编译器Clang的具体实现;用实验证明了该方法是切实可行并且有效的。
其他文献
阅读对国家的富强、民族的兴旺、个人的发展意义重大.在＂大力推动全民阅读＂的背景下,高校图书馆要认真分析大学生群体的特点和阅读中存在的问题,充分发挥高校图书馆的资源优势
美国最新公布的一项研究成果显示,对肥胖症患者来说,减肥不仅可以降低罹患多种与肥胖相关疾病的风险,还有助于提高记忆力。
随着我国金融体制改革的不断深化和金融创新步伐的加快，金融机构种类日益增多、金融业务内容不断拓展、系统运行更加复杂、风险识别难度持续加大，这对金融监管方法和能力提也了
在现代日常生活、工业生产、石油、化工等行业中,由于机械设备所处的环境恶劣,它们的实际使用寿命常常会大大缩短。表面熔覆技术是一种应用广泛的表面冶金技术,具备生产效率
易门县是山区农业县,农业是该县最基础也是最重要的行业,是农民增产增收的保障。自2006年实施农机购置补贴政策以来,易门县农机发展迅猛,有效提升了该县的农业生产效率,加速
宋润民（1975-），男，汉，山东泰安人，苏州大学文学硕士，曲阜师范大学美术学院副院长，副教授。
最近几年,轻微刑事案件开始出现喷井现象,法院刑事审判面临巨大压力。为解决这个现实困境,全国人大常委会授权最高法在全国18个城市开展速裁的试点工作,这是我国首次在立法前
苗木是造林的基础，选购苗木正确与否直接关系到造林的成活率及经济效益。因此，在选购优质苗木时要做到以下几点:$$ 一、注意品种选择。品种习性要适合当地自然环境条件，一般
大巴山国家地质公园岩溶景观种类齐全、组成系统完整,其发育和分布受构造控制作用显著。文章探讨大巴山国家地质公园岩溶景观特征及其空间分层结构受构造控制的作用机制,发现
<正>在威尼斯穆拉诺岛(Murano)古老的Rio dei Vetrai运河河畔,多个世纪以来拥有闻名世界的窑炉,Barovier&Toso就在这个威尼斯岛屿上打造了一座独一无二的华丽殿堂,让世人欣赏