数据流分析方法.pdfVIP

数据流分析方法 李慧贤 刘 坚 （西安电子科技大学软件工程研究所，西安 9 %9 %） ： :;*’( (’5=’’*/?4@!A#$/B0 摘 要 数据流分析是一项编译时使用的技术，它能从程序代码中收集程序的语义信息，并通过代数的方法在编译时 确定变量的定义和使用。该文对数据流、数据流框架及数据流算法进行了阐述；并简要地介绍了所提出的需求过程间数 据流分析的方法。 关键词 数据流分析 数据流框架 需求过程间数据流分析 文章编号 （ ） 文献标识码 中图分类号 %!;C##%; !# %#; %D!;# E FG#%D !#$%’ %( )*#* +,%- ./*,0’1’ 21 34151*/ 214 61*/ （ ， ， ） H.203*1B :/I’/BB1’/I J/K0’0=0B L’)’*/ M/’NB1K’0O L’P*/ 9 %9 % .7’#8*9# ： Q*0* 2(.3 */*(OK’K ’K * -.4’(B ;0’B 0B-5/’R=B$J0 -*/ -.((B-0 KB*/0’- ’/2.1*0’./ 21. 05B 0B0 .2 05B ， ， ， 41.I1* */) )B0B1’/B 05B )B2’/’0’./ */) =KB N*1’*S(BK SO *(IBS1*’- B05.)K$J/ 05’K 4*4B1 05B )*0* 2(.3 )*0* 2(.3 ； 21*B3.1T */) *(I.1’05K .2 )*0* 2(.3 */*(OK’K *1B )’K-=KKB) 05B ’)B* .2 )B*/) ’/0B141.-B)=1*( )*0* 2(.3 */*(OK’K ’K *(K. 41BKB/0B)$ ： ， ， :0-%8’ )*0* 2(.3 */*(OK’K )*0* 2(.3 21*B3.1T )B*/) ’/0B141.-B)=1*( )*0* 2(.3 */*(OK’K +!, % 引言 数据项属性的信息 。从根本上来说，数据流分析的目的是确定 数据流分析是一项编译时使用的技术，它能从程序代码中 路径谓词的真或假。路径谓词是一些语句，这些语句表示在程 收集程序的语义信息，并通过代数的方法在编译时确定变量的 序执行当中沿着一定的控制流路径发生了什么，在所有这些路 径上使用任意 （）或存在 （）量词对语句进行量化。路径的定 定义和使用。通过数据流分析，可以不必实际运行程序就能够 ! 发现程序运行时的行为，