【摘 要】
：
返回值敏感型函数是一类常见的安全敏感函数,错误使用返回值敏感型函数会导致潜在的安全风险。通过人工从源代码项目中识别返回值敏感型函数存在效率低、易出错的问题。基于
【机 构】
：
信息工程大学,数学工程与先进计算国家重点实验室,94635部队
【基金项目】
：
国家自然科学基金资助项目(U1736214)
论文部分内容阅读
返回值敏感型函数是一类常见的安全敏感函数,错误使用返回值敏感型函数会导致潜在的安全风险。通过人工从源代码项目中识别返回值敏感型函数存在效率低、易出错的问题。基于代码挖掘的思想提出了一种返回值敏感型函数自动识别和优先级评估方法。利用返回值敏感型函数的返回值应当被检查的特征来进行函数识别,利用返回值被检查后不同路径分支上的语句数量差异、路径数量差异以及返回值使用差异三个特征进行函数优先级评估。通过对多个开源项目的实验,验证了方法的有效性,识别结果的平均精确率为0.70,平均召回率为0.83。
其他文献
目的探讨人工气道气囊压力测定与维护的有效方法。方法将100例气管插管机械通气患者随机分为对照组46例和观察组54例。对照组采用单纯气囊测压表测压,每8小时测量1次;观察组
综观今天中国的电视屏幕,可以说是热闹非凡,滚动播出的新闻,不同档的电视连续剧,群星荟萃的电影,花团锦簇的综艺节目……还有电视纪录片。中国电视纪录片自90年代蓬勃发展以
汽车,作为一种便利的交通工具,在人们的生活中扮演了重要的角色。随着人们物质生活水平的提高,人们对汽车外观造型有了更高的要求。为了适应人们的需求,在激烈的市场竞争中立
图象识别技术应用领域十分广泛,是当前研究的热点问题之一,很多的专家学者都在这方面进行了研究,取得了一些很好的成果。剪纸是我国历史悠久的传统民间艺术之一,随着动漫产业
传统运载火箭测量系统的参数测量采用时分制数据采集方式,系统为由中心程序单元和多个远置采编单元组成的集中分布式结构,数据接口众多、扩展不便。MIL-STD-1553B数据总线技
热风炉是利用燃料燃烧生成的热和空气进行换热,生产热风的设备,是流化干燥、喷雾干燥、塔式干燥、隧道干燥及回转干燥等装置的主要辅助设备,在粮食烘干领域有着广泛应用。目前我国粮食干燥系统常用的燃煤热风炉热效率仅有60%75%,其中很大一部分原因是由于煤粉不完全燃烧造成的,配风问题成为提高煤粉燃烧热效率的重要组成部分和技术难点。合理进行风煤配比,对于提高热风炉燃烧效率、促进节能减排具有重要意义。本文首先建
针对云存储环境下数据完整性验证机制中的数据可恢复验证方案(proof of retrievability,POR)存在的损坏数据检测时间长和数据恢复开销大的问题,设计了一种基于功能性最小存储
分布式流量调节将风洞试验中的进气道出口后的流动转化为多个区域的流动,通过调整导流片组合之间的相对位置,改变导流片组合之间不同区域的流通面积,实现流体流量的调节。利
气固两相颗粒喷射技术应用广泛,故对其影响因素的研究具有重要的工程意义。首先利用正交实验设计原理对压强与质量2个因素进行安排实验;然后基于CFD-DEM模型利用FLUENT进行数
在中华民族多彩多姿的艺术文化园中,绣花布鞋堪称其中的一朵奇葩。在今天这样一个崇尚传统精髓,追求自然健康的时代,已沉寂了若干年的绣花布鞋开始重出江湖,再领风骚。宁波象