利用多种技术自动识别语义缺陷、安全漏洞和编码规则等问题,适配国内编码标准和国产环境,支持灵活定制。





采用了多项国际先进静态分析技术,能够进行路径敏感、上下文敏感、对象敏感分析,检测效率达到了平均每小时150万行。
兼顾了漏洞、缺陷及编码规则等全部类型的检测,全面发现代码中的各类问题。
支持 MISRA 系列、CERT系列、ISO17961、CN-CERT 、 GJB 5369 、GJB 8114 、航天921等质量及安全编码标准。


马上申请30天免费试用

