Cocoon은 Rust 언어와 컴파일러를 수정하지 않고도 정적 타입 기반 정보 흐름 제어를 제공하는 라이브러리이다. Cocoon은 Rust의 타입 시스템과 프로시저 매크로를 활용하여 비간섭성을 보장하는 효과 시스템을 구현한다.
