因此我的问题是:用什么来代替它来动态分析程序的越界读/写、未初始化的读取和此类问题?
(也许作为一个附带问题:为什么它被删除了?)
mudflap(在编译器中对生成的代码进行工具化)的方法看起来非常优雅。
背景
其他工具在机器代码级别(例如 Purify)、源代码级别(例如 Insure)或在 CPU 仿真期间进行工具化(例如 Valgrind)。
mudflap 方法有可能发现 valgrind 或 purify 无法检测到的错误(例如基于堆栈的数组访问错误)。它也比其他方法更轻量级。
我正在寻找一个开源解决方案。