Bun Rust 재작성: "코드베이스가 기본적인 miri 체크를 통과하지 못하며, safe Rust에서 UB를 허용함"

요약

이 기사는 Bun의 Rust 재작성 과정에서 발생한 Undefined Behavior (미정의 동작) 오류 사례를 보여줍니다. 핵심 문제는 `&[u8]` 타입에 대해 유효하지 않은 값(dangling reference)을 생성하려 할 때 발생하며, 이는 안전한 Rust 코드에서도 버그가 발생할 수 있음을 지적합니다.

핵심 포인트

• Bun 프로젝트의 Rust 재작성 과정에서 Undefined Behavior (UB) 문제가 발견됨.
• 특정 상황에서 `core::slice::from_raw_parts`와 같은 unsafe 코드가 dangling reference를 생성하여 UB를 유발함.
• 이러한 오류는 프로그램의 근본적인 버그이며, 안전한 Rust 코드에서도 발생할 수 있음.
• AI가 작성한 코드는 신뢰하기 어려우므로 실제 Rust 개발자 채용을 권장함.