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.
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.
| Original language | English |
|---|---|
| Title of host publication | PEPM '15: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation (PEPM 2015) |
| Publisher | Association for Computing Machinery |
| Pages | 9-20 |
| Number of pages | 12 |
| ISBN (Print) | 978-1-4503-3297-2 |
| DOIs | |
| Publication status | Published - 2015 |
Keywords
- static analysis
- monotone frameworks
- PHP
- object sensitivity
- abstract garbage collection
- cost and precision