Enviar Registro por Correo electrónico: String Analysis for Software Verification and Security /