Die C-STAT-Analyse des IAR konzentriert sich in erster Linie auf MISRA und andere Compliance-Checker. Es hat einige grundlegende Qualitätsprüfer. Coverity verfügt über eine große Anzahl von Qualitäts- und Sicherheitsprüfern - der Schwerpunkt von Coverity liegt darin, echte Fehler zu finden, anstatt sicherzustellen, dass Sie sich an einen Kodierungsstandard (wie MISRA) halten. Coverity verfügt außerdem über eine exzellente interprozedurale Analyse und extrem niedrige False-Positive-Raten.
Während sich diese beiden Tools derzeit nur wenig überschneiden, hat Coverity mit der Einführung von Compliance-Checkern begonnen und wird bald den gleichen Codierungsstandard anbieten und gleichzeitig echte Fehler finden.
Ich bin zugegebenermaßen voreingenommen - ich arbeite an dem Coverity-Produkt. Ich bin jedoch der festen Überzeugung, dass Coverity das beste Tool seiner Art auf dem Markt ist.
Fühlen Sie sich frei, dieses zu einem geeigneteren Brett zu bewegen, sollte es sein. – RightmireM