3.4.1 静态分析技术背景