Polyspace может проверить ваш код на соответствие правилам JSF C++. Для получения информации о поддерживаемых правилах смотрите JSF AV C++ Coding Rules. Используйте 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 стандарт с Bug Finder или Code Prover.
Правила кодирования AV C++ JSF
Проверьте правила JSF++, которые Polyspace может проверить.
