您的位置： 专家智库 > >

王雪飞

作品数：7 被引量：6H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家科技重大专项更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 6篇专利
  • 1篇期刊文章

领域

  • 2篇自动化与计算...

主题

  • 4篇制程
  • 4篇污点
  • 4篇漏洞
  • 4篇漏洞挖掘
  • 4篇进制
  • 4篇二进制
  • 4篇二进制程序
  • 3篇测试用例
  • 2篇中间语言
  • 2篇踪迹
  • 2篇符号化表示
  • 2篇测试程序
  • 2篇插桩
  • 1篇队列
  • 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中间语言以及二进制程序动态运行轨迹的特点，提出处理特定类...
马恒太王雪飞杨克李小凤
文献传递
精准执行可达性分析:理论与应用被引量：6
2018年
精准执行可达性分析探究计算机程序状态之间的可达性关系,通过分析软件的文档、源代码或二进制程序并进行必要的测试验证,以求出在既定限制下从初始状态到特定代码位置的目标状态的准确触发输入和执行路径.精准执行可达性分析在定向测试、静态分析结果核验、错误复现和漏洞POC构造等领域均有广泛的应用.对近年来国内外学者在该研究领域取得的相关研究成果进行了系统的分析、提炼和总结.首先,指出了精准执行可达性分析对应的约束求解问题,以双向符号分析和程序归纳为主线介绍了其主要研究方法,讨论了相关技术难点;其次,对目前已经存在的精准执行可达性应用进行了分类分析;进而,指出精准执行可达性分析应用中程序分析、归纳和约束求解等方面存在的挑战;最后,对可能的解决办法以及未来发展方向进行了展望.
杨克贺也平贺也平王雪飞
关键词：可达性分析
一种基于DCR的动态漏洞挖掘方法及系统
本发明公开了一种基于DCR的动态漏洞挖掘方法及系统。本方法为：1)依据DCR并行化计算的结构特征对漏洞挖掘系统进行重构；2)根据输入的初始任务中的种子测试用例生成测试任务放到调度节点的任务队列中；3)调度节点将任务队列中...
王雪飞马恒太李小凤杨克
文献传递
一种支持非均衡任务分配的动态漏洞挖掘系统和方法
本发明涉及一种支持非均衡任务分配的动态漏洞挖掘系统和方法，它基于动态漏洞挖掘系统集成机理和方法，将系统划分成子任务模块，然后设计非均衡任务分配策略，实现子任务的调度。在此动态漏洞挖掘系统中，采用分布式思想，服务器端实施非...
马恒太王雪飞杨克李小凤
文献传递
一种基于模式的动态漏洞挖掘集成系统和方法
本发明涉及基于模式的动态漏洞挖掘集成系统和方法，包含了动态污点分析模块、测试用例选择模块、约束求解模块和管理模块。首先把种子用例传输给应用程序，动态污点分析模块会对污点数据在程序中的传播进行跟踪，并将传播踪迹用符号化表示...
马恒太王雪飞吴晓慧景丽莎颜学雄
文献传递
一种动态标记处理控制依赖的方法
本发明涉及一种动态标记处理控制依赖的方法，其中动态污点分析过程实现的关键步骤是通过valgrind框架实现对二进制程序的插桩操作。该方法首先通过分析valgrind中间语言以及二进制程序动态运行轨迹的特点，提出处理特定类...
马恒太王雪飞杨克李小凤
全选 清除 导出
共1页<1>
聚类工具0