期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Java程序资源泄露缺陷检测:传统模型和语言模型的有效性分析
1
作者
刘天阳
叶嘉威
+1 位作者
计卫星
刘辉
《软件学报》
北大核心
2025年第6期2432-2452,共21页
资源泄露是由于有限的系统资源未能及时正确关闭所导致的缺陷,广泛存在于各种语言程序中,且具有一定的隐蔽性.传统的缺陷检测方法通常基于规则和启发式搜索预测软件中的资源泄露.近年来,基于深度学习的缺陷检测方法通过不同的代码表征...
资源泄露是由于有限的系统资源未能及时正确关闭所导致的缺陷,广泛存在于各种语言程序中,且具有一定的隐蔽性.传统的缺陷检测方法通常基于规则和启发式搜索预测软件中的资源泄露.近年来,基于深度学习的缺陷检测方法通过不同的代码表征形式并使用循环神经网络、图神经网络等技术捕获代码中的语义信息.最近的研究显示,语言模型在代码理解和生成等任务中表现出色.然而语言模型针对资源泄露检测这一特定任务上的优势和局限性尚未得到充分评估.研究基于传统模型、小模型和大模型的检测方法在资源泄露检测任务中的有效性,并探究小样本学习、微调以及静态分析与大模型结合的多种改进方式.具体而言,以JLeaks和DroidLeaks数据集为实验对象,从资源泄露根本原因、资源种类、代码复杂度等多个维度分析不同模型的表现.实验结果表明,微调技术能够显著提升大模型在资源泄露检测领域的检测效果.然而,大部分模型在识别第三方库引发的资源泄露上仍需改进.此外,代码复杂度对基于传统模型的检测方法的影响更大.
展开更多
关键词
资源泄露
缺陷检测
实证研究
大模型
在线阅读
下载PDF
职称材料
题名
Java程序资源泄露缺陷检测:传统模型和语言模型的有效性分析
1
作者
刘天阳
叶嘉威
计卫星
刘辉
机构
北京理工大学计算机学院
北京师范大学人工智能学院
出处
《软件学报》
北大核心
2025年第6期2432-2452,共21页
基金
国家自然科学基金重点项目(62232003)。
文摘
资源泄露是由于有限的系统资源未能及时正确关闭所导致的缺陷,广泛存在于各种语言程序中,且具有一定的隐蔽性.传统的缺陷检测方法通常基于规则和启发式搜索预测软件中的资源泄露.近年来,基于深度学习的缺陷检测方法通过不同的代码表征形式并使用循环神经网络、图神经网络等技术捕获代码中的语义信息.最近的研究显示,语言模型在代码理解和生成等任务中表现出色.然而语言模型针对资源泄露检测这一特定任务上的优势和局限性尚未得到充分评估.研究基于传统模型、小模型和大模型的检测方法在资源泄露检测任务中的有效性,并探究小样本学习、微调以及静态分析与大模型结合的多种改进方式.具体而言,以JLeaks和DroidLeaks数据集为实验对象,从资源泄露根本原因、资源种类、代码复杂度等多个维度分析不同模型的表现.实验结果表明,微调技术能够显著提升大模型在资源泄露检测领域的检测效果.然而,大部分模型在识别第三方库引发的资源泄露上仍需改进.此外,代码复杂度对基于传统模型的检测方法的影响更大.
关键词
资源泄露
缺陷检测
实证研究
大模型
Keywords
resource leak
defect detection
empirical study
large language model(LLM)
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Java程序资源泄露缺陷检测:传统模型和语言模型的有效性分析
刘天阳
叶嘉威
计卫星
刘辉
《软件学报》
北大核心
2025
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
