El cocodrilo marino, cocodrilo de agua salada, cocodrilo de estuario o cocodrilo poroso (Crocodylus porosus) es una especie de saurópsido (reptil) Crocodilia de la familia crocodylidae.