欧阳永基

作品数：4被引量：15H指数：2
导出分析报告
供职机构：解放军信息工程大学更多>>
发文主题：控制流软件测试污点分析点特征安全性测试更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《清华大学学报（自然科学版）》《计算机应用研究》《电子与信息学报》《计算机工程》更多>>
所获基金：国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于脆弱点特征导向的软件安全测试被引量：1
《清华大学学报（自然科学版）》2017年第9期903-908,共6页欧阳永基 魏强 王嘉捷 王清贤 
国家"八六三"高技术项目(2012AA012902)
为克服模糊测试方法具有盲目性和覆盖率不高的缺点,缓解当前符号执行方法所面临的空间爆炸问题,该文提出一种基于脆弱点特征导向的软件安全测试方法。该方法结合模糊测试和符号执行方法的特点,针对缓冲区溢出,精确分析了具备该脆弱点特...
关键词：软件安全 特征导向 域收敛 空间爆炸 
基于指针时空分析的软件异常可利用性判定被引量：2
《计算机应用研究》2016年第5期1504-1508,共5页彭建山 王清贤 欧阳永基 
国家"863"计划资助项目(2012AA012902)
软件异常的可利用性是评估漏洞威胁等级的重要指标。针对目前二进制程序异常可利用性判定方法存在检测模式少、分析深度和精度不足、准确率低的问题,通过分析多重指针的时空局部有效性,利用独立可控数据的内存布局构造从异常指令到跳转...
关键词：可利用性判定 污点分析 控制流劫持 多重指针引用 
基于异常分布导向的智能Fuzzing方法被引量：10
《电子与信息学报》2015年第1期143-149,共7页欧阳永基 魏强 王清贤 尹中旭 
国家863计划项目(2012AA012902)资助课题
现有主流智能Fuzzing测试一般通过对程序内部结构的精确分析构造新测试样本,因而严重依赖于当前计算机的性能,往往忽略了已发现的程序异常信息对新测试样本构造的指导意义。为了克服上述缺陷,该文提出一种基于异常分布导向的智能Fuzzin...
关键词：软件测试 智能Fuzzing 异常分布 脆弱点 
基于污点指针的二进制代码缺陷检测被引量：3
《计算机工程》2012年第24期46-49,共4页刘杰 王嘉捷 欧阳永基 王清贤 
国家"863"计划基金资助项目(2008AA01Z420)
污点指针严重影响二进制代码数据流和控制流的安全。为此,提出一种二进制代码缺陷检测方法。引入指针污点传播规则,结合路径约束条件和边界约束条件得到缺陷引发条件,构造能够引发4类污点指针代码缺陷的输入数据。在Linux系统下实现ELF...
关键词：污点指针 污点传播 符号执行 边界条件 缺陷检测 内存破坏 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部