指针别名相关论文
本文主要研究C／C++程序缓冲区越界的静态检测。通过使用GCC编译器的前端编译源程序生成中间文件，将此中间文件作为程序分析的原始输......
建立了一种用于静态类型面向对象程序的类型分析框架,该框架集成了目前最为实用的4种类型分析方法,即唯一名分析、类层次分析、快......
采用软硬件结合的运行时消除指针别名歧义方法SHRTD(software/hardware run-time disambiguation)适用于不可逆代码,同时,它的代码......
针对已有指针分析算法的程序中间表示不能充分表示程序的语法结构与语义，而导致不适合应用于程序标准化转换的问题，提出基于控制依赖......
采用软硬件结合的运行时消指针别名歧义方法ＳＨＲＴＤ（ｓｏｆｔｗａｒｅ／ｈａｒｄｗａｒｅｒｕｎ－ｔｉｍｅｄｉｓａｍｂｉｇｕａｔｉｏｎ）适用于不可逆代码，同时，它的代码空间受到限制，不存在严重的代码可重入性问题，文章详细分析......
指针别名分析在Ｃ语言的并行优化中占有重要的地位，但 的指针别名分析只能处理指针标量的情况，文章在介绍已有指针别名信息表示法朱足......
提出一种采用软硬件结合的运行时消除指针别名歧义的新方法ＳＨＲＴＤ，为延迟运行时不正确的内存访问及其后继操作，ＳＨＲＴＤ的功能单元执行ＮＯＰ操作。为保证......
为了消除指针程序实现形式的多样化，简化程序分析，提出一种对用指针实现的程序进行标准化的方法．首先将程序表示成系统依赖图，分析指针......
针对目前指针分析算法的程序中间表示形式不能充分表示程序的语法结构与语义,因而不适合应用于源代码-源代码级别的程序转换与分析......
