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