指向图相关论文
对堆内存对象进行存储管理优化需要的支撑信息之一是堆对象的结构信息,本文定义指向图来抽象堆内存对象及其结构,把获取结构信息的......
MOD问题是指在进行过程调用时哪些信息可能在被调用的过程中被修改。针对C语言,本文提出了一种基于流敏感、上下文敏感指针分析结果......
在建立客运站选址方案评价指标体系的基础上,采用基于指向图和Kemeny社会选择函数的群决策方法,对客运站选址方案进行比选,以郑州......
空指针解引用是C语言中的一类常见的动态内存错误。Manevich R等提出了一种适用于检测空指针解引用错误的后向分析方法。本文将后......