指针别名分析相关论文
随着多核处理器的发展和多线程程序的普及,多线程技术的应用越来越广泛。但是在多线程程序中,当多个线程之间运行推进顺序不合适时......
指针别名分析是数据流分析中的关键性技术,其分析结果是编译优化和程序变换的基础。在向量化方法和动态指针别名分析相关研究的基......
文中提出了一种跨过程指针别名分析的框架,研究了基于此框架的一个流敏感、上下文敏感的指针分析算法。该算法采用了共享指针指向信......
多线程程序中关联变量的原子性是指在共享内存的并行模型中,保证具有一定关联关系的共享变量集合,在任意的并行执行顺序访问条件下......
信息系统安全性格局的大变化,将软件安全性推到关乎全局的关键位置,安全分析是用于增强系统安全性的有效手段之一。由于设计阶段所......
指针别名分析在C语言的并行优化中占有重要的地位,但已有的指针别名分析只能处理指针标量的情况.文章在介绍已有指针别名信息表示法的......