taxonomy :: 静态分析