A fast moving car

持续扫描  快速合规

低成本满足 MISRA C 等编程规范的要求

个人版

适合开发者独立使用

免费

立即使用
  • MISRA C:2012 规则检查
  • 自动化跟踪编译
  • Visual Studio Code 插件
  • 容器化部署
  • 开放源代码

团队版

专注为中小企业解决合规问题

10人起售 · 每人每月

联系我们获取报价

报名参加内测
  • 包含个人版所有功能
  • 任务划分和信息共享
  • 版本控制和持续集成
  • 多项目和多用户组管理
  • MISRA 合规工作流
  • 生成合规检查报告

企业版

适合大中型软件开发团队

50人起售

联系我们获取报价

联系我们
  • 包含团队版所有功能
  • 实时监测合规进展
  • 自定义编程规范
  • 自定义检查报告
  • 企业级数据安全策略
  • 私有化或高可用性部署

立即使用

1 准备待检查的代码

为了快速展示 NaiveSystems™ Analyze 的功能,我们准备了一个代码仓库,里面包含一些简单的演示程序。

你可以复制然后运行命令:

2 运行静态检查工具

我们以 Podman 镜像的方式发布 NaiveSystems™ Analyze 个人版。

你可以复制然后运行命令:(仅适用于 Linux,其他平台请阅读 GitHub Wiki

如果你没有安装或使用过 Podman,可以阅读相关文档,或者用 Docker 代替。

3 查看检查结果

上面的命令会直接输出检查结果。你也可以使用我们提供的 Visual Studio Code 插件来更方便地查看检查结果。

如果检查结果可能有问题,可以在 GitHub 上告诉我们。

常见问题

个人版支持哪些系统环境?
个人版使用 Podman 镜像的方式发布,理论上与 Podman 所支持的系统环境相同。如果在使用中遇到问题,可以在 GitHub 上告诉我们。
如何开始使用团队版?
团队版目前还在内部测试阶段,如果你有兴趣了解更多信息,可以报名参加内测
支持哪些编程语言和编程规范的检查?
目前支持 MISRA C:2012 规范、GJB 5369 标准、Go 语言。后续会增加对 Java、TypeScript 等语言,以及对 ISO 26262、AUTOSAR、CERT、DO-178C 等标准的支持。如果你有兴趣了解更多信息,可以联系我们