Crocodylia, tal como lo acuñó Wermuth, por el género "Crocodylus", parece que deriva del antiguo griego κρόκη ("kroke"), 'grava' o 'guijarro', y de δρîλος o δρεîλος ("drĩlos"), 'lombriz'.