靜態檢查

靜態檢查

二手車靜態檢查主要是外觀檢查,目的是快速和全面的了解汽車的大概情況。通過全面檢查,如果發現一些致命的缺陷如:嚴重碰撞;車身或車架鏽蝕或有結構性損壞;發動機或傳動系嚴重磨損;車廂內部設施不良;損壞處修理費用過大等,您就可以提前作出決定,而不必花費更多的時間作進一步檢測代碼的靜態檢查:對程序代碼的檢查。

目錄

正文


靜態檢查能檢查出哪些問題?
變數未初始化
空指針引用
數據類型不匹配
返回局部變數
數組字元串邊界溢出
內存泄露
……
靜態檢查可以通過人工進行:代碼走讀,代碼檢視。
也可以通過工具進行:編譯器,專業的代碼檢查工具,
如pclint,splint,coverity