Cocoon ist eine statische Informationsflusssteuerung (IFC) für Rust, die ohne Modifikationen der Programmiersprache oder des Compilers auskommt.