Null pointer dereference faults are popular in C++ program,fault-oriented static testing method should detect these faults well.
空指针引用的错误在C++程序中普遍存在,面向故障的静态测试方法应该很好地针对这种故障模式。
参考来源 - 过程间的空指针引用故障静态检测方法·2,447,543篇论文数据，部分数据来源于NoteExpress
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.
通过指针映射集和故障模型，可以自动检测空指针引用内存故障，提高了测试效率。
应用推荐