控制流图

作品数：171被引量：295H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宫云战金大海何龙张鹏程史建琦更多>>
相关机构：北京邮电大学浙江大学中国科学院东南大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划湖北省自然科学基金江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于二进制重写的混合分析构建控制流图方案
《计算机应用研究》2025年第2期555-559,共5页李自友 黄晓芳 殷明勇 
四川省科技厅重点研发资助项目(2022YFG0321);四川省自然科学基金资助项目(2022NSFSC0916)。
控制流图(CFG)是二进制程序分析的基础。传统静态分析方法构建控制流图速度快,代码覆盖率高,但不能解决间接跳转问题;动态分析方法能够分析间接跳转,但代码覆盖率低、性能开销大。为更加高效构建完备的控制流图,提出静态动态结合的混合...
关键词：控制流图 二进制程序 混合分析 二进制重写 
一种面向二进制的控制流图混合恢复方法被引量：3
《计算机应用研究》2018年第7期2168-2171,共4页叶志斌 姜鑫 史大伟 
国家自然科学基金资助项目(91430214)
控制流图恢复是进行二进制文件安全性分析的基础,静态恢复分析速度快,但其精确度欠缺;动态恢复方法的优点是精确度高,但分析效率较低。将两者优点结合,提出了面向二进制程序的混合分析恢复方法,在对二进制文件进行静态分析生成控制流图...
关键词：二进制分析 符号执行 反向切片 控制流图 
基于动静结合的Android恶意代码行为相似性检测被引量：8
《计算机应用研究》2018年第5期1534-1539,共6页陈鹏 赵荣彩 单征 韩金 孟曦 
国家"863"计划资助项目(2009AA012201);国家自然科学基金资助项目(61472447)
针对同家族恶意软件行为具有相似性的特点进行研究,提出通过静态分析与动态运行程序相结合的方式度量软件行为的相似性。通过反编译和soot代码转换框架获取程序控制流图,利用行为子图匹配算法从静态方面对程序行为相似性进行度量;通过...
关键词：ANDROID API调用 控制流图 子图匹配 系统调用 trace文件 
基于控制流图支配树的测试数据灰度编码生成被引量：1
《计算机应用研究》2017年第3期756-760,共5页单平平 陈可 许豪 
为进一步提高数据测试算法性能,提出一种基于控制流图支配树的测试数据灰度编码进化生成算法。利用三角分类程序示例构建数据测试的数据流控制流图,并利用其支配树关系构建测试数据的数据流分析,建立程序变量间的支配关系集。结合遗传...
关键词：支配树 灰度编码 遗传算法 测试数据生成 支配关系 分支距离 
一种基于程序关联性分析的软件测试方法被引量：5
《计算机应用研究》2008年第12期3650-3653,共4页孙赢盈 张毅坤 杨凯峰 张保卫 夏辉 
西安市科技计划资助项目(YF07023)
软件测试是保证产品整体质量的重要手段。基于关联性的软件测试方法,在加强软件内在关联关系分析的基础上,建立模块之间及模块与测试用例之间的关联关系,并给出关联的表达和检测方法,有利于快速定位错误、缩小测试范围,减少重复测试的...
关键词：关联性 测试用例 回归测试 控制流图 
面向对象程序的异常分析与测试方法述评被引量：2
《计算机应用研究》2007年第8期25-29,37,共6页毛澄映 卢炎生 闫伟 江胜 
国家"十五"科技预研基金资助项目(41315.9.2;10104010201);湖北省自然科学基金资助项目(2005ABA266)
从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测试技术改进和工具实现方面所做的工作;探讨了异常分析和测试的若干研究方向。
关键词：异常处理 分析与测试 控制流图 形式推理 覆盖准则 
程序复杂性度量的一种新方法被引量：6
《计算机应用研究》2004年第2期37-39,共3页伦立军 丁雪梅 李英梅 
黑龙江省教育厅科技项目(10513011);哈尔滨师范大学杰出青年基金资助项目
通过分析传统的程序复杂性度量方法的不足之处,首先提出了一种基于程序分解机制的路径复杂性度量方法,然后给出了计算路径复杂度的算法,最后给出了实例。新的度量方法指出了一个程序需要的完全测试路径数目。
关键词：软件度量 路径复杂性 结构复杂性 控制流图 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部