静态错误分析用于确定在源程序中是否有某些错误或“危险”结构。常用4种分析方法。即类型和单位分析、（）、表分析。