Comparison of Points-to Analyses

Points-to analysis is a static program analysis which computes possible reference relations between different parts of a program. It serves as input to many high-level analyses. Points-to analyses differ, among others, in flow- and context-sensitivity, program representation, and object abstraction....

Full description

Bibliographic Details
Main Author: Gutzmann, Tobias
Format: Others
Language:English
Published: Växjö universitet, Matematiska och systemtekniska institutionen 2008
Subjects:
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-2401