Detecção de Vulnerabilidades de Inteiros na Adaptação de Software de 32 para 64 Bits - Medeiros, Ibéria (2008)