【论文分享】Automated Vulnerability Detection in Source Code Using Deep Representation Learning

本文主要是介绍【论文分享】Automated Vulnerability Detection in Source Code Using Deep Representation Learning,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

论文名:Automated Vulnerability Detection in Source Code Using Deep Representation Learning

开源数据集:https://osf.io/d45bw/

简介

软件漏洞很多,且造成了很严重的威胁。作者用机器学习做了源码级的漏洞检测系统。并且用三个静态分析工具(clang、flawfinder、cppcheck)做了一个打标签的数据集。基于这个数据集,作者使用深度学习做了一个漏洞检测工具。在真实软件包和juliet test做了评估。结果表明他们的深度特征学习是一个可行的方法来构建漏洞检测。

数据

image-20210401100345521

数据集主要分为三部分:

  • Juliet test
    • 有标签
    • 但只是代码片段,和真实代码差异较大
  • debian
    • 无标签
    • 真实代码
  • github
    • 无标签
    • 真实代码,数量多,有很多低质量代码

由于debian和github都没有标签,作者用三个静态分析工具(clang、flawfinder、cppcheck)来给这些代码打标签。

为了从函数源码中生成有用的特征,作者弄了个C/C++词法分析器去尽可能地使来自不同仓库的代码词法表示标准化。这样就可以只用156长度来表示代码。另外,一些不影响编译的代码,比如注释,都会被丢掉。

数据预处理的一个重要步骤是移除重复的函数。开源代码可能有很多包,这些包内可能有重复函数。这些重复的可能会影响性能指标和导致过拟合。为了解决这个问题,论文实现了一个很严格的去重过程。移除了任何带有重复源码的lexed表示或者重复的编译特征向量。这个编译特征向量由函数的控制流图、每个基本块里的操作和变量的def-use提取生成的。两个函数如果有相似的指令级行为或者函数性就有可能有相似的lex表示或者高度相关的漏洞。table1的passing curation表示的就是去重后还剩的数量,可以看出基本去掉了90%。

在函数级别对代码漏洞打标签是个难题。作者认为,常见的打标签的方法有静态分析、动态分析和commit-message/bug report tagging。

作者认为动态分析太耗时了,对LibTIFF就需要一天。也不适合他们。

提交信息标记这种方法难度高,生成标签质量低。在作者的测试结果中,人类和机器学习算法都不擅长使用提交信息来预测有无漏洞。作者认为这种方法大量减少了可以打标签的候选函数,以及需要后续人工检查,所以不适合他们的大数据集。

于是作者用三个开源静态分析工具(clang,flawfinder,cppcheck),来生成标签。每个静态分析器从不同的角度去检测。比如,clang就主要是去检查语法、变成风格这类。flawfinder主要针对CWE,并不针对其他方面,比如风格。因此作者整合了三个静态分析器,并且将他们的输出过滤来排除不是漏洞的,从而创建健壮的标签。由于有些CWE不会导致crash,虽然静态分析器也会把他们标记出来,但作者这里把他们的标签设定为no vulnerable。

image-20210401103448931

方法

image-20210401100259391

1.embedding

  • 维度:k=13
  • 高斯噪声
    • $\mu=0 $
    • σ 2 = 0.01 \sigma^{2}=0.01 σ2=0.01

2.feature extraction

CNN

  • filter size : m= 9
  • # of filter : n = 512

RNN

  • GRU hidden state size n ’ = 256 n^{’}=256 n=256

3.pool

4.dense layers

  • 50% drop out

5.training

  • batch size : 128
  • learning rate : CNN( 5 ∗ 1 0 − 4 5*10^{-4} 5104) RNN( 1 ∗ 1 0 − 4 1*10^{-4} 1104)
  • adam + cross entropy loss

结果

从结果来看,这里CNN要表现得比RNN好。另外,CNN训练得更快,并且需要更少的参数。并且在juliet test上的效果要好得多。这是因为juliet test的数据特征都比较相似。

在所有静态分析工具里,clang在juliet test的表现最好,但和ML比还是差点意思。

作者认为他们的ML方法比传统的静态分析要好,主要好在以下几点:

  • 作者的传统词法分析器和ML模型可以快速地对大型仓库和源代码评分。
  • 由于ML方法输出的是概率,所以可以调整概率的阈值来实现理想的准确率和召回率。
  • 可以用可视化技术来帮助理解为什么算法做了这个决策。

image-20210401100320664

感想

在一篇综述看到这篇论文,看到引用次数还蛮多的,有92次,感觉有点意思就细看了一下。文章总体思路很简单,就是自己做了个数据集,然后用简单的神经网络CNN、RNN来试一试。但是从结果来看,好像对于真实代码不是很理想。深度学习检测漏洞这个方向还有待发展。

