欢迎光临橙果MALL-科技成果交易平台！
首页  >  成果介绍

成果名称：C/C++静态缺陷检测工具SpecChecker

标       签：静态缺陷检测工具 | 编码标准符合性检查 | 运行时缺陷检测 | 代码质量度量应用场景：航天
  • 成果水平：国际先进
  • 应用阶段：可以量产
  • 创新形式：
  • 合作方式：
  • 成果属性：
  • 交易状态：未交易
  • 所  在  地：
  • 价       格：面议
联系成果专员
成果详情

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

温馨提示：此页面只对会员开放
                  已是会员 > 直接登录
                  不是会员 > 注册会员
温馨提示：此页面只对会员开放
                  已是会员 > 直接登录
                  不是会员 > 注册会员
温馨提示：此页面只对会员开放
                  已是会员 > 直接登录
                  不是会员 > 注册会员
温馨提示：此页面只对会员开放
                  已是会员 > 直接登录
                  不是会员 > 注册会员
温馨提示：此页面只对会员开放
                  已是会员 > 直接登录
                  不是会员 > 注册会员
温馨提示：此页面只对会员开放
                  已是会员 > 直接登录
                  不是会员 > 注册会员

友情链接

服务项目

联系我们

  • 中关村中慧先进制造产业联盟
  • 联系电话：010-68709919
  • 邮       箱：zhonghui@niita.cn
  • 地       址：北京市海淀区紫竹院南路17号3号楼

官方微信

中关村中慧先进制造产业联盟 版权所有 Rights Reserved ICP证： 京ICP备2021031015号-2 京公网安备 11010802037544号