По умолчанию Polyspace, когда Вы Кодируете, запускает анализ в настоящее время активного файла в вашем IDE. Если нахождение проблемы обычно требует нескольких исходных файлов, Polyspace по умолчанию как Вы, Анализ кода не может отметить его. Средства проверки, соответствующие этим проблемам, деактивированы в Polyspace по умолчанию® как вы Анализ кода. Эти проблемы могут быть обнаружены путем выполнения анализа интегрирования проекта при помощи Polyspace Bug Finder или Polyspace Bug Finder Server.
Средства проверки Bug Finder, которые деактивированы в Polyspace по умолчанию как Вы Анализ кода, включают:
CERT C кодирующие правила, которые деактивированы в Polyspace по умолчанию как Вы Анализ кода, включает:
CERT правила кодирования C++, которые деактивированы в Polyspace по умолчанию как Вы Анализ кода, включает:
MISRA C:2004 и правила кодирования AGC AC MISRA, которые деактивированы в Polyspace по умолчанию как Вы Анализ кода, включают:
MISRA C:2004 и правила 5.1, 5.4, 5.6, 8.4, 8.8, 8.9, 8.10 AGC AC MISRA. Смотрите поддерживаемый MISRA C:2004 и правила AGC AC MISRA
MISRA C:2012, кодирующий правила, которые деактивированы в Polyspace по умолчанию как Вы Анализ кода, включает:
ISO/IEC TS 17961, кодирующий правила, которые деактивированы в Polyspace по умолчанию как Вы Анализ кода, включает:
MISRA C ++:2008 правил кодирования, которые деактивированы в Polyspace по умолчанию как Вы Анализ кода, включают:
C++ AUTOSAR 14 правил кодирования, которые деактивированы в Polyspace по умолчанию как Вы Анализ кода, включает:
Правила кодирования C++ JSF, которые деактивированы в Polyspace по умолчанию как Вы Анализ кода, включают:
JSF правило 46,137,139 C++. Смотрите, что поддерживаемый C++ JSF кодирует правила.
Средства проверки, который находит меньше проблем в Polyspace по умолчанию как Вы Анализ кода, перечислены в таблице. Проблемы, которые не найдены, связаны с анализом нескольких-файлов.
| Средство проверки | Поведение в Polyspace по умолчанию как Вы Анализ кода |
|---|---|
CERT C: Rule EXP37-C | Не проверяет на несоответствие Объявления функции. |
CERT C++: EXP37-C | Не проверяет на несоответствие Объявления функции. |
CERT C++: DCL60-CPP | Не проверяет на Неидентичные Определения Функции или Объекта Через Модули. |
CERT C: Rec. DCL19-C | Не проверяет на Функцию или объект, объявленный без статического спецификатора и ссылаемый только в одном файле. |
CERT C: Rec. DCL23-C | Не проверяет на Внешние идентификаторы, не отличные. |
AUTOSAR C++14 Rule A0-1-3 | Не проверяет на Функцию Члена парламента, не занимающего официального поста, Не Используемую. |
ISO/IEC TS 17961 [argcomp] | Не проверяет на Конфликтные объявления или конфликтное объявление и определение. |
