3.4.3 静态分析模块设计