检索结果-维普期刊中文期刊服务平台

智能合约漏洞检测及自动化修复方法: 1; 作者王嘉诚蒋佳佳 +1 位作者张玉书赵佳豪《计算机工程与设计》北大核心 2025年第1期107-116,共10页; 为解决智能合约存在的安全漏洞问题,研究智能合约漏洞检测及自动化修复方法。对智能合约进行漏洞检测,获得包含漏洞类别及位置等关键信息的检测报告,将智能合约源代码解析为抽象语法树格式,根据检测报告提供的漏洞信息,结合预定义漏洞... 展开更多; 关键词区块链智能合约安全漏洞漏洞检测自动化修复抽象语法树修复模板; 在线阅读下载PDF 职称材料

基于模板的软件缺陷修复推荐方法被引量：1: 2; 作者薄莉莉朱轩锐孙小兵《小型微型计算机系统》 CSCD 北大核心 2022年第5期1096-1101,共6页; 软件中长期累积的历史遗留问题导致软件产品的规模和复杂性逐渐增大.为了有效提高软件缺陷修复的效率,本文针对源代码文件中的修复前代码版本和修复后代码版本之间的差异,根据预定义的细粒度更改操作提取缺陷修复模板,并基于此修复模板... 展开更多; 关键词软件缺陷修复修复模板修复推荐; 在线阅读下载PDF 职称材料

一种基于StackOverflow分析的程序自动修复方法被引量：1: 3; 作者刘旭亮钟浩《计算机工程》 CAS CSCD 北大核心 2018年第10期95-100,共6页; 现有程序缺陷修复方法缺乏充足的修复模板,多数只能修复小部分程序缺陷。为此,提出一种从StackOverflow中获取示例代码,并从示例代码中挖掘出修复样品的方法。从程序员日常开发讨论中获取与修复有关的代码对,并从中生成修复模板,该模板... 展开更多; 关键词程序自动修复真实缺陷修复修复模板示例代码修复样品; 在线阅读下载PDF 职称材料

基于错误根因的Linux驱动移植接口补丁推荐: 4; 作者李斌贺也平 +2 位作者马恒太芮建武李晓卓《计算机研究与发展》 EI CSCD 北大核心 2022年第6期1388-1408,共21页; Linux内核版本变更带来驱动程序调用内核接口的不一致性错误非常频繁,其通过手工修复不仅工作量繁重,还可能引入新的错误.针对这个问题,驱动移植中间库辅助适配和驱动移植辅助信息等方面的已有研究提供了辅助示例,但是还需要人工分析和... 展开更多; 关键词驱动移植修复实例引入错误变更修复模板补丁推荐错误根因; 在线阅读下载PDF 职称材料

