属于静态分析法的是