Implementation and Evaluation of Hierarchical Shape Analysis

碩士 === 國立中正大學 === 資訊工程研究所 === 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 c...

Full description

Bibliographic Details
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