См. обзор поддержки Polyspace для стандарта JSF C++.
Проверяйте на нарушения стандарта кодирования
Проверка на нарушения AUTOSAR C++ 14, CERT® C, CERT C++ MISRA C®, MISRA® C++, JSF AV C++ или ISO-17961 стандарт с Bug Finder или Code Prover.
Правила кодирования AV C++ JSF
Проверьте правила JSF++, которые Polyspace может проверить.