Static, lightweight includes resolution for PHP

Abstract : Dynamic languages include a number of features that are challenging to model properly in static analysis tools. In PHP, one of these features is the include expression, where an arbitrary expression provides the path of the file to include at runtime. In this paper we present two complementary analyses for statically resolving PHP includes, one that works at the level of individual PHP files and one targeting PHP programs, possibly consisting of multiple scripts. To evaluate the effectiveness of these analyses we have applied the first to a corpus of 20 open-source systems, totaling more than 4.5 million lines of PHP, and the second to a number of programs from a subset of these systems. Our results show that, in many cases, includes can be either resolved to a specific file or a small subset of possible files, enabling better IDE features and more advanced program analysis tools for PHP.
Type de document :
Communication dans un congrès
ASE 29 Proceedings of International Conference on Automated Software Engineering 2014, Sep 2014, Vasteras, Sweden. pp.503 - 514, 2014, 〈10.1145/2642937.2643017〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01110903
Contributeur : Anne Jaigu <>
Soumis le : jeudi 29 janvier 2015 - 10:50:27
Dernière modification le : mercredi 20 décembre 2017 - 17:42:07
Document(s) archivé(s) le : mercredi 27 mai 2015 - 13:56:22

Fichier

22751B.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Mark Hills, Paul Klint, Jurgen Vinju. Static, lightweight includes resolution for PHP. ASE 29 Proceedings of International Conference on Automated Software Engineering 2014, Sep 2014, Vasteras, Sweden. pp.503 - 514, 2014, 〈10.1145/2642937.2643017〉. 〈hal-01110903〉

Partager

Métriques

Consultations de la notice

108

Téléchargements de fichiers

216