問題タブ [peverify]

重複の可能性:
実行時に動的アセンブリの MSIL を検証するための API はありますか?

などを使用してアセンブリを動的に生成してReflection.Emitいます。

単体テストのために、IL を PEVerify したいと思います。

コマンド ラインから実行することもできますが、コードで実行したいと思います。

PEVerify.exe を呼び出すよりも便利な方法はありますか? 理想的には、最初にそのアセンブリをディスクに保存することなく、動的アセンブリを直接渡したいと思います。

理想的には、(疑似コード:

VS .NET 2010をインストールし、.NET3.5を対象としたクラスライブラリをインストールしました。以下の単純なC＃フラグメントは、.NET 4.0のpeverifyで検証可能なILを生成しますが、ILは.NET3.5のpeverifyを使用して検証しません。

この移行で修正されたpeverifyのバグはありましたか？

生成されるエラーは次のとおりです。

明示的に.NET3.5をターゲットにしているので、明らかに少し心配しています。このプラットフォームでランタイム検証エラーが発生することは望ましくありません。

私が書いたカスタムILが少しありますが、PEVerifyに合格しません。私が得るエラーは

ただし、プログラムは例外なく正常に実行されます。関連するメソッドのILは次のとおりです。

完全なソースコードはpastebinにあります

なぜこのエラーが発生するのですか？

.maxstack サイズを 1 に設定して次の IL プログラムを作成、コンパイル、正常に実行できます。これは、プログラムがある時点でスタックに 2 つの値 (つまり 2+2==4) を持っているためです。このプログラムは CLR でクラッシュせず、「Hello World」の後に数字の 4 が続くすべての期待される出力で実行を終了します。

ただし、このプログラムは (当然のことながら) 次のメッセージでスタック オーバーフロー例外を指摘する PEVerify を渡しません。

Microsoft (R) .NET Framework PE 検証ツール。バージョン 4.0.30319.18020 Copyright (c) Microsoft Corporation. 全著作権所有。

[IL]: エラー: [C:\tmp\hello.exe : HelloWorld1.Program::Main][オフセット 0x00000011] スタック オーバーフロー。1 エラー hello.exe の検証中

CLR でクラッシュしないのはなぜですか?

.dll のリリース ビルドを実行peverifyすると、「スタックの深さはパスによって異なります」というエラーが表示されます。

のコードset_Actionは次のとおりです。

このエラーがリリース ビルドでのみ発生する理由がわかりません。

ここで何が間違っているのかわかりません。現在のアセンブリのコードを使用する dll を生成しています。これは、問題の原因となっているコードのみを含む簡略版です。

peverify は以下を与えます:

このエラーはどういう意味ですか? そして、私は何を間違っていますか？

ありがとう！

編集：

ildasm で生成されたメソッドは次のようになります。

Developer Command Prompt付属の を呼び出して、Python スクリプトからコマンドVisual Studio 2013を実行するにはどうすればよいですか。peverify私はpython 3.4を使用しています。windows command prompt使用中のコマンドを実行できました subprocessが、開発者コマンド プロンプトから実行する方法がわかりません。

助けてください。私の目的はpeverify、特定のディレクトリ内の一連のファイルを介してコマンドを実行することです。