动态程序切片

作品数：10被引量：4H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：邓小鸿拜亚萌李英梅伦立军丁雪梅更多>>
相关机构：湖南工业大学江西理工大学南京航空航天大学上海交通大学更多>>
相关期刊：《郑州大学学报（工学版）》《计算机与现代化》《东北农业大学学报》《东南大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家教育部博士点基金黑龙江省教育厅科学技术研究项目甘肃省科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于动态程序切片和污点分析的安卓应用隐私泄露检测
《小型微型计算机系统》2025年第3期704-712,共9页汪全盛 王田田 马锐 张迎周 
国家自然科学基金项目(62272214)资助.
污点分析是检测Android应用程序隐私数据泄露的有效手段,静态污点分析不直接运行程序,容易产生较高的误报率.本文提出以动态程序切片指导静态污点分析的Android应用隐私泄露检测方法.首先对Android应用程序进行静态污点分析,输出以污点...
关键词：污点分析 动态程序切片 Android隐私泄露 数据流处理 
基于循环变量的程序切片分析
《黑龙江科技信息》2014年第28期21-21,共1页常慧娟 
本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法,该方法基于循环结构中的循环变量,采用程序的动态切片技术,同时结合了程序的静态切片技术,以及程序的静态分析方法来分析和理解程序,通过上述方法来判断给定的程序在特定...
关键词：循环变量 程序切片 动态程序切片 静态程序切片 
基于变量感染分析的软件错误定位技术
《计算机科学与探索》2014年第8期966-977,共12页江联 黄海亮 周晓聪 王欣明 李文军 
中山大学中央高校基本科研业务费专项资金 No.11LGPY39~~
在实际调试中,程序员往往通过追溯错误的变量值及其传播来定位软件错误,其中具有错误值的变量称为感染变量,感染变量在失败运行中具有错误值的程序位置即为感染位置。提出了一种结合动态正向程序切片和语句覆盖信息对程序变量感染的初...
关键词：错误定位 变量感染 动态程序切片 语句覆盖信息 
基于概率推演的动态程序切片优先度计算方法
《计算机与现代化》2013年第3期12-16,共5页夏嘉斌 
国家自然科学基金资助项目(60673120)
为了提高程序调试的效率,本文提出一种基于概率推演自动计算动态程序切片中每条语句的正确概率并赋予优先度的方法。首先从程序运行过程抽取其相应的动态依赖关系图;然后根据依赖关系转化成贝叶斯网络;最后在该网络上运行概率推演并统计...
关键词：动态切片 程序调试 概率推演 自动化程序分析 错误定位 
程序切片技术及其应用的研究被引量：1
《软件导刊》2010年第11期44-46,共3页蔡素梅 
程序切片技术是一种在程序调试、测试、代码理解和软件维护等领域用来分析和理解程序的技术,它具有简化问题、缩小目标范围的特性。首先从程序切片的基本概念演化、切片的分类以及基本应用等方面比较系统地研究了现在已经存在的一些程...
关键词：程序切片 静态程序切片 动态程序切片 切片准则 
一种可检测Java程序盗版的动态胎记技术被引量：1
《计算机工程与应用》2010年第17期69-71,84,共4页邓小鸿 拜亚萌 黄斌 满君丰 
国家自然科学基金 No.60773110;中国博士后科学基金 No.20080440216~~
针对Java程序易盗版的特点,提出了一种新的动态软件胎记技术。首先将Java程序进行转换得到其字节码集合U,然后利用动态程序切片技术得到U在特定输入I下的子集S,最后采用k-gram胎记提取算法得到S的一个特征值序列作为软件胎记。实验分析...
关键词：版权保护 动态程序切片 软件胎记 置信性 鲁棒性 
计算机程序切片技术探讨
《中国新技术新产品》2009年第18期26-26,共1页刘恩娜 
程序切片技术是一种分析和理解程序的技术,在程序切片技术提出的30年来,得到了很快的发展。本文主要介绍了程序切片的基本概念,程序切片的种类、算法以及用途。
关键词：动态程序切片 算法 回归测试 
一种简化依赖关系的动态程序切片算法被引量：1
《郑州大学学报（工学版）》2009年第2期84-87,共4页贾利敏 张忠林 
甘肃省科技支撑计划项目(0804JKCA040)
动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定...
关键词：动态程序切片 切片准则 动态程序切片算法 依赖关系 程序依赖图 
基于动态程序切片的软件水印方案
《东南大学学报（自然科学版）》2007年第A01期193-196,共4页邓小鸿 孙星明 孙光 拜亚萌 
国家自然科学基金资助项目(60573045);国家教育部博士点基金资助项目(20050532007)
针对中间码中水印信息抗逆向工程差的问题,提出基于动态程序切片的软件水印方案.利用动态程序切片技术将系统分割为隐秘部分与公开部分,然后改变交互模块间数据依赖关系嵌入水印信息,记录执行历史中的数据依赖关系提取水印信息.恢复隐...
关键词：动态程序切片 软件水印 中间码 逆向工程 鲁棒性 
动态程序切片研究及其应用被引量：1
《东北农业大学学报》2005年第3期397-400,共4页李英梅 伦立军 丁雪梅 
黑龙江省教育厅科技项目(10541098)
动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面。文章讨论了动态切片基本概念,提出了一种基于动态流的动态切片方法,并讨论了其...
关键词：程序切片 动态切片 切片准则 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部