It is based on the results of a flow-and context-sensitive pointer analysis.
针对C语言，本文提出了一种基于流敏感、上下文敏感指针分析结果的MOD分析算法。
Pointer analysis is a field of active research in recent years in compiler technology.
指针分析是近年来国际上编译技术领域中的一个研究热点。
Pointer analysis plays an important role in the dataflow analysis of programs which are written by c.
指针分析对于使用C语言编制程序的数据流分析有着重要的意义。
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.
为了进行静态缓冲区溢出分析，必须首先进行高效而精确的指针分析，以确定指针可能指向的目标缓冲区。
The static analysis of member call is defined as determining the type of member function pointer or reference in compiling stage.
在面向对象程序设计中，成员调用的静态分析是指在编译阶段确定调用成员函数指针或引用的类型。
The analysis of pointer variable and inter procedure data is one of the key problem in the whole program analysis of nested language.
对指针变量以及过程间的数据的分析是嵌套式语言全程分析的关键问题之一。
Learning to grasp the basic concept of the pointer, the use of graphical analysis and solve problems.
学习指针要抓住基本的概念、多用图示分析问题解决问题。
Function pointer alias and control flow analysis are difficulties in the course of program analysis, and reasons why the accuracy of program analysis are decreased.
函数指针分析及控制流分析是程序分析中的难点，也是引起分析的精确度降低的原因。
Based on bottom-up analysis and contract theory, this paper implemented the inter-procedural check of the pointer validity.
文中采用自下而上的分析方法，并结合契约思想，实现了对指针的跨过程检查。
Based on bottom-up analysis and contract theory, this paper implemented the inter-procedural check of the pointer validity.
文中采用自下而上的分析方法，并结合契约思想，实现了对指针的跨过程检查。
应用推荐