A static php analyser