Rust를 읽기 쉬운 C로 컴파일하는 Eurydice

Microsoft Research에서 개발한 Eurydice는 Rust 코드를 사람이 읽을 수 있는 C 코드로 변환하는 컴파일러다. 기존 Rust-to-C 도구들은 최적화된 기계 코드를 생성하지만 원본 로직을 추적하기 어려운 반면, Eurydice는 구조와 의도를 보존하며 검증 가능한 코드를 만든다.

보안 감사, 코드 리뷰, 형식 검증이 필요한 시스템 소프트웨어 개발자들에게 흥미롭다. Rust의 메모리 안전성 보장을 유지하면서 C의 호환성을 얻을 수 있고, 생성된 C 코드가 투명해서 보안 검토자나 컴파일러가 실제 동작을 파악하기 쉽기 때문이다.