Infoscience

Similar records
Student project

Static Analysis for the PHP Language

Kneuss, Etienne
Advisors: Kuncak, Viktor; Suter, Philippe
  • Publication date: 2010

This report presents the work that was done to implement a static analysis tool for the PHP programming language. The analyses done by the PHP compiler or by the multiple existing development environments are very limited. This tool aims at providing further feedback to developers by checking for multiple bug conditions or mis-uses of the language, and should reduce the risk of encountering fatal errors at runtime after deployment of PHP application.

Keywords: PHP ; static analysis ; type inference ; abstract interpretation

Reference

  • LARA-STUDENT-2010-001

Record created on 2010-01-13, modified on 2012-04-04

Fulltext

Contacts

EPFL authors