El cocodrilo marino, de agua salada, cocodrilo de estuario, cocodrilo poroso o de mar (Crocodylus porosus) es una especie de saurópsido (reptil) Crocodilia de la familia crocodylidae. Es el cocodrilo de mayor tamaño del mundo y el mayor reptil del planeta. Las principales poblaciones habitan zonas pantanosas desde el sudeste asiático hasta el norte de Australia.