Object-sensitive Type Analysis of PHP
Publication date
2015
Authors
Van der Hoek, Henk Erik
Hage, J.
Editors
Advisors
Supervisors
Document Type
Part of book
Metadata
Show full item recordCollections
License
Abstract
In this paper we develop an object-sensitive type analysis for PHP, based on an extension of the notion of monotone frameworks to deal with the dynamic aspects of PHP, and following the framework of Smaragdakis et al. for object-sensitive analysis. We consider a number of instantiations of the framework to see how the choices affect the running cost of the analysis, and the precision of the outcome. In this setting we have not been able to reproduce the major gains reported by Smaragdakis et al., but do find that abstract garbage collection substantially increases the scalability of our analyses.
Keywords
static analysis, monotone frameworks, PHP, object sensitivity, abstract garbage collection, cost and precision
Citation
Van der Hoek, H E & Hage, J 2015, Object-sensitive Type Analysis of PHP. in PEPM '15: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation (PEPM 2015). Association for Computing Machinery, pp. 9-20. https://doi.org/10.1145/2678015.2682535