多项选择题

A.支持静态分析的工具
B.支持类型检查的工具
C.支持体系结构层次依赖分析的工具
D.支持体系结构动态特性仿真工具