Polyspace is not just for hand-written C/C++. In R2021a, the integration with and Embedded Coder matured significantly.
: Expanded support for AUTOSAR C++ 14, CERT C++, and MISRA C++ guidelines , along with compatibility for Visual Studio 2019 and GCC 8.x . polyspace r2021a
Polyspace R2021a can generate: