【摘 要】
：
随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.然而由于C语言自身缺乏边界检测的机制,使得它不能确保软件的可靠性与安全性.当
【机 构】
：
南京航空航天大学计算机科学与技术学院,软件新技术与产业化协同创新中心
【基金项目】
：
国家自然科学基金项目(61100034)资助;国家自然科学基金委员会-中国民航局民航联合研究基金项目(U1533130)资助;教育部留学回国人员科研启动基金项目(2013)资助
论文部分内容阅读
随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.然而由于C语言自身缺乏边界检测的机制,使得它不能确保软件的可靠性与安全性.当前的检测方法都或多或少存在问题,如不兼容、不完整等.设计了一种完整的C程序内存安全的运行时检测方法,能确保C程序的时间内存安全和空间内存安全.本文是采用基于指针方法,并且借助开源编译器clang实现了确保C程序内存安全的运行时验证工具TASSafe.通过实验证明我们的工具是有效并且是高效的.
其他文献
【正】 一《狂人日记》是“五四”文学革命的宣言书,也是中国现代文学的开山之作。但是,这又是一篇争论较多的作品。目前分歧最大的,已经不是真假狂人之争(这似乎接近解决了)
自从新会计准则在2006年2月出台之后,我国企业的财务管理工作大都受到了不同程度的影响,本文结合了作者多年以来在企业财政管理中的经验,仔细分析了新会计准则对企业财务管理
煤矿井下电气设备的安全可靠运行，直接关系着矿井的安全生产。本文针对井下电气设备的安全与保护，阐述了对井下电气设备使用不当和不加保护可能会产生的各种事故，并提出预防措施
中国古代家具是中国文化艺术沉淀的一种附着形式,是在精神文化和制度文化影响下的器物文化的一种表现,它反映了中国古代特有的艺术风格和哲学。本文通过深入研究中国古代家具
<正>报道一例PHACES综合征,该病是由Frieden于1996年首次命名。PHACES为首字母缩写词的组合,分别代表了颅后窝畸形(P,posterior fossa malformations)、血管瘤(H,hemangioma)
通过分析地铁车站抗浮设计的原因,提出抗浮设计,系统地介绍了地铁车站的几种抗浮措施,并举例说明了抗浮设计方法在实际工程中的具体应用,以便地铁设计工作者对地铁抗浮设计有
天文辐射是地表实际入射太阳辐射的基础背景,也是辐射计算、太阳能资源评估和农业生产潜力估算等方面的重要天文参量。本文基于分辨率为30 m的福建省数字高程模型,使用MATLAB
政府信任是政府行使行政权力的重要基础,也是其行政效率的重要保障,当今社会公众对于政府的不信任感越来越强,已经开始影响到社会的安定和经济发展。本文从分析政府信任下降
为解析黑芸豆分离蛋白(Black kidney bean protein isolate, BKPI) -绿原酸(Chlorogenic acid, CA)复合体系中CA对BKPI功能性质的影响，研究了不同质量分数CA(0.05%、0.15%、0.
自2004年5月初,我校实行了新的早操模式——哪班先到齐哪班先进行跑步,每个班是一个相对独立的锻炼主体,这与以往以年级为单位,统一整队按顺序出发有着明显的不同。一、旧的