Krokodyle (Crocodilia) – rząd gadów, jedynych oprócz ptaków współczesnych przedstawicieli archozaurów (Archosauria) oraz jedynych żyjących przedstawicieli kladu Crurotarsi. Obecnie reprezentowany jest przez trzy rodziny: krokodylowatych, aligatorowatych oraz gawiali. Poszczególne rodziny różnią się między sobą kształtem pyska oraz liczbą i układem zębów. Żyją w strefie tropikalnej, subtropikalnej i umiarkowanej na wszystkich kontynentach oprócz Europy i Antarktydy.
Są zwierzętami o jaszczurowatym kształcie ciała, pokryte kostnymi tarczami, ze szczękami opatrzonymi zębami osadzonymi w zębodołach. Ciało zakończone silnie rozwiniętym i umięśnionym ogonem. Dwie pary krótkich, silnych odnóży, z których przednie mają palce wolne, tylne spięte są w całości lub częściowo błoną pławną. Prowadzą półwodny tryb życia. Potrafią, w przeciwieństwie do innych gadów, wydawać głośne dźwięki. Są jajorodne. Jaja składają na lądzie.
Definicja filogenetyczna
Do krokodyli – oprócz współcześnie żyjących przedstawicieli tego rzędu – tradycyjnie zaliczano wszystkich wymarłych przedstawicieli kladu Crocodylomorpha oprócz tych z – być może parafiletycznej – grupy Sphenosuchia (a część autorów zaliczała do krokodyli także Sphenosuchia). Tak szeroko rozumiane krokodyle pojawiły się na Ziemi około 220 mln lat temu, w okresie triasu.
W latach 80. XX wieku, wraz z rozwojem klasyfikacji opartej na zasadach kladystyki, zaczęto postulować, by do rzędu Crocodilia zaliczać tylko współcześnie żyjące krokodyle i wszystkich innych potomków ich ostatniego wspólnego przodka; większy klad obejmujący tak rozumiane krokodyle i wszystkie inne krokodylomorfy (oprócz Sphenosuchia) miał nosić nazwę Crocodyliformes. W późniejszych publikacjach zaproponowano kilka definicji filogenetycznych tak rozumianych krokodyli; Brochu (2003) zdefiniował Crocodylia jako nazwę kladu obejmującego ostatniego wspólnego przodka gatunków Gavialis gangeticus, Alligator mississippiensis i Crocodylus niloticus oraz wszystkich jego potomków. Tak definiowane krokodyle pojawiły się na Ziemi dopiero w kampanie, pod koniec kredy. W 2008 roku Jeremy Martin i Michael J. Benton zaproponowali powrót do stosowania nazwy Crocodylia dla grupy obejmującej tradycyjnie rozumiane krokodyle, czyli wszystkie krokodylomorfy oprócz Sphenosuchia, jednak wśród naukowców panuje obecnie konsensus, że termin Crocodylia powinien być używany w stosunku do grupy koronowej.