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.
为了进行静态缓冲区溢出分析,必须首先进行高效而精确的指针分析,以确定指针可能指向的目标缓冲区。
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.
为了进行静态缓冲区溢出分析,必须首先进行高效而精确的指针分析,以确定指针可能指向的目标缓冲区。
应用推荐