Кто-нибудь знает о сравнении или обзоре C-STAT от Coverity по сравнению с IAR's C-STAT?Покрытие от IAR C-STAT
Я ищу различные инструменты. IAR использовалась моей компанией в прошлом. Более высокие показатели проявили интерес к Coverity. Я пытаюсь провести сравнительный анализ между ними.
Анализ C-STAT IAR в основном фокусируется на MISRA и других контрольных контролях. У него есть некоторые базовые качественные шашки. В Coverity есть большое количество качественных и безопасных шашек - основное внимание на Coverity находит реальные ошибки, а не за то, что вы придерживаетесь стандарта кодирования (например, MISRA). Покровность также имеет отличный межпроцедурный анализ и чрезвычайно низкие ставки False Positive.
Хотя сейчас эти два инструмента имеют очень мало перекрытий, Coverity начала добавлять контрольные проверки соответствия и вскоре предложит одинаковое стандартное покрытие кодирования, а также найдет реальные ошибки.
Я, по общему признанию, предвзято - я работаю над продуктом Coverity. Однако я искренне верю, что Coverity - лучший инструмент такого рода на рынке.
IAR C-STAT также предоставляет различные стандартные проверки, называемые STDCHECKS. Похоже, что CSTAT добавляет новые функции с последними версиями IAR. – MNS
Не стесняйтесь переместить это на более подходящую плату, если это необходимо. – RightmireM