Null pointer dereference faults are popular in C++ program,fault-oriented static testing method should detect these faults well.
空指針引用的錯誤在C++程序中普遍存在,麪曏故障的靜態(tài)測試方法應該很好地針對這種故障模式。