081 .2.2 编译相关技术在静态分析工具中的应用