静态语义分析的任务最主要是检查程序结构（控制结构和数据结构）的一致性和完整性