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 может проверять.
