您的位置： 专家智库 > >

汪孙律

作品数：6 被引量：10H指数：2
供职机构：中国科学院软件研究所更多>>
发文基金：中国科学院战略性先导科技专项中国科学院知识创新工程重要方向项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇期刊文章
  • 2篇专利
  • 1篇会议论文

领域

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

主题

  • 2篇代码
  • 2篇软件模型
  • 2篇软件模型检测
  • 2篇系统代码
  • 2篇漏洞
  • 2篇漏洞分析
  • 2篇ANDROI...
  • 2篇裁剪
  • 2篇测试用例
  • 2篇初始化
  • 1篇计算机
  • 1篇计算机软件
  • 1篇ANDROI...
  • 1篇操作系
  • 1篇操作系统

机构

  • 6篇中国科学院软...
  • 1篇中国科学院大...

作者

  • 6篇汪孙律
  • 4篇刘剑
  • 2篇孙可钦
  • 2篇李斌
  • 2篇李明树
  • 2篇易秋萍
  • 2篇杨秋松
  • 1篇林渝淇

传媒

  • 1篇通信学报
  • 1篇电子学报
  • 1篇清华大学学报...
  • 1篇第五届信息安...

年份

  • 1篇2020
  • 1篇2019
  • 1篇2015
  • 3篇2012
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
基于输入约束的符号执行优化被引量：2
2019年
为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了基于输入约束的符号执行(ICBSE)优化框架。该方法通过分析程序代码自动提取3类输入约束,随后使用这些约束引导符号执行更关注于核心功能代码。在KLEE中实现了上述优化框架,并对coreutils、binutils、grep、patch、diff这5个程序套件中的7个常用程序做了检测。ICBSE发现了7个之前未知的缺陷(KLEE只检测其中3个)。同时,ICBSE将指令行覆盖率、分支覆盖率分别提升了约20%,时间开销降低了约15%。
汪孙律林渝淇杨秋松李明树
一种快速的循环扩展检测方法
本发明公开了一种快速的循环扩展检测方法，属于软件模型检测技术领域。本方法为：1)限定测试空间中各个变量的取值范围，并将测试空间中的状态初始化为被测程序限定范围内所有满足被测程序的前置条件的状态；2)随机挑选一个未检测的状...
易秋萍刘剑沈武威汪孙律李斌
文献传递
基于控制流挖掘的Android系统代码漏洞分析
Android操作系统被广泛应用于智能手机、平板电脑等便携移动设备,因此安全性和可靠性至关重要.本文使用控制流挖掘方法,针对Android内核代码的多种典型错误构建相关的分析脚本,进行了分析检测,并对Android系统多...
孙可钦汪孙律刘剑
关键词：计算机软件系统代码漏洞分析
文献传递
基于控制流挖掘的Android系统代码漏洞分析被引量：8
2012年
Android操作系统被广泛应用于智能手机、平板电脑等便携移动设备,因此Android操作系统的安全性和可靠性至关重要。本文使用控制流挖掘方法,针对Android内核代码的多种典型错误构建相关的分析脚本,进行了分析检测,并对Android系统多版本间进行横向分析对比。本文首次将控制流挖掘方法应用于Android系统,通过系统化的实验分析包含Android扩展的驱动以及Yaffs2文件系统在内的所有Android内核代码,并对Android各个内核版本进行横向对比分析,发现了代码库中一系列脆弱点。
刘剑孙可钦汪孙律
关键词：漏洞分析ANDROID操作系统
一种针对格式文件的符号执行优化方法
2020年
为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了针对文件格式数据块约束的符号执行分析方法(FFCBSE,File Format Constraint Based Symbolic Execution)优化框架.文件格式信息的缺失会影响符号执行的效率以及测试用例生成,该方法通过分析程序代码自动分析程序读取的格式文件数据块之间的依赖关系并建立相关约束,随后使用这些约束引导符号执行更关注于核心功能代码区域.在KLEE中实现了上述优化框架,并对Tcpdump、Readelf、Elfdump、File、Zlib等7个常用文件处理程序做了检测.和KLEE以及DASE相比,FFCBSE发现了13个之前未知的缺陷,在指令覆盖率和分支覆盖率有10%~225%不同程度的提升.
汪孙律杨秋松杨秋松
一种快速的循环扩展检测方法
本发明公开了一种快速的循环扩展检测方法，属于软件模型检测技术领域。本方法为：1)限定测试空间中各个变量的取值范围，并将测试空间中的状态初始化为被测程序限定范围内所有满足被测程序的前置条件的状态；2)随机挑选一个未检测的状...
易秋萍刘剑沈武威汪孙律李斌
文献传递
全选 清除 导出
共1页<1>
聚类工具0