过程间的空指针引用故障静态检测方法