[問題] 靜態分析軟體找出變數運算溢位

看板C_and_CPP作者 (簡簡單單的幸福)時間7年前 (2018/03/18 08:05), 編輯推噓5(503)
留言8則, 7人參與, 7年前最新討論串1/1
開發平台(Platform): (Ex: Win10, Linux, ...) C語言 編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出) 額外使用到的函數庫(Library Used): (Ex: OpenGL, ...) 問題(Question): 靜態分析軟體找出變數運算溢位 餵入的資料(Input): 預期的正確結果(Expected Output): 錯誤結果(Wrong Output): 找出變數運算溢位 程式碼(Code):(請善用置底文網頁, 記得排版,禁止使用圖檔) 補充說明(Supplement): 請問有靜態分析軟體可以找出變數運算溢位的問題嗎? -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.34.228.203 ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1521360311.A.63A.html

03/18 16:14, 7年前 , 1F
UndefinedBehaviorSanitizer
03/18 16:14, 1F

03/18 20:52, 7年前 , 2F
PSpace
03/18 20:52, 2F

03/18 21:21, 7年前 , 3F
UBSan是在編譯時加上instructmentation然後執行時檢查喔
03/18 21:21, 3F

03/20 08:32, 7年前 , 4F
cppcheck
03/20 08:32, 4F

03/20 18:14, 7年前 , 5F
請問PSpace是?
03/20 18:14, 5F

03/22 09:44, 7年前 , 6F
Coverity
03/22 09:44, 6F

03/22 22:56, 7年前 , 7F
看成 Pspice .....
03/22 22:56, 7F

03/23 00:28, 7年前 , 8F
Coverity要價不斐,不過是蠻強大的
03/23 00:28, 8F
文章代碼(AID): #1QhXstOw (C_and_CPP)