Automatic Parameterization of CSRF Tokens