[问题] 静态分析软件找出变量运算溢位

楼主: 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