WPHunter: A WordPress Vulnerability Scanner