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