Vollständige Liste der Polyspace Bug Finder-Ergebnisse
Beschreibungen und Beispiele von Defekten, unterstützten Codierungsregeln und Code-Metriken
Ein Polyspace® Bug Finder™-Ergebnis ist ein Fehler (Bug), ein Verstoß gegen Codierungsregeln oder eine berechnete Metrik. Die Arten von Ergebnis werden durch eines der folgenden Symbole gekennzeichnet:
– Defekte
und
– Codierungsregeln
– Code-Metriken
Zur Feinabstimmung Ihrer Überprüfung siehe . Lesen Sie die Referenzseiten in diesen Kategorien, um ein besseres Verständnis der Ergebnisse zu gewinnen.
Kategorien
- Defekte
Beschreibungen und Beispiele von Defekten
- Codierungsstandards
Beschreibung und Beispiele von Checkern für Codierungsregeln
- Code-Metriken
Beschreibung und Beispiel für Code-Metriken
- Annahmen bei der Bug Finder-Analyse
Annahmen, die bei der Codeanalyse angewendet werden