Static Analysis for the PHP Language

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