过去几年由SYRMIA嵌入式软件公司开发的是Autocheck，这是一个基于LLVM/Clang的项目，用于检查C和C++代码，以评估它是否适合在汽车内和其他安全关键环境中运行。对于那些想要帮助评估C/C++代码安全性的人来说，AutoCheck现在是免费和开源的。
SYRMIA宣布周三，这个C/C++代码检查器现在可以用来帮助确保代码的安全性。这个基于LLVM/Clang的检查器(解析器)所做的是对照AUTOSAR标准检查C/C++代码。AutoCheck将根据AUTOSAR(汽车开放系统架构)C++14标准自动检查给定的代码是否能够在汽车环境和其他安全关键系统中运行。
在2020年LLVM开发者会议期间分享了有关Autocheck的更多背景信息：
在……里面宣布在向LLVM开发人员提供Autocheck可用性时，提到他们计划继续向这个源代码分析工具添加更多规则和其他功能。
那些想要查看开源Autocheck的人可以在GitHub.
