SplintC代碼漏洞檢測(cè)工具

Splint 是一個(gè)用來(lái)靜態(tài)檢測(cè) C 程序安全漏洞的小工具。

splint是一個(gè)開(kāi)源的靜態(tài)代碼檢測(cè)工具,用于動(dòng)態(tài)檢查C語(yǔ)言程序安全弱點(diǎn)和編寫(xiě)錯(cuò)誤的程序。splint會(huì)進(jìn)行多種常規(guī)檢查，包括未使用的變量，類型不一致，使用未定義變量，無(wú)法執(zhí)行的代碼，忽略返回值，執(zhí)行路徑未返回，無(wú)限循環(huán)等錯(cuò)誤。它以大師級(jí)的眼光來(lái)審閱你的代碼,Splint只能檢測(cè)標(biāo)準(zhǔn)C代碼。

'lint-clean' -- 程序能夠順利通過(guò)lint程序的檢查。這是微軟的編碼要求。