程序静态分析的对象是（）。常生成各种引用表，如（）列出各模块中出现的全部标号。