Its specific name – like the separate genus Crocodilurus – means "crocodile-tail".
Untuk nama tertentu – seperti genus terpisah Crocodilurus – berarti "buaya-ekor".