作者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/cn.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