however, it is the interaction of these two functions and using a global pointer variable called namestr that causes both the leak and the dangling pointer.
the analysis of pointer variable and inter procedure data is one of the key problem in the whole program analysis of nested language.
对指针变量以及过程间的数据的分析是嵌套式语言全程分析的关键问题之一。
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.