dotnet/runtime

[ILVerify] Add optional warnings for constructs that are likely incorrect

Open

#37,390 opened on 2017年5月11日

GitHub で見る
 (2 comments) (0 reactions) (0 assignees)C# (5,445 forks)batch import
Priority:2area-Tools-ILVerificationhelp wanted

Repository metrics

Stars
 (17,886 stars)
PR merge metrics
 (平均マージ 12d 11h) (30d で 661 merged PRs)

説明

  • Catching exception that does not derive from System.Exception
  • location that immediately follows an unconditional branch, and not a target of an earlier branch instruction, then the state of the evaluation stack at X must be empty.

コントリビューターガイド

調査方針
この問題は、ILVerify に2つの構文に対するオプションの警告を追加することを要求しています：System.Exception から派生しない例外型のキャッチ、および無条件分岐後の到達不能コードです。実装には、これらのパターンを検出して警告を発行するために、ILVerify の検証ロジック（おそらく検証エンジン内）を変更する必要があります。既存のコードベース（例：ILVerify.csproj）を調べて、現在の警告インフラストラクチャを確認する必要があります。これら2つの特定のシナリオは、IL 検証パスにおける追加チェックとして実装する必要があります。
技術スタック
csharp
領域
backend
Issue 種別
機能
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
半日
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
アクティブ
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
明確
前提条件
C#
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
30