Static, lightweight includes resolution for PHP

M. Hills; P. Klint; J.J. Vinju

doi:10.1145/2642937.2643017

Static, lightweight includes resolution for PHP

M. Hills
, P. Klint
, J.J. Vinju

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

10 Citaten (Scopus)

Samenvatting

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 resolved to a specific file or a small subset of possible files, enabling better IDE features and more advanced program analysis tools for PHP.

Originele taal-2	Engels
Titel	Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), September 15-19, 2014, Västeras, Sweden
Plaats van productie	New York
Uitgeverij	Association for Computing Machinery, Inc.
Pagina's	503-514
ISBN van geprinte versie	978-1-4503-3013-8
DOI's	https://doi.org/10.1145/2642937.2643017
Status	Gepubliceerd - 2014
Extern gepubliceerd	Ja
Evenement	29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), September 15-19, 2014, Västerås, Sweden - Aros Congress Center, Västerås, Zweden Duur: 15 sep. 2014 → 19 sep. 2014 http://www.ase2014.org/

Congres

Congres	29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), September 15-19, 2014, Västerås, Sweden
Verkorte titel	ASE 2014
Land/Regio	Zweden
Stad	Västerås
Periode	15/09/14 → 19/09/14
Ander	29th IEEE/ACM International Conference on Automated Software Engineering
Internet adres	http://www.ase2014.org/

Toegang tot document

10.1145/2642937.2643017

Citeer dit

@inproceedings{4a012c5a4dac4a40b2c539be1becc8f3,

title = "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 resolved to a specific file or a small subset of possible files, enabling better IDE features and more advanced program analysis tools for PHP.",

author = "M. Hills and P. Klint and J.J. Vinju",

year = "2014",

doi = "10.1145/2642937.2643017",

language = "English",

isbn = "978-1-4503-3013-8",

pages = "503--514",

booktitle = "Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), September 15-19, 2014, V{\"a}steras, Sweden",

publisher = "Association for Computing Machinery, Inc.",

address = "United States",

note = "29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), September 15-19, 2014, V{\"a}ster{\aa}s, Sweden, ASE 2014 ; Conference date: 15-09-2014 Through 19-09-2014",

url = "http://www.ase2014.org/",

}

Hills, M, Klint, P & Vinju, JJ 2014, Static, lightweight includes resolution for PHP. in Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), September 15-19, 2014, Västeras, Sweden. Association for Computing Machinery, Inc., New York, blz. 503-514, 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), September 15-19, 2014, Västerås, Sweden, Västerås, Zweden, 15/09/14. https://doi.org/10.1145/2642937.2643017

Static, lightweight includes resolution for PHP. / Hills, M.; Klint, P.; Vinju, J.J.
Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), September 15-19, 2014, Västeras, Sweden. New York: Association for Computing Machinery, Inc., 2014. blz. 503-514.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Static, lightweight includes resolution for PHP

AU - Hills, M.

AU - Klint, P.

AU - Vinju, J.J.

PY - 2014

Y1 - 2014

N2 - 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 resolved to a specific file or a small subset of possible files, enabling better IDE features and more advanced program analysis tools for PHP.

AB - 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 resolved to a specific file or a small subset of possible files, enabling better IDE features and more advanced program analysis tools for PHP.

U2 - 10.1145/2642937.2643017

DO - 10.1145/2642937.2643017

M3 - Conference contribution

SN - 978-1-4503-3013-8

SP - 503

EP - 514

BT - Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), September 15-19, 2014, Västeras, Sweden

PB - Association for Computing Machinery, Inc.

CY - New York

T2 - 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), September 15-19, 2014, Västerås, Sweden

Y2 - 15 September 2014 through 19 September 2014

ER -

Static, lightweight includes resolution for PHP

Samenvatting

Congres

Toegang tot document

Vingerafdruk

Citeer dit