这篇关于【论文分享】Automated Vulnerability Detection in Source Code Using Deep Representation Learning的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/274247

相关文章

Golang操作DuckDB实战案例分享

《Golang操作DuckDB实战案例分享》DuckDB是一个嵌入式SQL数据库引擎,它与众所周知的SQLite非常相似,但它是为olap风格的工作负载设计的,DuckDB支持各种数据类型和SQL特性... 目录DuckDB的主要优点环境准备初始化表和数据查询单行或多行错误处理和事务完整代码最后总结Duck

将Python应用部署到生产环境的小技巧分享

《将Python应用部署到生产环境的小技巧分享》文章主要讲述了在将Python应用程序部署到生产环境之前,需要进行的准备工作和最佳实践,包括心态调整、代码审查、测试覆盖率提升、配置文件优化、日志记录完... 目录部署前夜:从开发到生产的心理准备与检查清单环境搭建:打造稳固的应用运行平台自动化流水线:让部署像

vue解决子组件样式覆盖问题scoped deep

《vue解决子组件样式覆盖问题scopeddeep》文章主要介绍了在Vue项目中处理全局样式和局部样式的方法,包括使用scoped属性和深度选择器(/deep/)来覆盖子组件的样式,作者建议所有组件... 目录前言scoped分析deep分析使用总结所有组件必须加scoped父组件覆盖子组件使用deep前言

C#读取本地网络配置信息全攻略分享

《C#读取本地网络配置信息全攻略分享》在当今数字化时代,网络已深度融入我们生活与工作的方方面面,对于软件开发而言,掌握本地计算机的网络配置信息显得尤为关键,而在C#编程的世界里,我们又该如何巧妙地读取... 目录一、引言二、C# 读取本地网络配置信息的基础准备2.1 引入关键命名空间2.2 理解核心类与方法

Golang使用etcd构建分布式锁的示例分享

《Golang使用etcd构建分布式锁的示例分享》在本教程中,我们将学习如何使用Go和etcd构建分布式锁系统,分布式锁系统对于管理对分布式系统中共享资源的并发访问至关重要,它有助于维护一致性,防止竞... 目录引言环境准备新建Go项目实现加锁和解锁功能测试分布式锁重构实现失败重试总结引言我们将使用Go作

Python中列表的高级索引技巧分享

《Python中列表的高级索引技巧分享》列表是Python中最常用的数据结构之一,它允许你存储多个元素,并且可以通过索引来访问这些元素,本文将带你深入了解Python列表的高级索引技巧,希望对... 目录1.基本索引2.切片3.负数索引切片4.步长5.多维列表6.列表解析7.切片赋值8.删除元素9.反转列表

Python中处理NaN值的技巧分享

《Python中处理NaN值的技巧分享》在数据科学和数据分析领域,NaN(NotaNumber)是一个常见的概念,它表示一个缺失或未定义的数值,在Python中,尤其是在使用pandas库处理数据时,... 目录NaN 值的来源和影响使用 pandas 的 isna()和 isnull()函数直接比较 Na

Ilya-AI分享的他在OpenAI学习到的15个提示工程技巧

Ilya(不是本人,claude AI)在社交媒体上分享了他在OpenAI学习到的15个Prompt撰写技巧。 以下是详细的内容: 提示精确化:在编写提示时,力求表达清晰准确。清楚地阐述任务需求和概念定义至关重要。例:不用"分析文本",而用"判断这段话的情感倾向:积极、消极还是中性"。 快速迭代:善于快速连续调整提示。熟练的提示工程师能够灵活地进行多轮优化。例:从"总结文章"到"用

【专题】2024飞行汽车技术全景报告合集PDF分享(附原数据表)

原文链接: https://tecdat.cn/?p=37628 6月16日,小鹏汇天旅航者X2在北京大兴国际机场临空经济区完成首飞,这也是小鹏汇天的产品在京津冀地区进行的首次飞行。小鹏汇天方面还表示,公司准备量产,并计划今年四季度开启预售小鹏汇天分体式飞行汽车,探索分体式飞行汽车城际通勤。阅读原文,获取专题报告合集全文,解锁文末271份飞行汽车相关行业研究报告。 据悉,业内人士对飞行汽车行业

AI hospital 论文Idea

一、Benchmarking Large Language Models on Communicative Medical Coaching: A Dataset and a Novel System论文地址含代码 大多数现有模型和工具主要迎合以患者为中心的服务。这项工作深入探讨了LLMs在提高医疗专业人员的沟通能力。目标是构建一个模拟实践环境,人类医生(即医学学习者)可以在其中与患者代理进行医学