Примечание
Начиная в будущем релизе, Code Prover не поддержит проверяющее соответствие внешним стандартам кодирования и вычислению метрик кода. Мигрируйте на Bug Finder для этих рабочих процессов. Смотрите Перемещают Рабочие процессы Code Prover для Проверки Стандартов Кодирования и Метрик Кода к Bug Finder.
Polyspace JSF AV средства проверки C++
См. обзор поддержки Polyspace Стандарта C++ JSF.
Проверяйте на кодирование стандартных нарушений
Проверяйте на нарушения C++ AUTOSAR 14, CERT® C, CERT C++ MISRA C®, MISRA® C++, JSF AV C++ или стандарты ISO 17961 с Polyspace Bug Finder или Code Prover.
JSF AV правила кодирования C++
Найдите, что JSF ++ постановляет, что Polyspace может проверять.
Используйте Bug Finder вместо Code Prover, чтобы проверить соответствие различным стандартам кодирования, соглашениям о присвоении имен и стандартам сложности кода. Вычислите метрики кода при помощи Bug Finder.
Выровняйте по ширине нарушения правила кодирования Используя проверки Code Prover
Используйте зеленые проверки на этапе выполнения в Code Prover, чтобы позволить исключения для кодирования нарушений правила.
