静态分析的目的是什么