【摘 要】
：
随着计算机技术应用的不断深化,软件的数量和需求不断增加,开发难度不断升级。代码复用以及代码本身的复杂度,使得软件中不可避免地引入了大量漏洞。这些漏洞隐藏在海量代码
【机 构】
：
南京航空航天大学计算机科学与技术学院,高安全系统的软件开发与验证技术工信部重点实验室
【基金项目】
：
国家自然科学基金(61972197),中央高校基本科研业务项目(NS2019055)
论文部分内容阅读
随着计算机技术应用的不断深化,软件的数量和需求不断增加,开发难度不断升级。代码复用以及代码本身的复杂度,使得软件中不可避免地引入了大量漏洞。这些漏洞隐藏在海量代码中很难被发现,但一旦被人利用,将导致不可挽回的经济损失。为了及时发现软件漏洞,首先从源代码中提取方法体,形成方法集;为方法集中的每个方法构建抽象语法树,借助抽象语法树抽取方法中的语句,形成语句集;替换语句集中程序员自定义的变量名、方法名及字符串,并为每条语句分配一个独立的节点编号,形成节点集。其次,运用数据流和控制流分析提取节点间的数据依赖和控制
其他文献
<正>近日,中国移动与中兴通讯正式签署合作备忘录,依托中国移动5G联合创新中心开展合作,聚焦5G端到端通信、物联网、车联网、智能制造、虚拟现实等高端领域的研究和应用,推动
在"后4%"时代教育经费相对充足的新背景下,对如何监管好教育经费、防止腐败尚缺乏理论探讨和政策实践。本文从法律框架、组织机构、绩效问责、廉洁教育和公众参与五个方面,比
社会主义新农村建设要解决的实质问题是城乡一体共同发展，缩小贫富差距，提高农民生活质量。目前，摆在我们面前的问题是如何提高农民的收入，如何改善农民生活质量，如何调整农民收入
卓越工程师计划是为工科教育更新教育思路、造就创新人才的培养模式。焊接卓越工程师计划实行“三明治式”培养模式,和沈阳瑞能集团密切配合完成培养试点工作。通过卓越工程
以钢板梁桥的检测为主,比较系统和全面的对桥梁的检测进行了叙述,对检测手段和方式进行了具体说明,并通过具体工程实例对现有的检测方式进行分析测试,提出了改进处理措施,为
针对农田水利工程设计中已有缺陷、施工效率低及后期运行管理不便等问题,引入了BIM(BuildingInformation Modeling)技术,以某田间工程为例,利用Bentley系列软件与CATIA相结合
针对通信设备电子器件封装密度不断提高，热流密度不断增加的现实，从通信设备机械设计方面出发，阐述了通信设备热设计的设计方法。经过试验证明该方法能够有效地提高通信设备的散
本研究讨论网络群体性事件中政府应对方式差异问题,即政府对网络群体性事件的应对处置为何会采取不同的应对方式。在过去的若干年里,政府在持续地摸索和总结,逐步深化了对网