UC知道heap pointer assignment怎么翻译
来源：百度知道 编辑：UC知道 时间：2024/06/18 02:23:12
一个c程序内存泄露的文档中看到的，不知道怎么翻译？
原文：
The Leak Contradictor is a memory leak detection tool for C programs that proves the lack of memory leaks by disproving their presence. For each heap pointer assignment (called a probe), the tool assumes assumes that the assignment might cause a leak, and then tries to disprove this assumption using a backward dataflow analysis. In many cases, leak probes can be quickly contradicted.
原文：
The Leak Contradictor is a memory leak detection tool for C programs that proves the lack of memory leaks by disproving their presence. For each heap pointer assignment (called a probe), the tool assumes assumes that the assignment might cause a leak, and then tries to disprove this assumption using a backward dataflow analysis. In many cases, leak probes can be quickly contradicted.
这是一个检测c代码是否有内存泄露的工具，其基本思想是跟踪堆指针的赋值。这里，内存泄露是指程序的堆存储区内存泄露，不是其他内存区（如堆栈、寄存器变量、全局静态非指针类型的变量等）。