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

作者: jba (簡簡單單的幸福)   2018-03-18 16:05:09
開發平台(Platform): (Ex: Win10, Linux, ...) C語言
編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
額外使用到的函數庫(Library Used): (Ex: OpenGL, ...)
問題(Question): 靜態分析軟體找出變數運算溢位
餵入的資料(Input):
預期的正確結果(Expected Output):
錯誤結果(Wrong Output): 找出變數運算溢位
程式碼(Code):(請善用置底文網頁, 記得排版,禁止使用圖檔)
補充說明(Supplement):
請問有靜態分析軟體可以找出變數運算溢位的問題嗎?
作者: bluesoul (忙死你老爸)   2018-03-18 16:14:00
UndefinedBehaviorSanitizer
作者: JFLung9536 (立月小蛇)   2018-03-18 20:52:00
PSpace
作者: PkmX (阿貓)   2018-03-18 21:21:00
UBSan是在編譯時加上instructmentation然後執行時檢查喔
作者: soheadsome (師大狗鼻哥)   2018-03-20 08:32:00
cppcheck
作者: bluesoul (忙死你老爸)   2018-03-20 18:14:00
請問PSpace是?
作者: shiratori (大家好)   2018-03-22 09:44:00
Coverity
作者: lc85301 (pomelocandy)   2018-03-22 22:56:00
看成 Pspice .....
作者: boss0405 (boss)   2018-03-23 00:28:00
Coverity要價不斐,不過是蠻強大的

Links booklink

Contact Us: admin [ a t ] ucptt.com