Object-sensitive Type Analysis of PHP

Henk Erik van der Hoek; J. Hage

doi:10.1145/2678015.2682535

Object-sensitive Type Analysis of PHP

Henk Erik van der Hoek, J. Hage

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Abstract

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 language	English
Title of host publication	Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation
Subtitle of host publication	PEPM '15
Publisher	Association for Computing Machinery
Pages	9-20
Number of pages	12
ISBN (Print)	9781450332972
DOIs	https://doi.org/10.1145/2678015.2682535
Publication status	Published - 13 Jan 2015

Keywords

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

Access to Document

10.1145/2678015.2682535

Cite this

@inproceedings{f002b85e6d97428cb24c2d74fc4f2868,

title = "Object-sensitive Type Analysis of PHP",

abstract = "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.",

keywords = "static analysis, monotone frameworks, PHP, object sensitivity, abstract garbage collection, cost and precision",

author = "{van der Hoek}, {Henk Erik} and J. Hage",

year = "2015",

month = jan,

day = "13",

doi = "10.1145/2678015.2682535",

language = "English",

isbn = "9781450332972",

pages = "9--20",

booktitle = "Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation",

publisher = "Association for Computing Machinery",

address = "United States",

}

TY - GEN

T1 - Object-sensitive Type Analysis of PHP

AU - van der Hoek, Henk Erik

AU - Hage, J.

PY - 2015/1/13

Y1 - 2015/1/13

N2 - 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.

AB - 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.

KW - static analysis

KW - monotone frameworks

KW - PHP

KW - object sensitivity

KW - abstract garbage collection

KW - cost and precision

U2 - 10.1145/2678015.2682535

DO - 10.1145/2678015.2682535

M3 - Conference contribution

SN - 9781450332972

SP - 9

EP - 20

BT - Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation

PB - Association for Computing Machinery

ER -

Object-sensitive Type Analysis of PHP

Abstract

Keywords

Access to Document

Fingerprint

Cite this