论文信息 - PHP AiR: Analyzing PHP systems with Rascal

PHP AiR: Analyzing PHP systems with Rascal

PHP is currently one of the most popular programming languages, widely used in both the open source community and in industry to build large web-focused applications and application frameworks. To provide a solid framework for working with large PHP systems in areas such as evaluating how language features are used, studying how PHP systems evolve, program analysis for refactoring and security validation, and software metrics, we have developed PHP AiR, a framework for PHP Analysis in Rascal. Here we briefly describe features available in PHP AiR, integration with the Eclipse PHP Development Tools, and usage scenarios in program analysis, metrics, and empirical software engineering.

Paul Klint | Mark Hills

[1] Paul Klint,et al. Meta-language Support for Type-Safe Access to External Resources , 2012, SLE.

[2] Jan Vitek,et al. The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications , 2011, ECOOP.

[3] Tijs van der Storm,et al. RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation , 2009, 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation.

[4] Jan Vitek,et al. An analysis of the dynamic behavior of JavaScript programs , 2010, PLDI '10.

[5] Jeffrey S. Foster,et al. Static type inference for Ruby , 2009, SAC '09.

[6] Jeffrey S. Foster,et al. Profile-guided static typing for dynamic scripting languages , 2009, OOPSLA.

[7] Jan Vitek,et al. Eval begone!: semi-automated removal of eval from javascript programs , 2012, OOPSLA '12.

[8] Qi Gao,et al. The HipHop compiler for PHP , 2012, OOPSLA '12.

[9] Paul Klint,et al. An empirical study of PHP feature usage: a static analysis perspective , 2013, ISSTA.