软件开发痛点

开发测试人员
素质参差不齐
聪明人也会犯错
没有编程规约
机械化检查手段
代码缺乏可维护性
软件系统越来越复杂
测试成本非常高
测试例覆盖率很难达到100%
Bug发现越晚修复代价越高

产品和服务

  • 程序分析工具授权
  • 程序分析服务和培训

技术特色

  • 自主研发，高度可定制
  • 高精度：基于编译/定理证明/符号执行等领先技术
  • 高效性：多线程分析、分析速度快
  • 易用性：参数化配置、误报标记、修复提示、 自动修复、正反例帮助等
循环

高可信软件优势

基于领先的
科研经验积累
源代码静态分析
不依赖于测试例
机械化代码评审
节约开发时间
治标又治本
提升代码质量
规则集丰富
高度可定制
分析精度高
排查成本低
查找典型的
程序缺陷
提供自动修复
或修复提示

产品线

· 代码度量和预警

· 标准符合检测

MISRA C:2012
MISRA C++:2008
CERT C/C++
AUTOSAR C++14
CWE C/C++
GJB航天C标准
GBT嵌入式C标准
…

· 代码缺陷分析

数组越界（缓冲区溢出）
空指针解引用
内存泄露
多次释放
除零错
永真/永假条件表达式
库函数使用不当
Copy-pasted错误模式
…

· 基于GitLab的开发

Request-Review-Refactor
Bug报告和跟踪
代码度量集成
缺陷分析集成
代码质量的历史曲线
代码质量评价
…


工具插件

IDE
IDE

工具展示