Escalando a análise de segurança da bibliotecas con Differential Fuzzing