题名智能合约漏洞检测及自动化修复方法: 1; 作者王嘉诚蒋佳佳张玉书赵佳豪; 机构南京航空航天大学计算机科学与技术学院/人工智能学院/软件学院; 出处《计算机工程与设计》北大核心 2025年第1期107-116,共10页; 基金国家重点研发计划基金项目(2020YFB1005500) 南京航空航天大学研究生创新训练基金项目(xcxjh20221616)。; 文摘为解决智能合约存在的安全漏洞问题,研究智能合约漏洞检测及自动化修复方法。对智能合约进行漏洞检测,获得包含漏洞类别及位置等关键信息的检测报告,将智能合约源代码解析为抽象语法树格式,根据检测报告提供的漏洞信息,结合预定义漏洞修复模板,在抽象语法树层面对智能合约进行修复,根据抽象语法树反向解析获得修复后的智能合约源代码,实现智能合约的漏洞检测及自动化修复。实验结果表明,所研究的方法能够以较高的成功率修复智能合约漏洞,增强智能合约的正确性。; 关键词区块链智能合约安全漏洞漏洞检测自动化修复抽象语法树修复模板; Keywords blockchain smart contract security vulnerabilities vulnerability detection automatic repair abstract syntax tree repair template; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于模板的软件缺陷修复推荐方法被引量：1: 2; 作者薄莉莉朱轩锐孙小兵; 机构扬州大学信息工程学院江苏省知识管理与智能服务工程研究中心计算机软件新技术国家重点实验室(南京大学); 出处《小型微型计算机系统》 CSCD 北大核心 2022年第5期1096-1101,共6页; 基金国家自然科学基金项目(61872312,61972335,62002309)资助南京大学计算机软件新技术国家重点实验室项目(KFKT2020B15,KFKT2020B16)资助 +6 种基金工业和信息化部重点实验室项目(NJ2020022)资助。; 文摘软件中长期累积的历史遗留问题导致软件产品的规模和复杂性逐渐增大.为了有效提高软件缺陷修复的效率,本文针对源代码文件中的修复前代码版本和修复后代码版本之间的差异,根据预定义的细粒度更改操作提取缺陷修复模板,并基于此修复模板提出了一种缺陷修复推荐方法.结果表明,模板的覆盖范围可达67.11%,并且5位参评者评估其有效,认为此修复模板适用于软件缺陷并且能够解决部分缺陷问题.; 关键词软件缺陷修复修复模板修复推荐; Keywords software bug fixing fix template fix recommendation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于StackOverflow分析的程序自动修复方法被引量：1: 3; 作者刘旭亮钟浩; 机构上海交通大学电子信息与电气工程学院; 出处《计算机工程》 CAS CSCD 北大核心 2018年第10期95-100,共6页; 基金国家重点基础研究计划(2015CB352203) 国家自然科学基金面上项目(61572313); 文摘现有程序缺陷修复方法缺乏充足的修复模板,多数只能修复小部分程序缺陷。为此,提出一种从StackOverflow中获取示例代码,并从示例代码中挖掘出修复样品的方法。从程序员日常开发讨论中获取与修复有关的代码对,并从中生成修复模板,该模板丰富了自动修复工具已有的操作,能够修复更多缺陷。对Defects4J数据集进行实验验证,结果表明,该方法能够修复23个程序缺陷,优于GenProg和Nopol等工具。; 关键词程序自动修复真实缺陷修复修复模板示例代码修复样品; Keywords program automatic repair real defect repair repair template sample code repair sample; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于错误根因的Linux驱动移植接口补丁推荐: 4; 作者李斌贺也平马恒太芮建武李晓卓; 机构中国科学院大学中国科学院软件研究所基础软件国家工程研究中心计算机科学国家重点实验室(中国科学院软件研究所); 出处《计算机研究与发展》 EI CSCD 北大核心 2022年第6期1388-1408,共21页; 基金中国科学院战略性先导科技专项(XDA-Y01-01,XDC02010600)。; 文摘 Linux内核版本变更带来驱动程序调用内核接口的不一致性错误非常频繁,其通过手工修复不仅工作量繁重,还可能引入新的错误.针对这个问题,驱动移植中间库辅助适配和驱动移植辅助信息等方面的已有研究提供了辅助示例,但是还需要人工分析和手工构造补丁,人工修复的工作量依然较大并且效率较低.为此,通过推荐高质量补丁降低人工修复的工作量并提高修复效率.与传统方法通过错误代码形式的相似性识别同类错误不同,提出依据错误发生的相同原因和来源识别同类错误.提出了一种分层搜索算法用于获取待修复错误对应的错误根因,通过错误根因识别同类错误的修复实例,从其中提取并选择针对性修复模板实现同类未修复错误的高质量补丁推荐.在收集的19个真实驱动程序数据集上的实验表明,所提方法相比传统方法的补丁推荐正确率有显著提高.; 关键词驱动移植修复实例引入错误变更修复模板补丁推荐错误根因; Keywords driver porting existing fix instances error-inducing changes fix pattern patch reco-mmendation root cause of error; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	智能合约漏洞检测及自动化修复方法	王嘉诚蒋佳佳张玉书赵佳豪	《计算机工程与设计》北大核心	2025	0	在线阅读下载PDF 职称材料
2	基于模板的软件缺陷修复推荐方法	薄莉莉朱轩锐孙小兵	《小型微型计算机系统》 CSCD 北大核心	2022	1	在线阅读下载PDF 职称材料
3	一种基于StackOverflow分析的程序自动修复方法	刘旭亮钟浩	《计算机工程》 CAS CSCD 北大核心	2018	1	在线阅读下载PDF 职称材料
4	基于错误根因的Linux驱动移植接口补丁推荐	李斌贺也平马恒太芮建武李晓卓	《计算机研究与发展》 EI CSCD 北大核心	2022	0	在线阅读下载PDF 职称材料