参考答案：C

解析： 引用异常的检测流程是：当扫描抵达一个出度大于1的节点V时，深度优先探测算法要求先检查最左分支的那一部分程序流程，然后再检查其他分支。在遍历最左分支之前，应把定义表与未引用表的当前内容用一个栈暂时存储起来，当最左分支检查完之后，算法控制返回到该节点V，应从栈中恢复该节点定义表和未引用表的老的副本，然后再去遍历该节点的下一个分支。这个过程要继续到全部分支被检查完为止。