控制流图

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于静态污点分析的Android应用Intent注入漏洞检测方法被引量：6
《计算机科学》2016年第9期192-196,共5页王允超 魏强 武泽慧 
针对Android应用程序组件间通信过程中的消息载体Intent有可能被攻击者构造进而引发组件被恶意注入的安全风险问题,提出了一种基于静态污点分析的检测方法。在构建Android应用的函数调用图和控制流图的基础上,通过跟踪应用组件内和组件...
关键词：Android 静态污点分析 函数调用图 控制流图 Intent注入漏洞 
Java程序异常信息分析插件的研究与设计被引量：2
《计算机科学》2014年第8期106-108,共3页宋道远 贲可荣 
国家自然科学基金(61272108);软件工程国家重点实验室开放基金(SKLSE2012-0938)资助
异常处理是一种有效提高软件健壮性的方法,处理不当将导致严重的软件失效。提出一种通过分析Java程序异常信息、由开发平台给出异常处理代码提示的方法,以提高开发效率,并提出一种包含异常结构的Java程序异常控制流图构造方法,用于程序...
关键词：异常处理 插件设计 异常控制流图 
C程序控制流程模型的提取技术与实现被引量：4
《计算机科学》2014年第5期208-214,共7页杨昌坤 许庆国 
国家自然科学基金项目(61073050;61170044)资助
控制流图描述了函数执行时可能采取的执行路径。绝大多数静态分析工具都在抽象语法树之上生成控制流图并据此对程序的运行行为进行分析。在模型检测过程中,提取正确的控制流图是构建系统模型的关键。在分析C程序的抽象语法树和控制结构...
关键词：控制流图 抽象语法树 模型检测 
基于跨基本块变换和循环分布的SLP优化技术
《计算机科学》2013年第10期24-28,60,共6页索维毅 赵荣彩 姚远 张小妹 
核高基重大专项(2009ZX01036-001-001-2)资助
现有的SLP优化算法无法处理内层循环中存在的依赖环和归约,并且在基本块边界产生大量的冗余拆包和赋值语句,从而导致向量化效率不高。针对该问题,提出了一种基于跨基本块变换和循环分布的SLP优化算法。该算法以控制流图为基础,根据基本...
关键词：SLP 跨基本块变换 循环分布 数据依赖 控制流图 Define-Use关系 
内存泄漏故障静态分析研究被引量：5
《计算机科学》2010年第6期171-175,共5页叶俊民 魏鹏 金聪 王敬华 张清国 张维 
武汉大学计算机软件工程国家重点实验室开放基金项目(编号:SKLSE20080705);湖北省自然科学基金(编号:2007ABA034;2008CDB349);华中师范大学中央高校基本科研业务费项目(编号:CCNU09Y01009和CCNU09Y01013)资助
目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能...
关键词：内存泄漏 故障检测 控制流图 故障模型 静态分析技术 
控制流图上支配关系计算方法的分析与实现被引量：1
《计算机科学》2009年第3期54-57,77,共5页马红途 赵荣彩 苏彦兵 
国家863计划资助项目(2006AA01Z408)资助
支配关系在数据流分析和静态单赋值等程序分析和优化中应用很广泛。采用位向量表示支配结点集合,描述了采用迭代法计算控制流图上支配结点集合的算法,在支配结点集合的基础上讨论了对直接支配结点、支配边界结点的计算方法,并在NPB和SPE...
关键词：控制流图 迭代算法 位向量 支配关系 
系统服务Rootkits隐藏行为分析被引量：1
《计算机科学》2008年第6期103-106,共4页龙海 郝东白 黄皓 
863项目:分布式可信计算系统研究(2007AA1Z409)
用挂钩系统服务来实现进程、文件、注册表、端口等对象的隐藏是最常见的rootkits实现方式。然而大量的检测方法并不能将rootkits和其所隐藏的对象对应起来。本文分析了用户层和内核层系统服务rootkits的隐藏行为,建立了6种模型。在检测...
关键词：ROOTKITS 系统服务 行为 控制流图 数据流图 函数调用图 
并发控制流检测技术综述被引量：2
《计算机科学》2007年第7期14-19,共6页吴艳霞 顾国昌 付岩 程立新 
并发控制流检测技术是防止由于单粒子反转事件而导致运行系统发生故障的有效手段,目前主要采用以控制流图为基础的结点签名技术。本文首先介绍并发控制流检测技术的分类标准;然后按照技术发展的脉络,从软硬结合、纯软件两方面介绍控制...
关键词：并发控制流检测 看门狗处理器 控制流图 分派签名 源签名 
基于过程蓝图的程序环路复杂性度量方法被引量：3
《计算机科学》2006年第6期267-269,283,共4页刘建宾 李建忠 余楚迎 杨林邦 
广东省自然科学基金项目(项目编号:032027);北京信息科技大学科学研究基金项目。
提出一种基于过程蓝图的程序环路复杂性度量实现方法。将传统基于程序控制流图的度量信息抽取变为对过程蓝图的实现层表示-抽象实现结构图的信息抽取,避免程序源代码的语法分析和控制流图的构造,简化度量过程和实现,并提高度量处理的效率。
关键词：环路复杂性 McCabe度量 过程蓝图 抽象实现结构图 控制流图(CFG) 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部