Towards a Framework for Static Analysis Based on Points-to Information

Static analysis on source code or binary code retrieves information about a software program. In object-oriented languages, static points-to analysis retrieves information about objects and how they refer to each other. The result of the points-to analysis is traditionally used to perform optimizati...

Full description

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