Object-sensitive Type Analysis of PHP

Henk Erik van der Hoek, J. Hage

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)


In this paper we develop an object-sensitive type analysis for PHP,based on an extension of the notion of monotone frameworks todeal with the dynamic aspects of PHP, and following the frameworkof Smaragdakis et al. for object-sensitive analysis.We consider a number of instantiations of the framework to seehow the choices affect the running cost of the analysis, and theprecision of the outcome. In this setting we have not been ableto reproduce the major gains reported by Smaragdakis et al., butdo find that abstract garbage collection substantially increases thescalability of our analyses.
Original languageEnglish
Title of host publicationProceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation
Subtitle of host publicationPEPM '15
PublisherAssociation for Computing Machinery
Number of pages12
ISBN (Print)9781450332972
Publication statusPublished - 13 Jan 2015


  • static analysis
  • monotone frameworks
  • PHP
  • object sensitivity
  • abstract garbage collection
  • cost and precision


Dive into the research topics of 'Object-sensitive Type Analysis of PHP'. Together they form a unique fingerprint.

Cite this