本地化的编码标准符合性检查
嵌入式软件典型故障模式和运行时错误检查
共享全局变量与数据竞争分析
支持多引擎的静态分析平台
代码架构和可视化
自动化可配置的报告生成