是编译器的一种重要的分析方法