基于深度学习的细粒度漏洞检测框架VulDeeLocator

最新推荐文章于 2025-05-20 19:52:43 发布
最新推荐文章于 2025-05-20 19:52:43 发布
阅读量138 收藏
点赞数
文章标签： 算法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/renhongxia1/article/details/131429714
版权

源自：IEEE Transactions on Dependable and Secure Computing

作者：Zhen Li, Deqing Zou, Shouhuai Xu, Zhaoxuan Chen, Yawei Zhu, Hai Jin.

背景与动机

设计与实现

图1  VulDeeLocator框架

图2  sSyVC和iSeVC的生成示例

图3  BRNN-vdl模型

实验结果

表1  使用不同漏洞候选表示与深度学习模型的效果对比

表2  VulDeeLocator与先进的漏洞检测器的实验结果对比

表3  VulDeeLocator在3个真实软件产品上的检测效果

表4  VulDeeLocator在真实软件产品上识别的漏洞

详细内容请参见：

https://ieeexplore.ieee.org/document/9416836

声明:公众号转载的文章及图片出于非商业性的教育和科研目的供大家参考和探讨，并不意味着支持其观点或证实其内容的真实性。版权归原作者所有，如转载稿涉及版权等问题，请立即联系我们删除。

“人工智能技术与咨询”   发布

