News for hackers. Stuff that matters.

A comment on Miri: Practical Undefined Behavior Detection for Rust [pdf]. Parent comment

Re:Miri: Practical Undefined Behavior Detection for Rust [pdf] by nu11ptr on Friday January 02, 2026 @02:01PM (#46468130)
> by reading that the memory safe Rust language has and can cause undefined behaviour

Only unsafe blocks can cause undefined behavior. The memory safe portion of Rust that most program in cannot cause UB. If you use "forbid unsafe" then you can be assured your program is free from UB (assuming all the crates and stdlib you use are as well).

[ Parent | on HN ]
Re:Miri: Practical Undefined Behavior Detection for Rust [pdf] by sleeplessworld on Friday January 02, 2026 @02:36PM (#46468486)
It still leaves me lingering in a space-time-continuum where I search for the safety of rational completeness, while inadvertently living on a Möbious strip.
[ Parent | on HN ]
Re:Miri: Practical Undefined Behavior Detection for Rust [pdf] by imtringued on Saturday January 03, 2026 @08:05AM (#46476111)
There is nothing worse than localizing problems so you know where they are coming from.
[ Parent | on HN ]