Towards a Gold Standard for Points-to Analysis

Points-to analysis is a static program analysis that computes reference informationfor a given input program. It serves as input to many client applicationsin optimizing compilers and software engineering tools. Unfortunately, the Gold Standard – i.e., the exact reference information for a given pro...

Full description

Bibliographic Details
Main Author: Gutzmann, Tobias
Format: Others
Language:English
Published: Linnéuniversitetet, Institutionen för datavetenskap, fysik och matematik, DFM 2010
Subjects:
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-7381