期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
自动程序修复中的安全隐患场景及解决方案
被引量：
1
1
作者
黄昱铭
马建峰
+2 位作者
刘志全
魏凯敏
冯丙文
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2019年第6期147-154,共8页
为提高自动程序修复方法的修复质量,指出在自动程序修复方法修复程序缺陷过程中存在的两种安全隐患场景,即脏补丁源场景和脏测试集场景,并为两种安全隐患场景分别提出相应的解决方案,即补丁校验方案和测试集校验方案。实验结果表明,所...
为提高自动程序修复方法的修复质量,指出在自动程序修复方法修复程序缺陷过程中存在的两种安全隐患场景,即脏补丁源场景和脏测试集场景,并为两种安全隐患场景分别提出相应的解决方案,即补丁校验方案和测试集校验方案。实验结果表明,所提出的补丁校验方案能够促使自动程序修复方法获取安全性更高的补丁,所提出的测试集校验方案能够准确地定位测试集中的脏测试用例,误报率为7.20%。
展开更多
关键词
自动程序修复
静态分析
测试集
软件安全
在线阅读
下载PDF
职称材料
一种基于规则的自动程序修复方法
2
作者
黄昱铭
马建峰
+2 位作者
刘志全
冯丙文
魏凯敏
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2020年第4期117-123,共7页
为解决基于测试集自动程序修复方法修复缺陷正确率低的问题,提出一种基于规则的自动程序修复方法——RuleFix。该方法首先通过挖掘代码中的隐式编程规则定位缺陷位置,然后根据隐式编程规则选取合适的补丁,最后采用程序合成工具对补丁进...
为解决基于测试集自动程序修复方法修复缺陷正确率低的问题,提出一种基于规则的自动程序修复方法——RuleFix。该方法首先通过挖掘代码中的隐式编程规则定位缺陷位置,然后根据隐式编程规则选取合适的补丁,最后采用程序合成工具对补丁进行校验以保证修复结果的正确性。此外,为解决现有规则挖掘算法无法有效挖掘低频规则的问题,提出一种低频规则挖掘算法,根据已有规则推演生成新的规则,以提升规则挖掘的能力。基于所提方法实现了原型工具,并与现有的自动程序修复方法进行对比。实验结果表明,与现有的GenProg和PAR方法相比,所提方法有明显更高的修复率和正确率。
展开更多
关键词
自动程序修复
基于规则
静态分析
测试集
在线阅读
下载PDF
职称材料
题名
自动程序修复中的安全隐患场景及解决方案
被引量：
1
1
作者
黄昱铭
马建峰
刘志全
魏凯敏
冯丙文
机构
暨南大学
信息
科学技术学院
西安电子科技大学网络与
信息
安全
学院
中国科学院
信息
工程研究所
信息
安全
国家
重点
实验室
广东省
信息
安全
技术
重点
实验室
广东省智能信息处理重点实验室/深圳市媒体信息内容安全重点实验室
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2019年第6期147-154,共8页
基金
国家自然科学基金（61802146,61802145）
广东省自然科学基金（2018A030313813,2018A030313387,2019B010136003,2019B010137005,2017A030313390,2017A030313334）
+5 种基金
国家重点研发计划（2018YFB1402600）
广州市科技计划（201804010428,201802010061）
中央高校基本科研业务费专项资金（11618332,11617343）
信息安全国家重点实验室开放课题
广东省信息安全技术重点实验室开放基金（2017B030314131）
广东省智能信息处理重点实验室/深圳市媒体信息内容安全重点实验室开放基金
文摘
为提高自动程序修复方法的修复质量,指出在自动程序修复方法修复程序缺陷过程中存在的两种安全隐患场景,即脏补丁源场景和脏测试集场景,并为两种安全隐患场景分别提出相应的解决方案,即补丁校验方案和测试集校验方案。实验结果表明,所提出的补丁校验方案能够促使自动程序修复方法获取安全性更高的补丁,所提出的测试集校验方案能够准确地定位测试集中的脏测试用例,误报率为7.20%。
关键词
自动程序修复
静态分析
测试集
软件安全
Keywords
automatic program repair
static analysis
test suite
software security
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
O9 [理学]
在线阅读
下载PDF
职称材料
题名
一种基于规则的自动程序修复方法
2
作者
黄昱铭
马建峰
刘志全
冯丙文
魏凯敏
机构
暨南大学
信息
科学技术学院
西安电子科技大学网络与
信息
安全
学院
中国科学院
信息
工程研究所
信息
安全
国家
重点
实验室
广东省
信息
安全
技术
重点
实验室
广东省智能信息处理重点实验室/深圳市媒体信息内容安全重点实验室
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2020年第4期117-123,共7页
基金
国家自然科学基金(61802146,61972178,61802145)
广东省重点领域研发计划(2019B010136003)
+7 种基金
广东省数据安全与隐私保护重点实验室(2017B03031004)
广东省基础与应用基础研究基金(2019A1515011017)
广东省自然科学基金(2019B010137005,2018A030313813,2018A03031387,2017A030313390,2017A030313334)
广州市科技计划(201804010428,201802010061)
中央高校基本科研业务费专项资金(11618332,11617343)
信息安全国家重点实验室开放课题
广东省信息安全技术重点实验室开放基金(2017B030314131)
广东省智能信息处理重点实验室/深圳市媒体信息内容安全重点实验室开放基金。
文摘
为解决基于测试集自动程序修复方法修复缺陷正确率低的问题,提出一种基于规则的自动程序修复方法——RuleFix。该方法首先通过挖掘代码中的隐式编程规则定位缺陷位置,然后根据隐式编程规则选取合适的补丁,最后采用程序合成工具对补丁进行校验以保证修复结果的正确性。此外,为解决现有规则挖掘算法无法有效挖掘低频规则的问题,提出一种低频规则挖掘算法,根据已有规则推演生成新的规则,以提升规则挖掘的能力。基于所提方法实现了原型工具,并与现有的自动程序修复方法进行对比。实验结果表明,与现有的GenProg和PAR方法相比,所提方法有明显更高的修复率和正确率。
关键词
自动程序修复
基于规则
静态分析
测试集
Keywords
automatic program repair
rule-based
static analysis
test suite
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
自动程序修复中的安全隐患场景及解决方案
黄昱铭
马建峰
刘志全
魏凯敏
冯丙文
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2019
1
在线阅读
下载PDF
职称材料
2
一种基于规则的自动程序修复方法
黄昱铭
马建峰
刘志全
冯丙文
魏凯敏
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2020
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
