静态分析基础知识