作者jba (簡簡單單的幸福)
看板C_and_CPP
標題[問題] 靜態分析軟體找出變數運算溢位
時間Sun Mar 18 16:05:09 2018
開發平台(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://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1521360311.A.63A.html
1F：→ bluesoul: UndefinedBehaviorSanitizer 03/18 16:14
2F：推 JFLung9536: PSpace 03/18 20:52
3F：→ PkmX: UBSan是在編譯時加上instructmentation然後執行時檢查喔 03/18 21:21
4F：推 soheadsome: cppcheck 03/20 08:32
5F：→ bluesoul: 請問PSpace是? 03/20 18:14
6F：推 shiratori: Coverity 03/22 09:44
7F：推 lc85301: 看成 Pspice ..... 03/22 22:56
8F：推 boss0405: Coverity要價不斐，不過是蠻強大的 03/23 00:28