Astrée

Astrée 静态分析编程语言是否被正确使用，以及在任何环境下的任何执行过程中是否存在运行时错误。这涵盖了根据所选语言标准具有未定义行为或违反硬件特定特性的任何 C 或 C++ 使用情况。
此外，Astrée 还报告无效的并发行为、用户指定编程规范的违反情况，以及与功能安全相关的各种程序属性。