如何统计所有引用malloc/new动态分配内存的指针与变量？

首先明确核心前提：仅重写malloc/free/new/delete这类内存分配释放接口，只能跟踪到内存块首次分配时返回的初始指针，完全无法自动跟踪int *q = p这类原生指针别名的传播过程。

int *p = (int*)malloc(10 * sizeof(int));  
int *q = p;

原生指针赋值/传参无法通过重写逻辑拦截 #

原生指针是C/C++的内置值类型，指针赋值、作为函数参数传递的本质是内存地址值的拷贝，这类操作是编译器直接生成的寄存器/内存拷贝指令，不存在可重载的赋值运算符、也没有统一的函数调用入口可以挂钩子：

• 你无法为内置的int*类型重写operator=，C++标准不允许为内置类型重载运算符
• 函数传原生指针的过程是值拷贝，没有全局的函数调用逻辑可以统一拦截所有传参场景
  所以靠重写分配函数、重载运算符的思路，根本碰不到原生指针拷贝的逻辑，自然做不到别名计数。

类封装引用计数方案的强制要求 #

基于构造/析构/拷贝赋值实现的引用计数方案（类似std::shared_ptr的实现逻辑），必须把所有持有堆内存地址的变量都替换为封装类类型才能保证计数准确：
这类方案的计数增减逻辑完全绑定在封装类的生命周期函数上，只要存在原生指针持有堆地址，这个原生指针的拷贝、销毁就会绕开所有计数逻辑，最终统计的别名数量、引用关系都会完全失准。如果要全量替换项目里的原生指针，必然要修改现有源码，不符合你的需求。

无源码修改实现指针计数的可行路径 #

不需要修改项目现有代码、仅引入外部库就能实现堆指针全链路计数的方案，只能走插桩路线，目前通用的实现方式有两类：

• 编译期插桩：基于Clang/GCC的编译插件框架，在代码编译阶段扫描所有指令，识别所有指向已跟踪堆块的指针拷贝、传参、偏移运算、出作用域销毁的逻辑，自动插入计数更新代码。编译完成的二进制自带跟踪逻辑，运行时只需要链接对应的跟踪库即可，不需要改业务代码，性能损耗较低。
• 运行时动态插桩：基于动态二进制插桩框架，不需要重新编译项目二进制，启动目标程序时注入插桩引擎和跟踪库，运行时动态扫描执行的每一条指令，识别堆指针的传播、销毁逻辑并更新计数。这种方案侵入性最低，但是运行时性能损耗比编译插桩高。

注意：不存在纯用户态、不依赖插桩、仅靠重写内存分配接口就能实现原生指针别名跟踪的方案，所有满足无侵入要求的内存跟踪工具本质都使用了上述插桩逻辑。

内容的提问来源于stack exchange，提问作者esmaeil.zivari