Implementation and Evaluation of Hierarchical Shape Analysis

• Main Authors: LI, YUN-ZHOU, 李昀宙
• Other Authors: CHEN, PENG-SHENG
• Format: Others
• Language: en_US
• Published: 2016
• Online Access: http://ndltd.ncl.edu.tw/handle/sk7sbt

碩士 === 國立中正大學 === 資訊工程研究所 === 104 === Hierarchical shape analysis is a technique that is used to discover the shape of the data structures generated by pointer assignments in C programs. The purpose of hierarchical shape analysis is to catch the useful shape information of data structures to guide compilers in further aggressive parallelization or optimization. In this thesis, we implement a hierarchical shape analysis algorithm. The compiler infrastructure Cetus is used to help our implementation. For the tested benchmark programs, the experimental results show that the proposed implementation can successfully obtain the hierarchical shape information.