renhongxia1
关注
论文阅读笔记——基于CNN-GAP可解释性模型的软件源码漏洞检测方法
IronmanJay
11-13 1934
本文是基于CNN-GAP可解释性模型的软件源码漏洞检测方法论文的阅读笔记，这是读到目前论文中唯一一篇中文论文，内容我个人觉得非常不错，很有借鉴价值，尤其是文中提出的关于源码漏洞的可解释性可视化分析的方法，对学习研究有很大的帮助。下面就随我一起好好欣赏这篇文章！
基于深度学习的源代码缺陷检测研究综述
小白学视觉
11-13 2199
点击上方“小白学视觉”，选择加"星标"或“置顶” 重磅干货，第一时间送达源自：软件学报 作者：邓枭 叶蔚 谢睿 张世琨摘要源代码缺陷检测是判别程序代码中是否存在非预期行为的过程, 广泛应用于软件测试、软件维护等软件工程任务, 对软件的功能保障与应用安全方面具有至关重要的作用. 传统的缺陷检测研究以程序分析为基础, 通常需要很强的领域知识与复杂的计算规则, 面临状态爆炸问题, 导致检测性...
VulDeeLocator：深度学习实现细粒度漏洞检测
资源摘要信息:"VulDeeLocator是一种基于深度学习的细粒度漏洞检测工具，专门用于C/C++语言编写的程序。该工具的优势在于它不仅能高效地检测出潜在的漏洞，还能将漏洞精确定位到代码的具体位置，从而提高了漏洞检测的...
sizeof 和strlen的对比
我爱我想但不嫉妒 我哭我笑但不抱怨 我羞我愧但不悲叹 我怒我恨但不自弃
05-17 884
sizeof 和strlen的对比及数组和指针笔试题解析
高被引二区优化算法——肝癌算法（Liver Cancer Algorithm，LCA）深度解析+性能测试
woaipythonmeme的博客
05-19 988
LCA的核心机制聚焦于肿瘤在寻找最有利生存环境时所表现出的适应性与侵袭性行为，算法通过演化搜索策略再现肝癌细胞在器官中逐步扩张并主导空间的动态机制，其数学建模确保了算法在解空间内的全局探索能力与局部开采能力之间的高效平衡。为确定肿瘤的体积，我们采用一种基于数学模型的计算方法，假设肿瘤呈半椭球形，该形态已在包括肝癌在内的多种癌症中被观察到。在LCA算法的该阶段中，其设计灵感源自真实肿瘤的扩散过程，假设肿瘤可在竞争环境中逐步选择最优路径深入肝脏的不同区域以实现侵占。）时，目标代理元素的肿瘤位置将被考虑。
黑马Java基础笔记-13常用查找算法
IKUNIKUNIKUNikun的博客
05-20 364
数学表达αnmαmn​，其中nnn为哈希表中当前元素数，mmm为桶的总数或槽位总数。意义：表示哈希表的“填充率”，负载因子高意味着更多的键映射到相同或相邻的位置，冲突概率也随之升高，从而增大查找或插入时的探测或链表长度。再哈希是指在哈希表运行过程中，检测到负载因子α\alphaα达到或超过预设阈值后，动态地创建一个更大的新表（通常容量翻倍），并将旧表中所有元素按照新表大小重新计算哈希并插入新表的过程。这一过程又称“扩容”（resize）或“重散列”，旨在降低α\alphaα。
算法练习：19.JZ29 顺时针打印矩阵
qq_34348690的博客
05-16 429
【代码】算法练习：19.JZ29 顺时针打印矩阵。
力扣.1471数组的k个最强值,力扣.1471数组的k个最强值力扣1576.替换所有的问号力扣1419.数青蛙​编辑力扣300.最长递增子序列
weixin_72953218的博客
05-15 422
力扣.1471数组的k个最强值 力扣1576.替换所有的问号 力扣1419.数青蛙​编辑 力扣300.最长递增子序列
《算法笔记》11.7小节——动态规划专题-＞背包问题 问题 C: 货币系统
2401_88085478的博客
05-20 106
举例来说, 使用一个货币系统 {1,2,5,10,...}产生 18单位面值的一些可能的方法是:18x1, 9x2, 8x2+2x1, 3x5+2+1,等等其它。传统地，一个货币系统是由1,5,10,20 或 25,50, 和 100的单位面值组成的。母牛想知道有多少种不同的方法来用货币系统中的货币来构造一个确定的数值。写一个程序来计算有多少种方法用给定的货币系统来构造一定数量的面值。母牛们不但创建了他们自己的政府而且选择了建立了自己的货币系统。(1<= N<=10,000)输入包含多组测试数据。
C/C++实践(十)C语言冒泡排序深度解析：发展历史、技术方法与应用场景
致力于硬件设计、人工智能知识及技术的分享，不断鞭策自己成长，共同进步！
05-17 1060
冒泡排序在嵌入式系统、小规模数据排序及与其他算法结合使用中仍有应用。未来，冒泡排序的并行化改造、机器学习结合及量子计算适配等研究方向或为其带来新的发展机遇。
【C++算法】69.栈_验证栈序列
最新发布
hlyd520的博客
05-20 180
直接用栈来验证栈序列。
网络流算法
yaoct的博客
05-18 956
最大流算法和最小费用算法都有贪心的思想，每次迭代都会离最大流网络更近一步。网络流的题目难度主要在抽象建模，很多问题同网络流联系起来并不那边直观。
LeetCode 1345. 跳跃游戏 IV（困难）
ZeroBugX的博客
05-20 620
LeetCode 1345. 跳跃游戏 IV - 详细题解
代码随想录算法训练营Day37 | 完全背包基础理论 518. 零钱兑换II 377. 组合总和Ⅳ 57. 爬楼梯（第八期模拟笔试）
m0_74154872的博客
05-19 160
背包空出物品i的容量后，背包容量为j - weight[i]，dp[i][j - weight[i]] 为背包容量为j - weight[i]且不放物品i的最大价值，那么dp[i][j - weight[i]] + value[i] （物品i的价值），就是背包放物品i得到的最大价值。（注意，完全背包二维dp数组 和 01背包二维dp数组 递推公式的区别，01背包中是。请你计算并返回可以凑成总金额的硬币组合数。：背包容量为j，里面不放物品i的最大价值是dp[i - 1][j]。需要 n 阶你才能到达楼顶。
“傅里叶变换算法”来检测纸箱变形的简单示例
软件行业技术文化交流。
05-15 349
为了创建一个具有科技质感且能动态展示结果的纸箱变形检测傅里叶变换网页，下面将分别更新 HTML、CSS 和 JavaScript 文件。
数值分析证明题
2301_81197800的博客
05-16 680
例给出cos⁡x\cos xcosx，x∈[0∘,90∘]x\in[0^{\circ},90^{\circ}]x∈[0∘,90∘]的函数表，步长h=1′=(160)∘h = 1' = (\frac{1}{60})^{\circ}h=1′=(601​)∘，若函数表具有555位有效数字，研究用线性插值求cos⁡x\cos xcosx近似值时的总误差界。解：用函数值及近似值所建立的线性插值多项式为 当x∈[xi,xi+1]x \in [x_i, x_{i + 1}]x∈[xi​,xi+1​]时 Li(x)=f(x
LeetCode 33. 搜索旋转排序数组：二分查找的边界艺术
weixin_44435110的博客
05-17 522
在旋转后的有序数组中搜索目标值。假设数组原本按升序排列，但在某个未知下标处进行了旋转（例如 `[0,1,2,4,5,6,7]` 旋转后可能变为 `[4,5,6,7,0,1,2]`）。要求时间复杂度为 **O(log n)**。
洛谷P1082 [NOIP 2012 提高组] 同余方程——线性同余方程
zbh0604的博客
05-17 525
此题其实就是求ax=1+by,可以转换成ax+by=1的最小正整数解，而我们要求x的最小正整数解，就要套一个公式，Xmin=(x0 mod T+T) mod T,其中T=b/gcd(a,b)。设a,b为整，m为正整数，则把a和b模m同余记为a≡b(mod m),这个算式相当于a=b+my,其中y∈Z。求关于 x 的同余方程 ax≡1(modb) 的最小正整数解。一个整数 x0​，即最小正整数解。输入数据保证一定有解。一行，包含两个整数 a,b，用一个空格隔开。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值