NaiveSystems Analyze NaiveSystems Analyze
联系我们
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 等标准的支持。如果你有兴趣了解更多信息，可以联系我们。