획기적인 발전: C 코드를 안전하게 Rust로 컴파일
2024-12-21
연구자들은 C 코드를 안전하게 Rust로 컴파일하는 새로운 방법을 개발했습니다. 이 기술은 정적 분석과 형식 지향 변환을 사용하여 Rust의 `unsafe` 블록에 대한 의존성을 피함으로써 메모리 안전성을 보장합니다. 이 방법은 HACL* 암호 라이브러리와 EverParse 라이브러리의 코드에 성공적으로 적용되어 8만 줄의 순수 Rust로 작성된 검증된 최신 암호 라이브러리가 생성되었습니다. 이는 업계 최초의 성과입니다.
개발
C 컴파일