Polyspace JSF средство проверки C++ помогает вам выполнить Объединенного Борца Забастовки® Воздушное Транспортное средство стандарты кодирования C++ (JSF ++). Эти стандарты кодирования спроектированы, чтобы улучшить робастность Кода С++ и улучшить поддерживаемость.
[1] Для получения информации о поддерживаемых правилах смотрите JSF AV Правила Кодирования C++. Используйте Check JSF C++ rules
(-jsf-coding-rules) опция анализа, чтобы активировать подмножества правил. Когда правила C++ JSF нарушены, сообщения Polyspaceprovides с информацией о нарушениях правила. О большинстве сообщений сообщают во время фазы компиляции анализа.
Примечание
Polyspace JSF средство проверки C++ основан на JSF ++:2005.
Поддержка Polyspace кодирования стандартов
Проверяйте поддержку Polyspace различных стандартов кодирования.
Проверяйте на кодирование стандартных нарушений
Проверяйте на нарушения 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 может проверять.
