【作者】 张广梅； 陈蕊； 李晓维；

【Author】 Zhang Guangmei~(1,2,3) Chen Rui~(1,3) Li Xiaowei~1 1 Information Network lab, Institute Of Computing Technology, Chinese Academy of Sciences, 100080 2 College of Information Science and Engineering, Shan Dong Agriculture University, Tai’an 271018 3 Graduate School of the Chinese Academy of Sciences, BeiJing 100039

【机构】 中国科学院计算技术研究所信息网络室；

【摘要】 程序中某一点的数据流状态与软件的执行路径有关。程序中的部分故障与数据流相关。文中提出的MUST数据流和MAY数据流反映了数据流的执行路径相关性特点。根据不同变量的管理特点,本文从程序的控制结构出发,详细的讨论了影响数据流的各种因素及其之间的关系,提出了以基本块为最小程序单位的静态数据流分析方法,为准确地进行数据流分析提供了依据。更多还原

【Abstract】 Definition and reference are two kinds of operations on software variables. The operation on software variable disobey the variable using rules will result in software faults. In order to detect these kinds of software faults, the definition-reach data-flow analysis and living-variable analysis of a program must be made. There may be more than one path to a program’s site, and each path’s data-flow states may be different from each other, so the must-data-flow and the may-data-flow of a program are calculated to depict the accurate the data-flow information. The control structure on basic block is used by the data-flow analysis method provided in this paper. The factors that will affect the data-flow such as definition information that can reach a basic block entry site and exit site, living variable that can reach a basic block, some special operation such as memory allocate operation and memory free operation, and the relations between them are discussed sufficiently.更多还原