dotnet/runtime

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

Open

#37,390 创建于 2017年5月11日

在 GitHub 查看
 (2 评论) (0 反应) (0 负责人)C# (5,445 fork)batch import
Priority:2area-Tools-ILVerificationhelp wanted

仓库指标

Star
 (17,886 star)
PR 合并指标
 (平均合并 12天 11小时) (30 天内合并 661 个 PR)

描述

  • 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 中为两种结构添加可选警告：捕获不派生自 System.Exception 的异常类型，以及无条件分支后的不可达代码。实现需要修改 ILVerify 的验证逻辑（可能在验证引擎中），以检测这些模式并发出警告。应检查现有代码库（例如 ILVerify.csproj）以了解当前的警告基础设施。需要在 IL 验证过程中将这两种特定场景实现为额外的检查。
技术栈
csharp
领域
backend
议题类型
功能
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
半天
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
清晰
前置要求
C#
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
30