第6章 静态分析