Arm Limited

Arm Compiler for Embedded

Arm Limited website (中文)

Ferrous Systems GmbH

Ferrocene Rust compiler support for eMCOS RTOS platform.

Ferrous Systems website (英文)

TrustInSoft

TrustInSoft Analyzer 是一款涵盖 C 和 C++ 语言的混合分析工具。通过使用形式化方法进行高级静态分析，从数学上保证软件不存在缺陷，从而证明软件的安全性。

TrustInSoft website (英文)