Peverify.exe (PEVerify-Tool)

  • Artikel

Mit dem PEVerify-Tool können Entwickler, die MSIL (Microsoft Intermediate Language) generieren (wie Compilerentwickler und Skript-Engine-Entwickler), herausfinden, ob ihr MSIL-Code und die zugeordneten Metadaten den Anforderungen an die Typsicherheit entsprechen. Einige Compiler generieren nur dann überprüfbar typsicheren Code, wenn bestimmte Sprachkonstrukte nicht verwendet werden. Wenn Sie einen solchen Compiler verwenden, sollten Sie unter Umständen prüfen, ob die Typsicherheit des Codes beeinträchtigt wurde. Sie können das PEVerify-Tool für die Dateien ausführen und damit die MSIL und Metadaten überprüfen.

Dieses Tool wird automatisch mit Visual Studio installiert. Um das Tool auszuführen, verwenden Sie die Developer-Eingabeaufforderung von Visual Studio oder Visual Studio Developer PowerShell.

Syntax

peverify filename [options]

Parameter

Argument Beschreibung
filename Die portierbare ausführbare Datei (Portable Executable, PE), deren MSIL und Metadaten überprüft werden sollen.
Option Beschreibung
/break= maxErrorCount Bricht die Überprüfung nach maxErrorCount-Fehlern ab.

Dieser Parameter wird in .NET Framework, Version 2.0 oder höher, nicht unterstützt.
/clock Erfasst und meldet die folgenden Überprüfungszeiten in Millisekunden:

MD Val. cycle
Validierungszyklus der Metadaten

MD Val. pure
Reine Metadatenvalidierung

IL Ver. cycle
Überprüfungszyklus der Microsoft Intermediate Language (MSIL)

IL Ver pure
Reine MSIL-Überprüfung

Die Zeiten MD Val. cycle und IL Ver. cycle umfassen die Zeit, die erforderlich ist, um die notwendigen Prozeduren zum Starten und Herunterfahren auszuführen. Die Zeiten MD Val. pure und IL Ver pure umfassen die Zeit, die erforderlich ist, um nur die Validierung oder Überprüfung auszuführen.
/help Zeigt Befehlssyntax und Optionen für das Tool an.
/hresult Zeigt Fehlercodes im Hexadezimalformat an.
/ignore= hex.code [, hex.code] Ignoriert die angegebenen Fehlercodes.
/ignore=@ responseFile Ignoriert die in der angegebenen Antwortdatei aufgelisteten Fehlercodes.
/il Führt Überprüfungen der MSIL-Typsicherheit für Methoden durch, die in der durch dateiname angegebenen Assembly implementiert sind. Das Tool gibt eine detaillierte Beschreibung aller gefundenen Probleme zurück, sofern Sie nicht die /quiet-Option angeben.
/md Führt Validierungen von Metadaten in der durch Dateiname angegebenen Assembly aus. Bei dieser Option wird die gesamte Metadatenstruktur in der Datei durchlaufen und über alle gefundenen Validierungsprobleme berichtet.
/nologo Unterdrückt die Anzeige der Produktversion sowie von Copyrightinformationen.
/nosymbols Unterdrückt in .NET Framework, Version 2.0, Zeilennummern, um Abwärtskompatibilität zu gewährleisten.
/quiet Gibt den stillen Modus an. Hierbei wird die Ausgabe von Berichten über die während der Überprüfung gefundenen Probleme unterdrückt. "Peverify.exe" meldet weiterhin, ob die Datei typsicher ist, es werden jedoch keine Informationen zu Problemen ausgegeben, die die Überprüfung der Typsicherheit verhindern.
/transparent Überprüfen Sie nur die transparenten Methoden.
/unique Ignoriert wiederholt auftretende Fehlercodes.
/verbose Zeigt in .NET Framework, Version 2.0, zusätzliche Informationen in MSIL-Überprüfungsmeldungen an.
/? Zeigt Befehlssyntax und Optionen für das Tool an.

Hinweise

Die Common Language Runtime erfordert die typsichere Ausführung von Anwendungscode, um Sicherheits- und Isolierungsmechanismen zu erzwingen. Normalerweise kann Code, der nicht überprüfbar typsicher ist, nicht ausgeführt werden. Sie können jedoch die Sicherheitsrichtlinie so festlegen, dass vertrauenswürdiger, aber nicht überprüfbarer Code ausgeführt wird.

Wenn weder die /md-Option noch die /il-Option angegeben wurde, führt „peverify.exe“ beide Überprüfungen durch. „everify.exe“ führt zuerst /md-Überprüfungen aus. Wenn keine Fehler auftreten, werden /il-Überprüfungen durchgeführt. Wenn Sie /md und /il angeben, werden auch /il-Überprüfungen durchgeführt, wenn in den Metadaten Fehler vorhanden sind. Daher stimmt peverify filename mit peverify filename /md /il überein, wenn die Metadaten nicht fehlerhaft sind.

"Peverify.exe" führt umfangreiche MSIL-Überprüfungen anhand der Datenflussanalyse sowie einer Liste mit mehreren hundert Regeln für die Gültigkeit von Metadaten durch. Detaillierte Informationen zu den von „Peverify.exe“ ausgeführten Überprüfungen finden Sie im Windows SDK im Ordner „Tools Developers Guide“ unter „Metadata Validation Specification“ und „MSIL Instruction Set Specification“.

.NET Framework, Version 2.0 oder höher, unterstützt überprüfbare byref-Rückgaben, die unter Verwendung der folgenden MSIL-Anweisungen angegeben werden: dup, ldsflda, ldflda, ldelema, call und unbox.

Beispiele

Der folgende Befehl validiert Metadaten und verifiziert die MSIL-Typsicherheit von Methoden, die in der myAssembly.exe-Assembly implementiert sind.

peverify myAssembly.exe /md /il

Wenn diese Anforderung erfolgreich ausgeführt wurde, zeigt "Peverify.exe" die folgende Meldung an.

All classes and methods in myAssembly.exe Verified

Der folgende Befehl validiert Metadaten und verifiziert die MSIL-Typsicherheit von Methoden, die in der myAssembly.exe-Assembly implementiert sind. Das Tool zeigt an, wie viel Zeit zur Durchführung dieser Überprüfungen erforderlich ist.

peverify myAssembly.exe /md /il /clock

Wenn diese Anforderung erfolgreich ausgeführt wurde, zeigt "Peverify.exe" die folgende Meldung an.

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

Der folgende Befehl validiert Metadaten und verifiziert die MSIL-Typsicherheit von Methoden, die in der myAssembly.exe-Assembly implementiert sind. "Peverify.exe" wird jedoch beendet, wenn es die maximale Fehleranzahl von 100 erreicht. Das Tool ignoriert auch die angegebenen Fehlercodes.

peverify myAssembly.exe /break=100 /ignore=0x12345678,0xABCD1234

Der folgende Befehl führt zum gleichen Ergebnis wie das vorherige Beispiel, nur werden hier die in der Antwortdatei ignoreErrors.rsp zu ignorierenden Fehlercodes angegeben.

peverify myAssembly.exe /break=100 /ignore@ignoreErrors.rsp

Die Antwortdatei kann eine durch Trennzeichen getrennte Liste von Fehlercodes enthalten.

0x12345678, 0xABCD1234

Wahlweise kann die Antwortdatei auch mit einem Fehlercode pro Zeile formatiert werden.

0x12345678
0xABCD1234

Siehe auch