控制流图

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种控制流基本块的静动态结合反汇编方法被引量：1
《小型微型计算机系统》2016年第9期1942-1946,共5页唐成华 王璐 张鑫 王宇 强保华 
国家自然科学基金项目(61462020;61163057;61363006)资助;广西自然科学基金项目(2014GXNSFAA118375)资助;广西信息科学实验中心基金项目(20130329)资助;桂林电子科技大学研究生教育创新计划项目(GDYCSZ201421)资助;广西可信软件重点实验室基金资助
针对静态反汇编间接跳转定位难和反汇编路径覆盖等问题,提出一种基于控制流基本块精确的静动态结合反汇编方法,首先利用函数定位切分识别函数块依赖关系,其次从超汇编指令集中产生粗粒度控制流图,接着结合中断标记点处理机制实现对代码...
关键词：反汇编 控制流图 基本块 中断处理机制 
一种源程序级软件验证方法研究被引量：3
《小型微型计算机系统》2014年第3期543-548,共6页叶俊民 王珍 戴跃庭 金聪 
湖北省自然科学基金面向项目(2010CDB04001)资助;武汉大学计算机软件工程国家重点实验室开放基金项目(SKLSE20080705)资助;华中师范大学基本科研业务基金项目(CCNU11A02007)资助
软件质量对使用软件的各行各业有很深的影响,因此验证软件是否满足某些关键性质成为一个重要的问题.提出一种基于C语言的源程序级验证方法,其主要思想是将C源程序转换为与控制流图等价的Kripke结构,将这一Kripke结构作为程序的抽象模型,...
关键词：模型验证 KRIPKE结构 控制流图 NUSMV 
基于谓词动态切片技术的AOP测试用例生成方法研究
《小型微型计算机系统》2013年第6期1321-1327,共7页王波 柴玉梅 王黎明 
面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素....
关键词：面向方面程序设计 语句控制流图 谓词动态切片 分支函数 
递归调用的内联策略分析被引量：2
《小型微型计算机系统》2009年第9期1787-1790,共4页何振峰 
国家自然科学基金项目(F020103)资助;福建省青年创新基金项目(2006F3075)资助
基于Tang提出的全控制流图研究了递归过程内联优化问题.提出妨碍递归过程内联的关键在于局部变量的副本问题,通过变量的定义使用关系分析,提出递归过程的可内联条件是在流图中任意局部变量的定义使用路径均不穿过递归调用语句.给出了内...
关键词：内联优化 递归消除 全控制流图 编译器优化 
C++程序中异常处理的分析与测试技术研究被引量：5
《小型微型计算机系统》2006年第3期481-485,共5页毛澄映 卢炎生 
国家"十五"科技预研项目(413150902;10104010201)资助;海军总装备部预研项目(10104010201)资助.
异常处理机制是一种运行时错误通知机制,将程序的正常控制代码和错误处理代码分离.然而异常机制的引入使得程序控制信息变得更为复杂;且开发人员一般难以熟练使用它,导致程序中会潜伏许多异常错误.扩展已有的显式异常分析技术,对隐式异...
关键词：异常处理机制 控制流图 异常分析 异常测试 健壮性 
PCC中数组边界检查的优化和生成
《小型微型计算机系统》2003年第12期2278-2282,共5页胡荣贵 陈意云 郭帆 张昱 
国家自然科学基金 (60 1 730 4 9)资助
PCC的数组边界检查存在着由于无法确定数组下标表达式符号值的范围 ,而造成拒绝执行一些安全的移动代码等问题 .本文给出的一种数组边界检查的优化及生成算法 ,不仅能够比较好地解决了这一问题 ,同时还生成了循环不变式注解中的条件谓...
关键词：PCC 数组边界检查 认证编译器 控制流图 注解 移动代码 语言安全策略系统 
一种源程序到控制流图的自动生成方法被引量：7
《小型微型计算机系统》1996年第10期45-49,共5页单永明 
将源程序转换为控制流图是软件工程领域中逆向工程的研究内容之一。本文给出了一种由源程序生成其对应的控制流图的方法和实现技术。该方法和技术也可应用于程序分析及软件维护等方面。
关键词：软件工程 程序控制流图 逆向工程 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部