方法开始，研究为什么函数没有出现在调用图中主要或者另一个入口点函数。

确定函数的调用点，并研究它们在不可访问代码中出现的原因。

找到之前的变量初始化，如果有的话，看看你的程序是否可以绕过它们。

找到之前的指针初始化，如果有，看看你的程序是否可以绕过它们。

查找全局变量的初始化(如果有的话)，看看你的程序是否可以绕过它们。

确定函数体中不以a结尾的路径返回声明。

研究代码中的条件语句为什么是冗余的，例如总是为真还是总是为假。

检查代码中导致分母为零的先前操作。

检查代码中先前导致移位量超出界限或左移负值的操作。

检查代码中先前导致操作溢出的操作。

检查代码中绝对地址的使用，确保地址是有效的。

检查代码中先前导致指针指向其分配的内存缓冲区之外的操作。

检查代码中先前导致数组索引大于或等于数组大小的操作。

检查函数体中的操作，找出由于特定于当前函数调用的问题而发生的运行时错误。

检查循环中的操作，并确定为什么循环没有终止，或者为什么在某个循环运行时发生明确的运行时错误。

确定非正数组大小或错误使用的根本原因类型id或者是dynamic_cast操作符。

确定函数体中不以a结尾的路径返回声明。

调查为什么虚拟成员通过电话或这指针的使用代表了一种不正确的面向对象编程模式。

研究为什么指向当前对象的指针可以是零有价值的。

研究异常如何在未捕获的情况下从抛出它的函数转义。

找出函数指针误用、不正确的数组转换或指定约束外的变量值的根本原因。

请研究对标准库例程的当前调用中的参数为何无效。

调查为什么这种情况断言语句失败。