【摘 要】
：
随着软件技术的快速发展,软件的规模不断扩大,代码缺陷排查的难度日益增大,一些代码缺陷来源于某些输入源。分析缺陷的输入源需要用户投入大量的时间和精力。提供缺陷点的相关输入源信息和输入源到缺陷点的数据流传播信息可以有效减少用户的工作量,提升开发效率。为快速定位缺陷点的输入源和分析输入源到缺陷点的数据流传播信息,本文提出了一种基于源代码的全局溯源分析方法。该方法以数据流分析为基础,根据缺陷点对数据传播进
论文部分内容阅读
随着软件技术的快速发展,软件的规模不断扩大,代码缺陷排查的难度日益增大,一些代码缺陷来源于某些输入源。分析缺陷的输入源需要用户投入大量的时间和精力。提供缺陷点的相关输入源信息和输入源到缺陷点的数据流传播信息可以有效减少用户的工作量,提升开发效率。为快速定位缺陷点的输入源和分析输入源到缺陷点的数据流传播信息,本文提出了一种基于源代码的全局溯源分析方法。该方法以数据流分析为基础,根据缺陷点对数据传播进行反向推导进而计算出缺陷点的输入源,从而实现全局溯源的功能。本方法利用抽象语法树和控制流图来对程序块的节点进行解析。通过对节点解析获取源代码信息;通过函数摘要解决数据流跨函数传播的情况;通过定值分析判断目标点是否需要迭代;通过计算目标点的前驱节点可以获取溯源变量的上一层节点信息,最后根据上述分析达到全局溯源分析的目的。本文提出的方法既可以用于静态缺陷检测中对缺陷点相关联的外部输入的分析,也可以用于污点分析技术中对不可靠输入数据传播的分析。本文所述的基于源代码的全局溯源分析方法已在缺陷检测系统DTS中实现。通过对5个开源工程的检测结果进行分析,该方法溯源准确率约为80%,为静态缺陷检测工具检测大规模的软件提供了有力支持。
其他文献
随着我国基础教育课程改革和素质教育的实施,“研究性教学”的理念逐步被应用到物理教学当中,对学生的终身发展具有重要的作用。习题教学作为物理教学的重要组成部分,对学生终身发展和课程目标的实现具有十分重要的作用。但是现阶段的习题教学当中依然存在较多的问题:“题海战术”盛行、教学方式单一、课堂氛围低沉、学生课堂主动性,主体性不高、习题课效率不高等。为解决现阶段的习题教学问题,突出培养学生的知识技能、实践能
在超分子化学中,瓜环(Q[n]s or CB[n]s)是具有刚性空腔的典型大环主体分子。通常瓜环与荧光分子形成复合物,可显著改变荧光分子的光学性质。例如,瓜环家族中的八元瓜环可以在其空腔内结合2个客体分子(如荧光分子)并产生明显的荧光变化。本文考察了七、八元瓜环与线性吡啶基荧光分子间的相互作用,主要包括以下内容:1.通过荧光法监控七元瓜环与不同长度的直线型吡啶基荧光分子形成类轮烷的过程。合成了一系
核能作为一种高效清洁能源,日益受到全球各国的重视,核电产业在新时代发展中的重要作用也逐步凸显。中国民用核电产业自上世纪80年代开始发展至今,通过创新驱动发展,已实现了由当初对国外二代技术的“引进来”到目前自主三代技术华龙一号的“走出去”,我国正迈进核电大国行列,核电装备国产化水平也有了大幅度提高。但是在某些关键核心技术上我们还存在短板,这也制约了我国由“核电大国”向“核电强国”的转变,而“关键核心
传感器网络是一种由传感终端装置通过网络连接而形成的计算机网络,软件定义的无线传感网络在传感网络中引入了集中控制的思想,带来了集中控制的优势。但是无线传感器网络节点的能耗问题一直是节点能量受限的传感网络的最大挑战,在软件定义架构下也没有得到有效的解决。为进一步在软件定义的传感网络架构下改善软件定义无线传感网络能耗问题,本文研究了现有的软件定义无线传感网架构和路由技术,提出了局域控制机制:基于软件定义
新世纪以来,各方面发展都很迅速这其中表现尤为突出的就是科技,行行色色的便携式电子产品不断涌现并且更替很快。这些产品的不断发展在为人们生活带来便利的同时也对电源管理芯片的性能提出了更高的要求。因为大多数电子产品都会需要电源来给其他部分供电,电源芯片是整个产品的基础。其中电流模式控制的电源芯片由于其瞬态响应速度快、带载能力强、转换效率高等特点已经成为如今使用的主流。本文就以基于峰值电流模式控制采用PW
随着普适计算、无线传感网络以及物联网(internet of things,IOT)的迅猛发展,室内区域定位技术在老人健康监测、智慧大楼、入侵检测等领域发挥着重要作用。因为无线信号的非视距、覆盖范围广、全天候工作等特点使得基于无线信号接收信号强度指示(received signal strength indication,RSSI)的区域定位优于传统基于红外、视频、光学感知的室内区域定位方法。国内
萘-1,5-二磺酸钠在配位聚合物固态化学反应中是一种重要的单体,可用来构筑柔性的三维层状结构。单体的结晶对固态化学反应具有重要影响,可通过控制单体的结晶过程调控晶体的纯度、晶型、晶习、晶粒大小及分布等质量属性,从而影响后续的单晶-单晶转化。而在优化结晶过程中,萘-1,5-二磺酸钠在常用的纯溶剂和二元溶剂体系中的溶解度数据是必不可少的。然而,到目前为止萘-1,5-二磺酸钠在相关溶剂中的溶解度尚未报道
党的十九大报告指出,我国社会矛盾已经发生了深刻的变化,主要表现为人民日益增长的美好生活需要与不平衡不充分的发展之间的矛盾。随着人民生活水平的不断提升,居民消费已经不仅仅局限于基本的物质消费,而是开始追求更高层次的精神文化消费。当前,文化消费已经成为居民消费的一个热点和新趋势,文化需求也呈现出个性化、差异化、多样化的特征。文化消费不同于一般的物质商品消费,它既具有商品消费的经济属性,又具有满足人民精
知识经济时代,知识在经济发展中的作用正在逐步超过土地、劳动力等传统生产要素发挥的作用,成为一种极其重要的新型竞争资本。知识作为企业应对市场变化、提升创新能力的重要战略资源,很多企业都致力于通过加强知识管理来提升活力与创新能力。高新技术企业是拥有较强技术创新能力、高端技术开发能力的知识密集型经济实体,但是目前我国高新技术企业知识创新能力和发达国家相比还存在一定差距,企业知识共享障碍和创新研发后劲不足
学术图书在学术交流与传播的中具有无可替代的作用,然而,由于学术图书受众小、边际成本高、盈利性弱的原因,学术图书出版业日益萎缩。出版社不愿出版,书店不愿销售,读者购买成本高昂的现象日渐发生。开放获取的出现则为学术图书带来新的活力。在国外部分图书出版商、大学出版社、图书馆都在进行着开放获取图书商业模式的实践尝试。本文选择通过双边市场商业模式来对图书开放获取进行研究。基于双边市场理论,本文建立“供给方”