Static analysis using data-flow and type inference for PHP applications - Implemented in Scala