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