Il presente articolo è stato tradotto automaticamente. Passare il puntatore sulle frasi nell'articolo per visualizzare il testo originale.
Traduzione
Originale
Questo argomento non è stato ancora valutato - Valuta questo argomento

Analisi della qualità dell'applicazione tramite gli strumenti di analisi del codice

[Questa documentazione ha solo scopo di anteprima ed è soggetta a modifiche nelle versioni successive. Gli argomenti vuoti sono inclusi come segnaposto.]

Inserire qui l'introduzione.

Finestra Analisi codice

Gli avvisi dell'analisi codice visualizzato nella finestra degli strumenti di analisi del codice. La finestra consente di gestire e risolvere gli avvisi dell'analisi codice.

Filtrare i messaggi di avviso

Nella finestra è possibile filtrare i messaggi nella finestra Analisi codice per parola chiave, il progetto e il livello di gravità.

Editor di codice l'evidenziazione

Selezione di un messaggio nella finestra Analisi codice, viene evidenziata la riga nell'editor del codice sorgente in cui è stato generato il messaggio.

Soppressione del messaggio di C++

Nella finestra di analisi del codice, è possibile inserire un pragma nel codice sorgente che elimina un avviso selezionato.

Set di regole di C++

Come codice gestito, è ora possibile specificare le regole di analisi da applicare per l'esecuzione di analisi del codice mediante la creazione o l'utilizzo di set di regole.

Nuova C + + avvisi della concorrenza

Nuovi avvisi di concorrenza contribuiscono a garantire discipline blocchi di programmi C/C++ multithreading. L'analizzatore rileva un numero di bug di concorrenza, tra cui potenziali race condition, inversioni di ordine di blocco, chiamante/chiamato blocco contratto violazioni e le operazioni di sincronizzazione non corrispondenti.

C26100

Race condition. Variabile <var> devono essere protetti da blocco <lock>.

C26101

Mancato utilizzo di operazione interlocked correttamente per la variabile <var>.

C26105

Violazione dell'ordine. Acquisizione di blocco <lock> con il livello di <level> determina l'inversione dell'ordine.

C26110

Chiamante in caso contrario blocco <lock> prima di chiamare la funzione <func>.

C26111

Chiamante mancato rilascio blocco <lock> prima di chiamare la funzione <func>.

C26112

Chiamante non può contenere qualsiasi blocco prima di chiamare <func>.

C26115

Mancato rilascio blocco <lock> nella funzione <func>.

C26116

Errore di acquisire o blocco <lock> in <func>.

C26117

Rilascio del blocco unheld <lock> nella funzione <func>.

C26130

Annotazione _Requires_lock_held_ (<lock>) o _No_competing_thread_ nella funzione <func> mancante. In caso contrario potrebbe essere una condizione di competizione. Variabile <var> devono essere protetti da blocco <lock>.

C26135

Annotazione <annotation> la funzione <func>.

C26140

Errore di concorrenza SAL annotazione

C26160

Chiamante, provocando errori di blocco <lock> prima di chiamare la funzione <func>.

C26165

Probabilmente mancato rilascio blocco

C26166

Provocando errori di acquisire o blocco <lock> nella funzione <func>.

C26167

Probabilmente rilascio del blocco unheld <lock> nella funzione <func>.

C28101

Nel modulo dei driver è stato dedotto che il tipo della funzione corrente non è corretto

C28182

Risoluzione dei riferimenti del puntatore NULL

Analisi del codice gestito

Analisi del codice gestito fornisce informazioni sull'assembly gestiti, quali le violazioni delle regole di programmazione e progettazione stabiliti in Microsoft.NET Framework Design Guidelines. I messaggi di avviso identificano eventuali problemi di programmazione e progettazione e, se possibile, forniscono informazioni su come risolverli.

Analisi della qualità del codice gestito tramite analisi del codice

Informazioni su come configurare ed eseguire lo strumento di analisi del codice gestito.

Analisi del codice per gli avvisi del codice gestito

Vengono descritti gli avvisi che il codice di report di analisi per il codice C/C++.

Analisi del codice C++

Lo strumento di analisi del codice C/C++ fornisce informazioni destinate agli sviluppatori sui possibili errori nel codice sorgente C/C++. Gli errori di codifica più comuni segnalati dallo strumento includono i sovraccarichi del buffer, l'annullamento dell'inizializzazione della memoria, le dereferenziazioni al puntatore null e le perdite di memoria e risorse.

Verifica della qualità del codice C/C++ tramite analisi del codice

Informazioni su come configurare ed eseguire lo strumento di analisi del codice C/C++.

Avvisi dell'analisi codice per il linguaggio C/C++

Vengono descritti gli avvisi che il codice di report di analisi per il codice C/C++.

Analisi del codice per i driver

Gli strumenti di analisi del codice consentono di migliorare la stabilità e l'affidabilità del driver sistematicamente l'analisi del codice sorgente dei driver.

Analyzing Driver Quality by Using Code Analysis Tools

Analisi del codice per i driver sono uno strumento di verifica statica di fase di compilazione che rileva base errori nei programmi c e C++ di codifica e includono un modulo specializzato che è stato progettato per rilevare eventuali errori nel codice del driver (principalmente) in modalità kernel.. Statico Driver Verifier (SDV) è uno strumento di verifica statica sistematicamente analizza il codice sorgente dei driver in modalità kernel di Windows. SDV determina se il driver interagisce correttamente con il kernel del sistema operativo Windows.

Code Analysis for Drivers Warnings

Vengono descritti gli avvisi dell'analisi codice per driver segnala quando rileva un possibile errore nel codice del driver.

Altri argomenti trattati in questa sezione

Il documento è risultato utile?
(1500 caratteri rimanenti)