Automated analysis of PHP code.