[Rust 공식문서 한국어 정리] 81. Rust Miri 가이드

[Rust 공식문서 한국어 정리] 81. Rust Miri 가이드



원문 제목: Miri — Rust Interpreter

작성자: Rust Compiler Team



━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

📌 1. 서론 — 이 문서가 다루는 내용

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━



이 문서는 Rust의 Undefined Behavior(UB)를 감지하는 인터프리터인 Miri를 소개합니다.

Miri는 Rust 코드를 직접 해석하여 실행하며, 메모리 안전성 위반, 잘못된 포인터 사용, 데이터 레이스 등을 감지합니다.

unsafe 코드, FFI 경계, 복잡한 수명 관리가 있는 코드의 정확성을 검증하는 데 필수적인 도구입니다.

Miri의 설계 철학, 사용법, 한계, 그리고 CI 통합 방법을 중심으로 설명합니다.



━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

🔑 2. 핵심 개념 4가지

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━



① Miri: Rust MIR을 해석 실행하는 인터프리터로, UB를 감지합니다.

② Stacked Borrows: Miri가 사용하는 메모리 모델로, 참조의 유효성을 엄격히 검사합니다.

③ Tree Borrows: Stacked Borrows의 대안 모델로, 일부 합법적인 패턴을 더 잘 허용합니다.

④ UB Detection: 데이터 레이스, dangling pointer, 미초기화 메모리 읽기, 정렬 위반 등을 감지합니다.



━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

📖 3. 주요 내용 상세

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━



Miri는 rustup component add miri로 설치하고, cargo miri run/test으로 실행합니다.

컴파일러가 생성한 MIR을 해석하여 실행하므로, Miri는 실제 머신 코드가 아닌 Rust의 의미론(semantics) 수준에서 검사합니다.



Miri의 핵심은 UB 감지입니다.

미초기화 메모리 읽기, dangling pointer 역참조, 정렬되지 않은 접근, 데이터 레이스를 즉시 감지하고 에러를 출력합니다.

이는 AddressSanitizer나 Valgrind보다 Rust 특화된 검사를 제공합니다.



Stacked Borrows는 Miri의 기본 메모리 모델입니다.

참조가 생성되고 무효화되는 시점을 추적하여, aliasing 규칙 위반을 검출합니다.

일부 합법적인 unsafe 패턴이 Stacked Borrows에 의해 거부될 수 있으므로, Tree Borrows 대안도 제공됩니다.



Miri는 네이티브 코드(FFI)를 실행할 수 없습니다.

C 라이브러리 호출은 Miri에서 지원되지 않으므로, FFI가 포함된 코드는 부분적으로만 검사 가능합니다.

또한 Miri는 매우 느리므로, 전체 테스트 스위트를 Miri로 실행하는 것은 비현실적입니다.



━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

🛠 4. 실전 활용

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━



unsafe 코드나 복잡한 수명 관리가 있는 모듈의 테스트를 cargo miri test로 실행합니다.

커스텀 자료구조(예: lock-free 자료구조)를 Miri로 검증하여, UB가 없음을 확인합니다.

CI에서 Miri 잡을 별도로 두고, 핵심 unsafe 모듈에 대해서만 Miri로 검사합니다.



━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

✅ 5. 정리

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━



Miri는 Rust unsafe 코드의 안전성을 검증하는 강력한 도구입니다.

Stacked Borrows/Tree Borrows 메모리 모델을 통해 Rust의 엄격한 aliasing 규칙을 검사합니다.

느리지만 정확하므로, 핵심 unsafe 모듈에 선택적으로 적용하세요.



━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

🔗 출처 링크

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━



원문: https://github.com/rust-lang/miri

Miri Book: https://rustc-dev-guide.rust-lang.org/miri.html



#Rust #Miri #UB #Unsafe #MemorySafety #Interpreter #번역