案例研究

案例研究

上市SoC企业

关于该企业

该企业为国内上市智能应用处理器SoC、高性能模拟器件和无线互联芯片设计厂商,其业务体系涵盖智能硬件、智慧家居、消费电子、高清媒体、智能视频、汽车电子、工业控制、互联互通、模拟产品等领域。

痛点

在芯片产品研发和生产过程中,如何提升开发效率、确保产品质量是该企业的重点目标。芯片解决方案需要引入合规检查工具检查软件的安全问题,如:MISRA/AUTOSAR、逻辑漏洞等。然而,人工代码审核几乎无法实现需求,因此,找寻一款自动化进行代码审核并快速定位问题和缺陷的分析工具迫在眉睫。

  • 现有code review、质量和安全管理流程,很难发现并排除复杂的逻辑漏洞
  • 基于自身的业务特性要求,需要定制自定义规则来检查代码安全漏洞问题
  • 确保在不新增安全问题的前提下,逐步解决代码中的历史遗留问题
  • 需要集成到CI / CD开发流程,易用、高可靠、高正确率的代码检测工具

鉴释的解决方案

  • 支持MISRA C 2012,MISRA C++ 2008,以及AUTOSAR C++ 14 代码规范和标准(已交付的MISRA/AUTOSAR标准的扫描准确度达到99%)
  • 基于编译器的算法逻辑分析,很好的解决高复杂度的数组越界(AOB),空指针(NPD)等潜在缺陷,成本低,可靠性高
  • 根据用户需求定制自定义规则集,满足用户自身业务需求
  • 创新性开发增量扫描功能DSR,平滑嵌入原开发流程,恰当的处理历史代码问题
  • 爱科识提供简洁易用的UI界面及灵活的扫描配置方式,帮助用户快速扫描及定位所查找的代码缺陷

更多案例研究

驭势 – 无人驾驶

驭势致力于打造面向未来的出行和物流解决方案。通过人工智能AI...

了解案例详情

人工智能芯片

该企业是智能驾驶领域的定制解决方案供应商。通过专有的AI...

了解案例详情

了解鉴释可以如何帮助您

联系我们

通过使用我们的网站,表明您已经阅读并理解我们的Cookie政策及隐私政策