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....
Main Author: | |
---|---|
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 |