-
题名数据流分析方法
被引量：13
- 1
-
-
作者
李慧贤
刘坚
-
机构
西安电子科技大学软件工程研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第13期142-144,共3页
-
基金
电子预研基金资助(编号:51406070101DZ0151)
-
文摘
数据流分析是一项编译时使用的技术,它能从程序代码中收集程序的语义信息,并通过代数的方法在编译时确定变量的定义和使用。该文对数据流、数据流框架及数据流算法进行了阐述;并简要地介绍了所提出的需求过程间数据流分析的方法。
-
关键词
数据流分析
数据流框架
需求过程间数据流分析
-
Keywords
data flow analysis,data flow framework,demand interprocedural data flow analysis
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向顺序存储结构的数据流分析
被引量：5
- 2
-
-
作者
王淑栋
尹文静
董玉坤
张莉
刘浩
-
机构
中国石油大学(华东)计算机科学与技术学院
-
出处
《软件学报》
EI
CSCD
北大核心
2020年第5期1276-1293,共18页
-
基金
中央高校基本科研业务费专项资金(19CX02028A)
国家自然科学基金(61873281)。
-
文摘
C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操作,特别是在利用指针访问顺序存储结构时,传统的分析方法只关注了指针的指向关系,而未讨论指针可能发生偏移的数值信息,且未考虑发生偏移时可能存在越界的不安全问题,导致了对顺序存储结构分析不精确.针对以上不足,首先对顺序存储结构进行抽象建模,并对顺序存储结构与指针结合使用时的指向关系与偏移量进行有效表示,建立了用于顺序存储结构的抽象内存模型SeqMM;其次,归纳总结C程序中顺序存储结构涉及的指针相关迁移操作、谓词操作及遍历顺序存储结构的循环操作,提出了安全范围判别保证操作安全性;之后,针对函数调用时形参指针引用顺序存储结构与实参的映射过程进行过程间推导规则设计;最后,基于上述分析,提出了一种内存泄漏缺陷检测算法,对5个开源C工程的内存泄漏缺陷进行检测.实验结果表明,所提出的Seq MM能够有效地刻画C程序中的顺序存储结构及其涉及的各种操作,其数据流分析结果能够用于内存泄漏的检测工作,同时在效率和精度之间取得合理的权衡.
-
关键词
顺序存储结构
数据流分析
抽象内存模型
过程间分析
内存泄漏
-
Keywords
sequential storage structure
data flow analysis
abstract memory model
inter-prcedural analysis
memory leak
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向软错误的寄存器活跃区间分析
被引量：1
- 3
-
-
作者
徐建军
谭庆平
叶俊
-
机构
国防科学技术大学计算机学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2012年第1期83-89,共7页
-
文摘
继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响系统可靠性的关键因素之一.基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方法.首先通过数据流分析技术提取出可能影响程序执行的寄存器活跃区间,然后基于构成活跃区间的基本块集合计算其有效体系结构易感位数,在此基础上可定量计算寄存器软错误影响下的程序可靠性.基于MiBench基准程序的实验表明,该方法的分析结果与AVF分析法保持一致,同时还指出了寄存器相关活跃区间的关键程度,这为实现针对寄存器软错误的高效容错方法提供了依据.
-
关键词
软错误
寄存器
程序可靠性
数据流分析
过程间分析
-
Keywords
soft error
register file
program reliability
data flow analysis
inter-procedural analysis
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
-
题名静态检测中断驱动程序的数据竞争
被引量：9
- 4
-
-
作者
霍玮
于洪涛
冯晓兵
张兆庆
-
机构
中国科学院计算技术研究所计算机体系结构国家重点实验室(筹)
-
出处
《计算机研究与发展》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件·软件工程·软件中心
- 5
-
-
作者
宋瑞麒
-
出处
《电信科学》
1986年第10期9-12,共4页
-
文摘
一、软件的定义“软件”这个名词现在很时髦,但它的定义是什么,现在还没有一个完全统一的定论。通俗地讲,软件就是程序,但这并不确切。也有人对它下了这样的定义:“软件是在附加少量脑力劳动的情况下,可借助于计算机重复利用的脑力劳动。”并且把它定量化为:
-
关键词
数据流图
测试用例
白盒法
重复利用
需求分析
模块结构
维护阶段
用户接口
测试计划
测试过程
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
