-
题名数据流分析方法
被引量：13
- 1
-
-
作者
李慧贤
刘坚
-
机构
西安电子科技大学软件工程研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第13期142-144,共3页
-
基金
电子预研基金资助(编号:51406070101DZ0151)
-
文摘
数据流分析是一项编译时使用的技术,它能从程序代码中收集程序的语义信息,并通过代数的方法在编译时确定变量的定义和使用。该文对数据流、数据流框架及数据流算法进行了阐述;并简要地介绍了所提出的需求过程间数据流分析的方法。
-
关键词
数据流分析
数据流框架
需求过程间数据流分析
-
Keywords
data flow analysis,data flow framework,demand interprocedural data flow analysis
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名静态检测中断驱动程序的数据竞争
被引量：9
- 2
-
-
作者
霍玮
于洪涛
冯晓兵
张兆庆
-
机构
中国科学院计算技术研究所计算机体系结构国家重点实验室(筹)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第12期2290-2299,共10页
-
基金
国家"八六三"高技术研究发展计划基金项目(2008AA01Z115)
"核高基"国家重大科技专项基金项目(2009ZX01036-001-002)
+1 种基金
国家"九七三"重点基础研究发展计划基金项目(2011CB302504)
国家自然科学基金项目(60921002)
-
文摘
直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一个流敏感的、上下文敏感的、考虑中断驱动程序原子性、易变性和部分随机性的数据竞争检测算法.该算法具有高效、精确的特点.实验表明,其检测时间与代码规模基本呈线性关系,分析17850行代码仅用时3.6s;同时,相比于基于锁集技术的典型数据竞争检测方法,其准确率平均是后者的2.13倍.
-
关键词
微控制器
中断驱动程序
数据竞争检测
过程间数据流分析
副作用分析
-
Keywords
microcontroller
interrupt-driven program
data race detection
interprocedural dataflow analysis
side-effect analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
