Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória