异常分析和防止异常

我们被要求查看一个客户端应用程序的代码，该代码涉及大约150万行代码。该应用程序具有很大的稳定性，并且经常发生崩溃，我们被指派通过手动静态代码审查来查找此类问题的根本原因。目标是防止出现异常。一旦它们发生，我们的目标不是更好地处理它们。

下面我有两个例子来说明防御编程以防止异常：在非强制性逻辑和强制性逻辑的情况下。

第一个示例（非强制性逻辑）：防御性编码（块2中的"if"条件）先于"obj"的使用。如果"obj"为null，那么"If"条件将跳过原本会导致异常的逻辑。我们可能在代码中有不存在"if"条件的实例，应该添加它以防止出现异常。我们想知道我们应该在多大程度上增加这种防御逻辑。

第二个示例（强制逻辑）：在第二个例子中，"if"条件检查null（块3），跳过该逻辑是无效的，因为该逻辑是强制性的。在这种情况下，"if"条件必须引发异常。这种防御逻辑不会提高稳定性：无论是由于null引用异常还是由于抛出异常的"if"条件，都会引发异常。

我们被要求在代码中查找导致抛出异常的模式，即为什么没有设置对象——问题出在块1中的逻辑中。（在本例中：因为只有当SomeCondition不为false时才会设置它）。

bool someCondition = false;
DataSet obj = null;

/*** Begin block 1 ***/
if(someCondition)
{
    obj = new DataSet();
    //Fill the obj with data
    Populate(obj);
}
/*** End block 1 ***/

/*** Begin block 2 ***/
//Perform some non-mandatory logic
//defensive coding
if(obj != null && obj.Tables["Employee"] != null && obj.Tables["Employee"].Rows[5] != null)
{
    DataRow row1 = obj.Tables["Employee"].Rows[5];
    row1["FirstName"] = "Bob";
}
/*** End block 2 ***/

/*** Begin block 3 ***/
//Perform  mandatory logic
//defensive coding
if (obj == null && obj.Tables["Employee"] == null && obj.Tables["Employee"].Rows[5] == null)
    throw new Exception("Object obj cannot be null");
 DataRow row2 = obj.Tables["Employee"].Rows[5];
 row2["Role"] = "Manager";
/*** End block 3 ***/

我们正在对代码进行手动审查，但它是一个巨大的ASP.NET MVC应用程序，可以与后端WCF服务进行对话，我们正在努力寻找模式。除了手动之外，还能做其他事情吗？有什么工具可以帮助我们找到这样的模式吗。