汪孙律

作品数：3被引量：9H指数：2
导出分析报告
供职机构：中国科学院软件研究所更多>>
发文主题：ANDROID漏洞分析系统代码初始化测试用例更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《通信学报》《清华大学学报（自然科学版）》《电子学报》更多>>
所获基金：中国科学院战略性先导科技专项中国科学院知识创新工程重要方向项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种针对格式文件的符号执行优化方法
《电子学报》2020年第12期2417-2424,共8页汪孙律 杨秋松 李明树 
中国科学院战略性先导科技专项(No.XDA-Y01-01)。
为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了针对文件格式数据块约束的符号执行分析方法(FFCBSE,File Format Constraint Based Symbolic Execution)优化框架.文件格式信息的缺失会影响符号执行的效率以及测试用例生成,...
关键词：符号执行 文件格式 路径爆炸 缺陷查找 
基于输入约束的符号执行优化被引量：2
《通信学报》2019年第3期19-27,共9页汪孙律 林渝淇 杨秋松 李明树 
中国科学院战略性先导科技专项基金资助项目(No.XDA-Y01-01)~~
为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了基于输入约束的符号执行(ICBSE)优化框架。该方法通过分析程序代码自动提取3类输入约束,随后使用这些约束引导符号执行更关注于核心功能代码。在KLEE中实现了上述优化框架,并对...
关键词：符号执行 输入约束 路径爆炸 缺陷查找 
基于控制流挖掘的Android系统代码漏洞分析被引量：7
《清华大学学报（自然科学版）》2012年第10期1335-1339,共5页刘剑 孙可钦 汪孙律 
中国科学院知识创新工程重要方向资助项目(KGCX2-YW-125);国家重点科技专项“核高基”资助项目(2010ZX01036-001-002,2010ZX01037-001-002)
Android操作系统被广泛应用于智能手机、平板电脑等便携移动设备,因此Android操作系统的安全性和可靠性至关重要。本文使用控制流挖掘方法,针对Android内核代码的多种典型错误构建相关的分析脚本,进行了分析检测,并对Android系统多版本...
关键词：控制流挖掘 漏洞分析 ANDROID操作系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部