C# 静态数组绑定检查 [关闭]

Question

是否有 C# 工具可以静态（不执行代码）检测超出范围的数组访问，即会抛出 IndexOutOfRangeException 的数组访问。

谢谢。

编辑：是的，我知道在一般情况（即无法确定）中理论上是不可能做到的，但这并不意味着不可能做到在某些情况下（事实上，形式验证的整个领域都是为理论上不可能的事情生产实用工具）。 （我不认为这个表扬是特别需要的:)）

Answer 1

不，理论上是不可能的。这就是单元测试的用途；-)。

Answer 2

正如 Thomas 和 Heinzi 所说，这是无法确定的。您的问题的一个子集是可以解决的 - 您可以 NGen（或 JIT）您的 .NET 应用程序，并查找对 IndexOutOfRangeException throw 子例程的引用；如果 MSIL -> 本机编译器绝对确定它根本不会发生，则它会消除边界检查（以及因此 IndexOutOfRangeExceptions）。

实际上，这通常是像for (int i = 0; i < ar.Length; i++) { ar[i] ... } 这样的代码，但它应该在许多应用程序中大大减少未确定的情况。

Answer 3

是的，Code Contracts for .NET。见this article in MSDN magazine。