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 개발자 채용을 권장함.

error: Undefined Behavior (미정의 동작): &[u8] 타입의 유효하지 않은 값 생성: dangling reference (0x20933[noalloc]에 provenance가 없음)를 발견함
--> src/main.rs:97:18
|
97 | unsafe { core::slice::from_raw_parts(ptr as *const u8, self.len()) }
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 여기서 Undefined Behavior (미정의 동작) 발생
|
= help: 이는 프로그램의 버그를 나타냅니다: 유효하지 않은 연산을 수행하여 Undefined Behavior (미정의 동작)를 유발했습니다.
= help: 자세한 내용은 https://doc.rust-lang.org/nightly/reference/behavior_considered_undefined.html 를 참조하십시오.
= note: stack backtrace:
0: PathString::slice
at src/main.rs:97:18: 97:75
1: main
at src/main.rs:130:22: 130:34

code:

fn main() {
let test = Box::new(*b"Hello World");
let init = PathString::init(&*test);
drop(test);
println!("{:?}", init.slice());
}

AI는 Rust를 작성하는 데 능숙하지 않으므로 Rust를 vibe coding(감으로 코딩)하지 마시고, 실제 Rust 개발자를 채용하는 것을 고려해 주시기 바랍니다.

AI 자동 생성 콘텐츠

원문 바로가기

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

요약

핵심 포인트

댓글