【摘 要】
:
软件系统规模以及复杂性的不断增大,软件安全问题层出不穷,其产生的原因往往是程序本身在代码设计或实现过程中的错误或缺陷(称为漏洞),普通软件工程师的缺陷密度一般为50—250个缺陷/KLOC。在源码级别对程序进行漏洞扫描和安全审计,可以在源头上减少10%—50%安全漏洞的产生。但现存基于词法分析的静态漏洞扫描工具未充分考虑上下文,无法准确判别误报漏洞代码的固有特征,存在大量误报信息,开发人员需要手动
论文部分内容阅读
软件系统规模以及复杂性的不断增大,软件安全问题层出不穷,其产生的原因往往是程序本身在代码设计或实现过程中的错误或缺陷(称为漏洞),普通软件工程师的缺陷密度一般为50—250个缺陷/KLOC。在源码级别对程序进行漏洞扫描和安全审计,可以在源头上减少10%—50%安全漏洞的产生。但现存基于词法分析的静态漏洞扫描工具未充分考虑上下文,无法准确判别误报漏洞代码的固有特征,存在大量误报信息,开发人员需要手动筛选正报漏洞,不仅增大维护成本,甚至导致部分开发人员弃用扫描工具。为了降低目前漏洞扫描工具误报率,本文依托于公司的众包审核平台,设计并实现了一个人机协同Java字节码漏洞扫描系统。本文对静态漏洞扫描工具以及常见误报漏洞进行了分析,详细研究了字节码上下文提取、代码特征提取以及机器学习分类模型,同时融合众包专家审核,并结合实际场景中的漏洞扫描需求,实现该系统。首先,系统基于静态漏洞扫描工具对项目进行漏洞扫描,并确保其完备性。其次,基于Joana(Java Object-sensitive ANAlysis)程序切片工具对漏洞相关代码进行上下文提取,并基于N-gram语言模型对代码上下文进行特征提取。然后,利用基于完全匹配、随机森林算法的双层分类模型对扫描漏洞结果进行误报过滤。最后,将漏洞结果送予众包审核进行专家误报漏洞过滤,并将审核结果存储留作后续过滤模型的迭代训练。并根据最终漏洞结果为用户提供机器过滤以及专家审核融合的完备、低误报漏洞扫描报告。本系统主要分为交互展示模块、漏扫核心模块以及迭代学习模块,并使用Spring Boot框架、Pug模板引擎、微服务等技术与架构完成系统的实现。本文实现的人机协同Java字节码漏洞扫描系统提供低误报漏洞扫描服务。在OWASP数据集上实验表明,本系统在95.39%召回率的情况下,其精准率可以达到89.71%,与原版扫描工具相比,本系统将误报率减少近22%。本系统在确保低漏报率的基础上有效地降低传统静态漏洞扫描工具的误报率,从而节约维护成本,帮助开发者提高代码整体质量。目前,本系统已在公司平台上线,用于支撑公司静态漏洞扫描服务。
其他文献
以监察留置取代“两规”措施是我国监察体制改革的重要内容,《监察法》明确予以确认,这标志着该项制度完成了从党内法规措施到国家监察措施的转变,具有明显的法治进步意义。虽然《监察法》对监察留置的适用条件、审批、执行和期限等内容进行了相应规范,但篇幅有限,且一些内容抽象、笼统,操作难度大,以致在实践中产生了适用条件不明确、审批程序不严密、执行中对被调查人权利保障不足和内外监督乏力等问题。本文旨在通过对我国
我国有着世界上面积最大,最集中的黄土,占全世界黄土面积的4.9%,这些黄土主要分布于全年降雨稀少的半干旱地区,因此黄土地区的农业发展需要大量的灌溉,而长年不合理的灌溉方式改变了黄土地区的地下水平衡,诱发了大量的黄土滑坡灾害。位于甘肃省永靖县的黑方台地区由于50多年的农业灌溉导致地下水位抬升,诱发滑坡200余起,严重威胁着当地人民生命财产安全。对黄土滑坡进行监测预警是行之有效的防灾避险措施,而黄土滑
为满足由人们生活水平日益提高引发的大量个性化需求,制造企业的生产模式逐渐转向小批量、多品种的定制化生产模式。面向定制化生产,单个制造企业各个环节的独立运作已经很难快速地应对高频变动的个性化需求,整合各个环节的资源进行协同运作已经成为必然选择。同时,由于个性化需求的高不确定性使得生产运作过程中不可避免地受到来自于订单、资源、质量等多方面的动态干扰。因此,在定制化生产方式下,如何面向随机动态干扰通过各
随着改革开放进程的加快,新型工业化城镇化快速发展,如何将有限的土地分配得既满足经济发展的需要,又能够保障耕地红线,维护粮食安全,是当前土地管理科学研究的重要问题之一
随着地震勘探开发难度增加,地震资料处理解释的难度也随之增大,单一的方法往往很难实现地质体的精细刻画。为了合理地使用地震资料,并从地震资料中得到重要的地震勘探信息,进而提取关键的储层属性,为储层的刻画寻找一种更高效的方法。本文从常规的时频处理方法研究入手,着重研究基于经验模态分解(EMD)的一系列方法,拓展了基于EMD的新方法并有效地应用到储层预测中来,为油气的识别和刻画提供了新的依据。其主要研究内
随着我国互联网技术的飞速发展,第三方支付机构大量涌现。为进一步规范第三方支付机构在互联网金融体系中的职能,由中国支付清算协会推动成立了网联清算有限公司(以下简称“网联”)。网联出现后的通过第三方支付机构进行支付的互联网支付模式称之为“网联模式”。网联模式下,银行与支付机构的对接需要经过网联进行转接,即所有支付类交易请求需经过网联进行转发。所以银行在与支付机构直连的传统模式下的支付处理系统已不适合当
主被动空间巡航作为巡航过程中的两种方式,一直受到研究者的广泛关注。虽然已有大量研究者对这两种方式巡航效率进行了比较研究,但尚未有一致结论。另外,以往研究主要在于探
由于现代科学技术的高速发展,各种电子、电气及通讯设备的应用带来的电磁辐射污染变成一种社会危害,引起人们的高度关注。作为一种有效吸收电磁波的特殊材料,吸波材料可以使电磁能转变为热能而消散或使电磁波以干涉形式消除。长远来说,单一组分吸波材料无法满足频带宽、厚度薄、吸收强的需要,复合吸波材料将成为吸波材料研究的热点。铁钴基材料由于具有较好的吸波性能从而得到广泛的应用,但也存在着面密度大、介电较高导致匹配
超空泡减阻技术是目前降低水下航行体所受阻力、提高航行体航速的最有效方法。该减阻技术采用自然或人工通气的方式产生空泡包裹航行体,使水下航行体的沾湿面积大大减小,进而达到减阻的目的。然而,超空泡航行体由于表面被空泡包裹,几乎不再受水的浮力作用,其动力学特性与常规水下航行体相比更加复杂,给超空泡航行体的动力学建模及稳定控制带来了巨大的挑战。本文在理论研究的基础上结合实验研究,改进了超空泡航行体的纵向理论
本实验设计制备了四种具有特定Y/Zn(wt.%)比的挤压Mg-Y-Zn合金。采用SEM和TEM分析研究了Y/Zn(wt.%)比对Mg-Y-Zn合金的组织结构变化的影响。同时,利用拉伸试验、电化学和浸泡方法研究了Mg-Y-Zn合金的力学性能和腐蚀行为。通过SEM观察腐蚀后样品表面形貌,研究了其腐蚀机理。结果表明:(1)铸态合金相组成为α-Mg和长周期堆垛有序结构(Long-period stacki