SplintC代碼漏洞檢測工具
Splint 是一個(gè)用來靜態(tài)檢測 C 程序安全漏洞的小工具。
splint是一個(gè)開源的靜態(tài)代碼檢測工具,用于動態(tài)檢查C語言程序安全弱點(diǎn)和編寫錯(cuò)誤的程序。splint會進(jìn)行多種常規(guī)檢查,包括未使用的變量,類型不一致,使用未定義變量,無法執(zhí)行的代碼,忽略返回值,執(zhí)行路徑未返回,無限循環(huán)等錯(cuò)誤。它以大師級的眼光來審閱你的代碼,Splint只能檢測標(biāo)準(zhǔn)C代碼。
'lint-clean' -- 程序能夠順利通過lint程序的檢查。這是微軟的編碼要求。
評論
圖片
表情
