Strumento PEVerify (Peverify.exe)
Aggiornamento: novembre 2007
Lo strumento PEVerify consente agli sviluppatori che generano in linguaggio MSIL (Microsoft Intermediate Language), ad esempio i writer di compilatori, gli sviluppatori di moduli di gestione di script e così via, di determinare se il codice MSIL creato e i metadati associati soddisfano i requisiti di indipendenza dai tipi. Alcuni compilatori generano codice di cui è verificabile l'indipendenza dai tipi solo se si evita di utilizzare determinati costrutti del linguaggio. Se, in qualità di sviluppatore, si utilizza un compilatore di questo tipo, sarà opportuno verificare di non aver compromesso l'indipendenza dai tipi del codice. In questa situazione è possibile eseguire lo strumento PEVerify sui file per controllare il codice MSIL e i metadati.
peverify filename [options]
Parametri
Argomento |
Descrizione |
|---|---|
nomefile |
Il file eseguibile portabile (PE, Portable Executable) per il quale controllare il codice MSIL e i metadati. |
Opzione |
Descrizione |
|---|---|
/break=numeroErroriMax |
Interrompe la verifica al superamento di numeroErroriMax. Questo parametro non è supportato in .NET Framework 2.0 o versione successiva. |
/clock |
Misura e riferisce i seguenti tempi di verifica in millisecondi:
I tempi MD Val. cycle e IL Ver. cycle includono il tempo richiesto per l'esecuzione delle procedure di avvio e chiusura necessarie. I tempi MD Val. pure e IL Ver pure riflettono il tempo richiesto solo per l'esecuzione della convalida e della verifica. |
/help |
Visualizza la sintassi e le opzioni dei comandi dello strumento. |
/hresult |
Visualizza i codici di errore in formato esadecimale. |
/ignore=codice.hex [, codice.hex] |
Ignora i codici di errore specificati. |
/ignore=@Filerisposta |
Ignora i codici di errore elencati nel file di risposta specificato. |
/il |
Esegue i controlli di verifica dell'indipendenza dai tipi del codice MSIL per i metodi implementati nell'assembly specificato da nomefile. Vengono restituite descrizioni dettagliate per ciascun problema rilevato, a meno che non si specifichi l'opzione /quiet. |
/md |
Esegue controlli di convalida dei metadati sull'assembly specificato da nomefile. Esamina l'intera struttura dei metadati nel file e riferisce tutti i problemi di convalida verificatisi. |
/nologo |
Evita la visualizzazione delle informazioni sul copyright e sulla versione del prodotto. |
/nosymbols |
In .NET Framework versione 2.0 evita la visualizzazione dei numeri di riga per compatibilità con le versioni precedenti. |
/quiet |
Specifica la modalità non interattiva. Evita la visualizzazione dell'output dei report dei problemi di verifica. Viene comunque indicato se il file è indipendente dai tipi, ma non vengono fornite informazioni sui problemi che impediscono la verifica dell'indipendenza dai tipi. |
/unique |
Ignora i codici di errore ripetuti. |
/verbose |
In .NET Framework versione 2.0 determina la visualizzazione di informazioni aggiuntive nei messaggi di verifica MSIL. |
/? |
Visualizza la sintassi e le opzioni dei comandi dello strumento. |
Note
Common Language Runtime si basa sull'esecuzione indipendente dai tipi del codice applicativo per applicare meccanismi di sicurezza e isolamento. In genere, il codice di cui non è verificabile l'indipendenza dai tipi non può essere eseguito, anche se è possibile impostare criteri di sicurezza in modo da consentire l'esecuzione di codice attendibile ma non verificabile.
Se non sono state specificate né l'opzione /md né /il, verranno eseguiti entrambi i tipi di controllo, iniziando dai controlli /md. Se non si verificano errori, vengono effettuati i controlli /il. Se si specificano sia /md che /il, i controlli /il verranno effettuati anche in presenza di errori nei metadati. Pertanto, in assenza di errori nei metadati, peverify nomefile sarà equivalente a peverify nomefile /md /il.
Mediante Peverify.exe vengono eseguiti controlli di verifica completi del codice MSIL sulla base dell'analisi del flusso di dati nonché di un elenco di alcune centinaia di regole sui metadati validi. Per informazioni dettagliate sui controlli eseguiti da Peverify.exe, vedere "Metadata Validation Specification" e "MSIL Instruction Set Specification" nella cartella "Tools Developers Guide" di Windows Software Development Kit (SDK).
Si noti che in .NET Framework 2.0 o versione successiva sono supportate restituzioni byref verificabili specificate mediante le seguenti istruzioni MSIL: dup, ldsflda, ldflda, ldelema, call e unbox.
Esempi
Il comando che segue esegue controlli di convalida dei metadati e controlli di verifica dell'indipendenza dai tipi del codice MSIL per i metodi implementati nell'assembly myAssembly.exe.
peverify myAssembly.exe /md /il
Al completamento della richiesta precedente, viene visualizzato il messaggio che segue.
All classes and methods in myAssembly.exe Verified
Il comando che segue esegue controlli di convalida dei metadati e controlli di verifica dell'indipendenza dai tipi del codice MSIL per i metodi implementati nell'assembly myAssembly.exe. Viene visualizzato il tempo necessario per l'esecuzione di questi controlli.
peverify myAssembly.exe /md /il /clock
Al completamento della richiesta precedente, viene visualizzato il messaggio che segue.
All classes and methods in myAssembly.exe Verified
Timing: Total run 320 msec
MD Val.cycle 40 msec
MD Val.pure 10 msec
IL Ver.cycle 270 msec
IL Ver.pure 230 msec
Il comando che segue esegue controlli di convalida dei metadati e controlli di verifica dell'indipendenza dai tipi del codice MSIL per i metodi implementati nell'assembly myAssembly.exe. L'esecuzione di Peverify.exe viene tuttavia interrotta al raggiungimento del numero massimo di errori pari a 100. Vengono inoltre ignorati i codici di errore specificati.
peverify myAssembly.exe /break=100 /ignore=0x12345678,0xABCD1234
Il comando che segue produce lo stesso risultato dell'esempio precedente, ma specifica i codici di errore da ignorare nel file di risposta ignoreErrors.rsp.
peverify myAssembly.exe /break=100 /ignore@ignoreErrors.rsp
Il file di risposta può contenere un elenco di codici di errore separati da virgole.
0x12345678, 0xABCD1234
In alternativa, il file di risposta può essere formattato con un codice di errore per riga.
0x12345678
0xABCD1234
Vedere anche
Concetti
Scrittura di codice indipendente dai tipi verificabile
Indipendenza dai tipi e protezione