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