Miri: Practical Undefined Behavior Detection for Rust [pdf]

Re:Miri: Practical Undefined Behavior Detection for Rust [pdf] by sleeplessworld on Friday January 02, 2026 @01:56PM (#46468079)

I have just been subjected to a Paradox Exception caused by reading that the memory safe Rust language has and can cause undefined behaviour. My spatial location code in the Universe has been marked with a Time-Space::Paradox violation and is awaiting debugging by celestial dev-ops. Luckily I am currently a live process, so my space and memory will not at this time be reclaimed by the Global-Universal Operating System.

[ Parent | on HN ]

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 ]