Enviar por SMS: Detecção de Vulnerabilidades de Inteiros na Adaptação de Software de 32 para 64 Bits