The module can detect memory leak, write overflow, free wild pointer and mismatch using of memory functions of the executable files.
可以检测内存泄漏、内存写溢出、释放野指针和内存管理函数的不匹配等问题。
2
In order to statically analyze buffer overflow, efficient and precise pointer analysis must be performed to make certain what target buffer a pointer variable point to.
为了进行静态缓冲区溢出分析，必须首先进行高效而精确的指针分析，以确定指针可能指向的目标缓冲区。
3
Overflow and underflow are averted by storing received data in a FIFO at different addresses using a receive address pointer incremented at a receive clock rate.