Cocoon은 Rust 언어와 컴파일러를 수정하지 않고도 정적 타입 기반 정보 흐름 제어를 제공하는 라이브러리이다. Cocoon은 Rust의 타입 시스템과 프로시저 매크로를 활용하여 비간섭성을 보장하는 효과 시스템을 구현한다.
신경망 언어 모델과 기호 솔버를 결합한 접근법을 통해 어셈블리 코드를 효율적으로 변환할 수 있다.