【摘 要】
：
为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求,设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术,改进现有的前向计算动态切片算法,利用动
论文部分内容阅读
为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求,设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术,改进现有的前向计算动态切片算法,利用动态程序切片收集程序运行时的动态信息,构造程序切片谱,设定相关统计量统计程序语句的脆弱性可疑度,生成脆弱性定位报告.在发现软件中存在的脆弱性后,该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析,实验证明了该方法的有效性.
其他文献
【正】 我不懂音乐 关于戏曲音乐的推陈出新说不出什么来。我觉得要搞舞台艺术的革新,首先必须有新剧目。现代题材的新剧目不用说,即令是新写的历史剧(甚至经过较大整理的传
滑阀付是电液伺服阀的关键件,通常采用气动综合测量以确定配磨余量和叠合量。分析了这种气动测量方法的缺点后,采用RL型气电传感器以解决气体小流量的测量问题,并且改用高精
在公路施工地基加固中,高压旋喷桩技术非常常见,应用范围很广,效果异常明显。本文结合这项技术的原理,详细分析了技术的要点与施工流程,旨在提升技术应用的规范性与合理性,实
集中供热采用数据采集及监控系统,每个换热站设置一套控制器及数据测量、控制仪表,使整个供热系统构成一套完整的SCADA系统,由监控中心对整个系统进行监控.控制器通过实现温
【正】 最近,观摩学习了成都、沈阳、兰州、新疆部队战士业余演出队、演唱组的演出,感到无比振奋、激动。节目所表现的革命英雄人物的思想和行动,豪迈的革命气概和强烈的战斗
任丘潜山油藏经过近30年的开采,目前已进入后期开发阶段.
新金桥区域内、碧云国际社区旁45万m^2大型别墅社区；一期现已售罄 二期2005年3月面世；中央景观公园、精装修后花园、三面环绕景观河道；二期蓝山再创新景观空间
从现场抽油杆偏磨状况知道,抽油杆本体或接箍偏磨严重,这是因为它们与油管壁有接触.出现接触的原因是在井下杆管的受力不可能达到理想状况的,抽油杆在井下运动过程中,与油管
随着九年制教育的普及,各种新情况、新变化、新矛盾不断出现,影响小学生安全的因素越来越复杂,对学校的安全稳定带来前所未有的冲击。本文主要论述了对小学生进行安全教育的
【正】 我们怀着崇敬的心情,欢迎来自战斗的英雄古巴的艺术使者——古巴国家交响乐团指挥恩里盖·冈萨莱斯·曼蒂西同志;在我们紧张而愉快的合作演出中,始终充满着战