参考答案：D

解析： 对程序代码进行静态分析时，要做两件事：生成各种引用表和进行静态错误分析。其中在源代码编制完成后生成各种引用表是为了支持对源程序进行静态检查。引用表按功能可以分为： ·可直接从表中查出说明/使用错误。如循环层次表、变量交叉引用表、标号交叉引用表等。 ·为用户提供辅助信息。如子函数(宏、函数)引用表、等价(变量)表、常数表等。 ·用来做错误预测和程序复杂度计算。如操作符和操作数的统计表。