Object-sensitive Type Analysis of PHP

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 that abstract garbage collection substantially increases the scalability of our analyses. Categories and Subject Descriptors D.3.2 [Software]: Language Classifications—Object-oriented languages; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages— Program analysis; D.3.4 [Programming Languages]: Processors – soft typing, PHP General Terms Languages, Theory, Verification Keywords static analysis, monotone frameworks, PHP, objectity, abstract garbage collecti...

• Type: Journal
• Year: 2015
• Where: PEPM
• Authors: Henk Erik Van der Hoek, Jurriaan Hage
• Keywords: PEPM 2015, Software Engineering