数据流分析试题及答案.docxVIP

数据流分析试题及答案

一、单项选择题（每题3分，共15分）

1.在数据流分析中，活跃变量分析的目的是确定程序中某点之后是否会被使用的变量。对于以下程序片段：

`x=y+z;`

`if(x0){a=x;}else{b=x;}`

`print(a);`

假设在`print(a)`处，变量`a`会被使用，则在`a=x;`语句之后，变量`x`的活跃性为（）。

A.活跃（因为后续可能被`b=x`使用）

B.不活跃（因为`a=x`后`x`未被后续使用）

C.活跃（因为`x`在条件判断中被使用）

D.不活跃（因为`x`在`print(a)`前未被再次使用）

2.到达定值分析中，若基本块B的入口点in[B]包含定值d1和d2，B内部的语句为`x=3;y=x;`，则B的出口点out[B]的定值集合为（）（假设d1是`x`的定值，d2是`y`的定值）。

A.{d1,d2}

B.{d1（新的x定值）,d2（原y定值）}

C.{d1（新的x定值）}

D.{d1（新的x定值）,新的y定值}

3.可用表达式分析用于判断某点之前所有路径上都已计算过的表达式。对于程序：

`B1:a=1;b=a+c;`

`B2:a=2;b=a+c;`

`B3://B1和B2的交汇点，执行`print(b)`

在B3