...让编译器报告一些错误......
是的,有许多警告确实检测到可能的UB,您可以使用-WerrorGCC选项将警告变为错误.
同样如@ LogicStuff的评论中所述, GCC支持Undefined Behavior Sanitizer.
虽然检测UB的更好工具主要是静态代码分析工具,它可以检测大多数此类缺陷.
在任何情况下,您都必须处理误报,并且需要再次检查您的代码.
| 归档时间： |
|
| 查看次数： |
780 次 |
| 最近记录： |