Difetti
Descrizioni ed esempi di difetti
Un difetto Polyspace® Bug Finder™ è un risultato di analisi che identifica un errore di codifica specifico o una vulnerabilità. Utilizzare queste categorie di difetti per comprendere i risultati.
Categorie
- Difetti numerici
Difetti relativi a errori di codifica numerica, divisione per zero, conversione di tipo, operazioni di spostamento negativo, libreria matematica standard
- Difetti di memoria statica
Difetti relativi a errori di codifica della memoria statica, array fuori limite, puntatori nulli, memoria standard e libreria di stringhe
- Difetti di memoria dinamica
Difetti relativi a errori di codifica della memoria dinamica, puntatori liberati, perdite di memoria, memoria non protetta
- Difetti nel flusso di dati
Difetti relativi a errori di codifica nel flusso di dati, codice irraggiungibile, mancata inizializzazione, istruzioni di ritorno mancanti, scritture inutili
- Difetti di gestione delle risorse
Difetti relativi alla gestione delle risorse, come flusso di file non chiuso o utilizzo di un flusso di file chiuso
- Difetti di programmazione
Difetti relativi a errori di codifica della programmazione, operatori di assegnazione rispetto a operatori di uguaglianza, incompatibilità del tipo, overflow ciclico, array di stringhe
- Difetti orientati agli oggetti
Difetti relativi alla programmazione orientata agli oggetti in C++, come problemi di progettazione delle classi o problemi nella gerarchia di ereditarietà
- Difetti relativi alle eccezioni in C++
Difetti relativi alle eccezioni in C++ e loro gestione, come eccezioni non gestite in una funzionenoexcept
o eccezioni impreviste generate da un'istruzionethrow
- Difetti di concorrenza
Difetti relativi al codice multitasking
- Difetti di sicurezza
Difetti relativi a debolezze e vulnerabilità di sicurezza
- Difetti di crittografia
Difetti relativi all'utilizzo non corretto delle routine di crittografia OpenSSL
- Difetti da dati contaminati
Difetti relativi a elementi di codice provenienti da una sorgente non sicura
- Difetti di buona pratica
Difetti che consentono di osservare il rispetto di buone pratiche di codifica, come il rilevamento della dimensione del buffer di memoria codificata in modo fisso o di parametri di funzione non utilizzati
- Difetti di prestazione
Difetti che influiscono sulla prestazione del codice C/C++
- Difetti di utilizzo improprio delle librerie
Difetti associati all'utilizzo non corretto di una libreria, come l'API basata su xUnit di Polyspace Test™