2024年8月31日
星期六
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
王雪飞
作品数:
7
被引量:4
H指数:1
供职机构:
中国科学院软件研究所
更多>>
发文基金:
国家科技重大专项
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
马恒太
中国科学院软件研究所
杨克
中国科学院软件研究所
李小凤
中国科学院软件研究所
吴晓慧
中国科学院软件研究所
颜学雄
中国科学院软件研究所
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
6篇
专利
1篇
期刊文章
领域
2篇
自动化与计算...
主题
4篇
制程
4篇
污点
4篇
漏洞
4篇
漏洞挖掘
4篇
进制
4篇
二进制
4篇
二进制程序
2篇
隐式
2篇
中间语言
2篇
踪迹
2篇
符号化表示
2篇
测试程序
2篇
测试用例
2篇
插桩
1篇
队列
1篇
任务队列
1篇
任务分配策略
1篇
系统集成
1篇
精准
1篇
可达性
机构
7篇
中国科学院软...
1篇
中国科学院大...
作者
7篇
马恒太
7篇
王雪飞
5篇
杨克
4篇
李小凤
2篇
颜学雄
2篇
吴晓慧
1篇
贺也平
传媒
1篇
软件学报
年份
3篇
2018
1篇
2017
1篇
2016
2篇
2015
共
7
条 记 录,以下是 1-7
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
一种基于模式的动态漏洞挖掘集成系统和方法
本发明涉及基于模式的动态漏洞挖据集成系统和方法,包含了动态污点分析模块、测试用例选择模块、约束求解模块和管理模块。首先把种子用例传输给应用程序,动态污点分析模块会对污点数据在程序中的传播进行跟踪,并将传播踪迹用符号化表示...
马恒太
王雪飞
吴晓慧
景丽莎
颜学雄
文献传递
一种动态标记处理控制依赖的方法
本发明涉及一种动态标记处理控制依赖的方法,其中动态污点分析过程实现的关键步骤是通过valgrind框架实现对二进制程序的插桩操作。该方法首先通过分析valgrind中间语言以及二进制程序动态运行轨迹的特点,提出处理特定类...
马恒太
王雪飞
杨克
李小凤
文献传递
精准执行可达性分析:理论与应用
被引量:4
2018年
精准执行可达性分析探究计算机程序状态之间的可达性关系,通过分析软件的文档、源代码或二进制程序并进行必要的测试验证,以求出在既定限制下从初始状态到特定代码位置的目标状态的准确触发输入和执行路径.精准执行可达性分析在定向测试、静态分析结果核验、错误复现和漏洞POC构造等领域均有广泛的应用.对近年来国内外学者在该研究领域取得的相关研究成果进行了系统的分析、提炼和总结.首先,指出了精准执行可达性分析对应的约束求解问题,以双向符号分析和程序归纳为主线介绍了其主要研究方法,讨论了相关技术难点;其次,对目前已经存在的精准执行可达性应用进行了分类分析;进而,指出精准执行可达性分析应用中程序分析、归纳和约束求解等方面存在的挑战;最后,对可能的解决办法以及未来发展方向进行了展望.
杨克
贺也平
贺也平
王雪飞
关键词:
可达性分析
一种基于DCR的动态漏洞挖掘方法及系统
本发明公开了一种基于DCR的动态漏洞挖掘方法及系统。本方法为:1)依据DCR并行化计算的结构特征对漏洞挖掘系统进行重构;2)根据输入的初始任务中的种子测试用例生成测试任务放到调度节点的任务队列中;3)调度节点将任务队列中...
王雪飞
马恒太
李小凤
杨克
文献传递
一种支持非均衡任务分配的动态漏洞挖掘系统和方法
本发明涉及一种支持非均衡任务分配的动态漏洞挖掘系统和方法,它基于动态漏洞挖掘系统集成机理和方法,将系统划分成子任务模块,然后设计非均衡任务分配策略,实现子任务的调度。在此动态漏洞挖掘系统中,采用分布式思想,服务器端实施非...
马恒太
王雪飞
杨克
李小凤
文献传递
一种基于模式的动态漏洞挖掘集成系统和方法
本发明涉及基于模式的动态漏洞挖掘集成系统和方法,包含了动态污点分析模块、测试用例选择模块、约束求解模块和管理模块。首先把种子用例传输给应用程序,动态污点分析模块会对污点数据在程序中的传播进行跟踪,并将传播踪迹用符号化表示...
马恒太
王雪飞
吴晓慧
景丽莎
颜学雄
文献传递
一种动态标记处理控制依赖的方法
本发明涉及一种动态标记处理控制依赖的方法,其中动态污点分析过程实现的关键步骤是通过valgrind框架实现对二进制程序的插桩操作。该方法首先通过分析valgrind中间语言以及二进制程序动态运行轨迹的特点,提出处理特定类...
马恒太
王雪飞
杨克
李小凤
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张