ADsafety: Verificación basada en Tipos de Sandboxing de JavaScript