代码的静态分析