基于判断逻辑的空指针引用故障检测,王锐强,金大海,空指针引用故障是程序中非常常见的一类故障,国内外有大量的机构组织在研究如何检测这类故障,但是大多数的成果都有其自身的局限