面向C2VHDL编译器的基本块级指针分析算法

作     者：郭振华 吴艳霞 张国印 杨杰 顾国昌 GUO Zhen-hua;WU Yan-xia;ZHANG Guo-yin;YANG Jie;GU Guo-chang

作者机构：哈尔滨工程大学计算机科学与技术学院哈尔滨150001 

基　　金：国家自然科学基金项目(61003036) 黑龙江省自然科学基金项目(QC2010049) 黑龙江省教育厅基金项目 中央高校基本科研业务费专项项目(HEUCF100606) 

出 版 物：《吉林大学学报（工学版）》 (Journal of Jilin University:Engineering and Technology Edition)

年 卷 期：2013年第43卷第2期

页      码：417-423页

摘      要：针对现有的C2VHDL编译器中指针编译技术所存在的缺陷,通过对传统指针分析算法进行研究,在基于低级虚似机(LLVM)面向CPU-FPGA应用的可重构编译器ASCRA架构上,设计并实现了一种以基本块为分析粒度的基于控制流图的流敏感上下文敏感指针分析算法。在可重构编译器ASCRA生成硬件VHDL程序时提供指针访存控制辅助信息。实验结果表明:在保证C2VHDL结果正确的前提下,该算法在简化了分析过程的同时,能够达到与流敏感指针分析相同的精度。与指针还原技术相比,该算法能够支持更多的指针数据类型。采用该算法的编译器ASCRA生成的硬件程序在硬件资源占用情况和运行速度两方面与指针还原技术相比都能够达到相同的硬件效果。

主 题 词：计算机系统结构 可重构编译 指针分析算法 低级虚拟机 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13229/j.cnki.jdxbgxb2013.02.020

馆 藏 号：203127288...