null-pointer dereference

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