The program contains a null pointer dereference.
程序包含一个空指针引用。
Detector: null pointer dereference and redundant comparisons to null.
检测器：null指针对null的解引用(dereference)和冗余比较。
Through pointer mapping set and fault model, it can detect null pointer dereference faults automatically and increases the testing efficiency.
通过指针映射集和故障模型，可以自动检测空指针引用内存故障，提高了测试效率。
Null pointer dereference fault is ubiquitous in the program with pointers. It is difficult to locate fault sources adopting dynamic testing method.
空指针态引用故障在使用指针的程序中是普遍存在的，采用动态测试方法进行测试难以准确定位故障源。
Through pointer mapping sets and fault model, it can detect bad deallocation, memory leak and null pointer dereference faults automatically and increase the testing efficiency.
通过指针映射集和故障模型，可以自动检测内存释放异常、内存泄露和空指针引用等动态内存故障，提高了测试效率。
On some computers, it is possible to dereference the null pointer and the result is null, permitting execution to continue.
在某些计算机上，它可能取消引用空指针，结果是空的，允许继续执行。
On some computers, it is possible to dereference the null pointer and the result is null, permitting execution to continue.
在某些计算机上，它可能取消引用空指针，结果是空的，允许继续执行。
应用推荐