Machine Learning For Web Vulnerability Detection: The Case Of Cross-Site Request Forgery