国家高技术研究发展计划(2008AA01Z115)

作品数：4被引量：29H指数：3
导出分析报告
相关作者：于洪涛张兆庆霍玮冯晓兵陈聪明更多>>
相关机构：中国科学院中国科学院研究生院更多>>
相关期刊：《计算机学报》《计算机研究与发展》更多>>
相关主题：别名分析激进指向约束图副作用分析更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种提高时序安全属性静态检测实用性的方法被引量：2
《计算机学报》2012年第2期244-256,共13页霍玮 李丰 丁兆伟 桑春雷 张兆庆 冯晓兵 
国家"八六三"高技术研究发展计划项目基金(2008AA01Z115);国家自然科学基金青年科学基金项目(61100011);国家自然科学基金创新研究群体科学基金项目(60921002);国家"核高基"重大专项基金项目(2009ZX01036-001-002);国家"九七三"重点基础研究发展规划项目基金(2011CB302504)资助~~
程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组...
关键词：有限状态自动机 时序安全属性 切片技术 程序静态检测 F-衡量 
静态检测中断驱动程序的数据竞争被引量：9
《计算机研究与发展》2011年第12期2290-2299,共10页霍玮 于洪涛 冯晓兵 张兆庆 
国家"八六三"高技术研究发展计划基金项目(2008AA01Z115);"核高基"国家重大科技专项基金项目(2009ZX01036-001-002);国家"九七三"重点基础研究发展计划基金项目(2011CB302504);国家自然科学基金项目(60921002)
直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一...
关键词：微控制器 中断驱动程序 数据竞争检测 过程间数据流分析 副作用分析 
基于包含的指针分析优化技术综述被引量：10
《计算机学报》2011年第7期1224-1238,共15页陈聪明 霍玮 于洪涛 冯晓兵 
国家"八六三"高技术研究发展计划项目基金(2008AA01Z115);国家"九七三"重点基础研究规划项目基金(2011CB302504);国家核高基重大专项基金(2009ZX01036-001-002);国家自然科学基金创新研究群体科学基金(60921002)资助~~
指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作,包括在线优化技术如约束图上的强连通分量的检测和消除...
关键词：指针分析 Andersen风格 指向集 约束图 流不敏感 
激进域敏感基于合并的指针分析被引量：11
《计算机学报》2009年第9期1722-1735,共14页于洪涛 张兆庆 
国家"八六三"高技术研究发展计划项目基金"以编译技术为支撑的高可靠软件开发工具与环境"(2008AA01Z115)资助~~
指针分析是静态程序分析的基础,指针分析的精度直接影响后续的程序分析和优化.域敏感性用来描述指针分析是否需要区分结构体对象的不同域成员.文中提出一种激进的基于合并的域敏感指针分析方法,利用目标机器模型中的数据布局信息进行高...
关键词：域敏感的 基于合并的 Steensgaard风格 指针分析 别名分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部