您的位置： 专家智库 > >

徐晨晨

作品数：11 被引量：0H指数：0
供职机构：南京邮电大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 10篇专利
  • 1篇学位论文

领域

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

主题

  • 6篇切片
  • 5篇依赖图
  • 5篇LLVM
  • 3篇信息流分析
  • 2篇动态切片
  • 2篇堆栈
  • 2篇序关系
  • 2篇语句
  • 2篇语言程序
  • 2篇预处理
  • 2篇源程序
  • 2篇数据预处理
  • 2篇切片方法
  • 2篇权限
  • 2篇耦合度
  • 2篇谓词
  • 2篇命令行
  • 2篇计算程序
  • 2篇分析程序
  • 2篇安全评估

机构

  • 11篇南京邮电大学

作者

  • 11篇徐晨晨
  • 10篇张迎周
  • 10篇闫丽
  • 4篇王星
  • 4篇赵莲
  • 4篇尹秀
  • 2篇高海燕
  • 2篇马凤娇

年份

  • 2篇2020
  • 1篇2018
  • 4篇2017
  • 3篇2016
  • 1篇2015
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于切片度量的Android软件安全分析方法
本发明公开了一种基于切片度量的Android软件安全分析方法，包括数据预处理；权限特征分析，用于对从所述权限请求文件中得到的特征权限进行计算；对Android程序切片并对切片进行内聚度和耦合度分析；将所述权限特征分析的结...
张迎周闫丽吴寄语徐晨晨尹秀陈星昊王星赵莲
文献传递
一种基于信息流分析的LLVM中间表示程序切片方法
本发明公开了一种基于信息流分析的LLVM中间表示程序切片方法。首先，根据调用图CG判断某程序是过程内程序还是过程间程序。所述的过程间程序采用以下步骤：(1)分析程序间的调用关系、实参与形参之间的对应关系；(2)根据公式计...
张迎周徐晨晨闫丽吴寄语
文献传递
一种基于信息流分析的LLVM中间表示程序切片方法
本发明公开了一种基于信息流分析的LLVM中间表示程序切片方法。首先，根据调用图CG判断某程序是过程内程序还是过程间程序。所述的过程间程序采用以下步骤：(1)分析程序间的调用关系、实参与形参之间的对应关系；(2)根据公式计...
张迎周徐晨晨闫丽吴寄语
一种基于动态切片的轻量级错误定位技术实现方法
本发明是一种基于动态切片的轻量级错误定位方法，最顶层是测试用例生成模块，主要负责测试用例的自动化生成。第二层是程序状态修改模块，主要负责动态地改变谓词的结果，以产生值得进行切片的关键谓词。其余模块分别是断点分析模块、切片...
张迎周滕庆亚马凤娇居友道徐曼青高海燕徐晨晨闫丽
基于改进系统依赖图的LLVM IR程序切片方法
本发明公开一种基于改进系统依赖图的LLVM IR程序切片方法。首先，构造出程序依赖图；然后利用图可达性算法对单个程序的LLVM IR语句进行切片；再根据程序间的调用关系、实参与形参之间的对应关系，将对单个程序的分析扩展到...
张迎周徐晨晨吴寄语闫丽尹秀陈星昊王星赵莲
文献传递
一种基于LLVM中间表示程序切片的度量模型
本发明公开了一种基于LLVM中间表示程序切片的度量模型，包括：将源程序通过LLVM命令行转换成对应的LLVM IR语言；构建程序系统依赖图，对程序LLVM IR语句切片；根据程序切片的结果和源程序转换得到的LLVM IR...
张迎周闫丽徐晨晨吴寄语
基于LLVM的静态程序切片方法研究
程序切片是一种重要的程序分析理解方法，在实际的生产和研究方面已经得到非常广泛的应用。由于静态程序切片所花费的代价低，分析的较全面，因此本文主要研究静态切片方法。目前，最流行的静态切片方法是基于依赖图的可达性方法，该方法中...
徐晨晨
关键词：程序切片信息流分析
一种基于动态切片的轻量级错误定位技术实现方法
本发明是一种基于动态切片的轻量级错误定位方法，最顶层是测试用例生成模块，主要负责测试用例的自动化生成。第二层是程序状态修改模块，主要负责动态地改变谓词的结果，以产生值得进行切片的关键谓词。其余模块分别是断点分析模块、切片...
张迎周滕庆亚马凤娇居友道徐曼青高海燕徐晨晨闫丽
文献传递
一种构造有限集合部分覆盖的方法
本发明公开了一种构造有限集合部分覆盖的方法，主要分为五个步骤：构造有限集合、求有限集合的所有划分、求第一层覆盖、构造其余覆盖以及查重。在求得有限集合A的划分的基础上进行构造，由于划分本身就是一种覆盖，因此不需要再判断所求...
张迎周吴寄语徐晨晨闫丽尹秀陈星昊王星赵莲
文献传递
基于切片度量的Android软件安全分析方法
本发明公开了一种基于切片度量的Android软件安全分析方法，包括数据预处理；权限特征分析，用于对从所述权限请求文件中得到的特征权限进行计算；对Android程序切片并对切片进行内聚度和耦合度分析；将所述权限特征分析的结...
张迎周闫丽吴寄语徐晨晨尹秀陈星昊王星赵莲
文献传递
全选 清除 导出
共2页<12>
聚类工具0