通常对源程序进行静态分析的方法为：生成引用表、程序错误分析和（）。