【发布时间】:2015-10-08 17:34:59
【问题描述】:
假设我在我们的项目中出现了很多 strcpy、strcat 和 memcpy(一个非常大的!)。 如何轻松检测源指针和目标指针之间重叠的所有位置。
我知道 valgrind 可以做到,但并非所有情况都可以在 vilgrind 运行时在运行时检测到(有很多可能的流程)。
有人知道 gcc 强化是否可以解决这个问题吗? 或者除了包装这些功能并自己检查之外的其他想法?
【问题讨论】:
-
没有一种方法可以静态地找出所有此类潜在问题。