程序切片

作品数：195被引量：456H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张迎周李必信徐宝文郑国梁姜淑娟更多>>
相关机构：东南大学南京邮电大学南京大学南京航空航天大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于动态程序切片和污点分析的安卓应用隐私泄露检测
《小型微型计算机系统》2025年第3期704-712,共9页汪全盛 王田田 马锐 张迎周 
国家自然科学基金项目(62272214)资助.
污点分析是检测Android应用程序隐私数据泄露的有效手段,静态污点分析不直接运行程序,容易产生较高的误报率.本文提出以动态程序切片指导静态污点分析的Android应用隐私泄露检测方法.首先对Android应用程序进行静态污点分析,输出以污点...
关键词：污点分析 动态程序切片 Android隐私泄露 数据流处理 
基于机器学习的指令SDC脆弱性分析方法被引量：8
《小型微型计算机系统》2018年第4期725-731,共7页张倩雯 庄毅 
国家自然科学基金面上项目(61572253)资助;国家自然科学基金青年科学基金项目(61202351)资助
对程序进行SDC脆弱性分析是容错研究重点关注的研究目标.针对传统方法故障注入代价较高的问题,提出一种基于机器学习的指令SDC脆弱性分析方法.首先,分析了故障注入实验的结果,获得与SDC错误相关的统计数据;其次,引入程序切片技术,在程...
关键词：单粒子翻转 瞬时故障 SDC脆弱性 程序切片 机器学习 
C程序分析工具中程序切片的设计与实现被引量：1
《小型微型计算机系统》2018年第3期401-405,共5页蒋刚 李兆鹏 
国家自然科学基金项目(61379039,61632005)资助.
符号执行技术以其良好的精确度控制被广泛应用于程序分析领域,它将程序中变量的值用抽象的符号表示,模拟真实的程序执行.由于其路径敏感,在分析过程中会带来严重的状态爆炸问题.提出针对缺陷的程序切片方法来缓解这一问题,首先根据用户...
关键词：缺陷检测 程序切片 静态分析 符号执行 
扩展有限状态机的依赖图构造及切片算法被引量：1
《小型微型计算机系统》2011年第4期577-583,共7页韩喆 陈世鸿 
国家"八六三"高技术研究发展计划项目(2003AA00103)资助
将切片技术引入扩展有限状态机模型,可根据兴趣点约减状态及变迁数,对模型的分析与测试有重要意义.由于EFSM模型基于变迁的依赖关系,传统的依赖图构造算法及基于标记已访问节点的切片算法并不适用.通过研究EFSM模型依赖关系的可传递性,...
关键词：程序切片 扩展有限状态机 依赖图 变迁 
用Z形式化描述程序切片被引量：2
《小型微型计算机系统》2007年第8期1444-1447,共4页吴方君 徐升华 
江西省自然科学基金项目(0511073)资助;江西省教育科学"十一五"规划重点课题(06ZD047)资助;江西省社会科学"十一五"规划课题(06JY32);江西财经大学校级课题(程序切片技术在软件形式化中的应用)资助
程序切片是一种重要技术,已广泛地应用于软件工程的各个领域,如程序理解、维护、调试、测试、复用、度量等.虽然,越来越多的研究者致力于程序切片工作,然而由于缺少形式化方面的工作导致程序切片可能存在不一致性和模糊性.本文尝试着用...
关键词：程序切片 程序依赖图 系统依赖图 Z语言 
一种面向对象程序的过程间切片算法被引量：2
《小型微型计算机系统》2002年第9期1092-1095,共4页刘芳 陈雨亭 朱平 谭毅 郑国梁 
江苏省自然科学基金 (编号 BK990 3 8)资助 ;江苏省应用基础研究 (编号 BJ2 0 0 0 0 3 4)资助
程序切片是一种程序分析技术 ,它通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序 .过程间切片作为图形可达性问题时 ,需要扩展过程内切片所用的程序依赖图 (PDG)成系统依赖图 (SDG) ,然后利用两阶段图形可达性算法计算...
关键词：面向对象程序 过程间切片算法 两阶段图形可达性 分层切片 程序切片 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部