Enviar por SMS: Detecting Web Vulnerabilities in an Intermediate Language by Resorting to Machine Learning Techniques