null-pointer dereference

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