Habr2d ago

Я дал LLM писать unsafe Rust полгода. Miri плакал

Полгода я давал LLM писать unsafe Rust в боевых проектах и разбирал каждый блок под miri и санитайзерами. Категории ошибок, которые модели делают стабильно: aliasing, провенанс, layout в alloc/dealloc, забытый ManuallyDrop, гонки в FFI-колбэках, ручные Send/Sync, uninit-память, Pin. Каждая категория идёт с минимальным примером и фиксом.

https://habr.com/ru/articles/1035914/

#Rust #unsafe #miri #FFI #UB #aliasing #MaybeUninit #Pin #LLM #AI

Я дал LLM писать unsafe Rust полгода. Miri плакал

Этот код прошёл мои code review, ревью второго коллеги, тесты, CI с clippy и десять дней работал в проде: let mut out = Vec::with_capacity(estimated_size); let written = unsafe {...

Хабр