TWiR quote of the week

kleinesfilmroellchen · August 27, 2026, 7:35pm

Review by RalfJung - RFC: add `freeze` operation

master ← honzasp:freeze

"program leaks secrets" is not something that you can define as a property of an… AM execution, so I don't think we can have Miri detect this or call it EB. (Formally it's a hyperproperty, you need to define a notion of "public"/"secret" data and then compare *two* runs of the program to determine that a secret was leaked.) > A simple operational semantics would be a naive "taint tracking" model where bytes that were uninit and got frozen are still recorded as being "tainted" by uninit-ness, I think you are inventing provenance for integers. Please, let's not.

I think you are inventing provenance for integers. Please, let's not.

Insightful opsem commentary by @RalfJung while discussing the MaybeUninit::freeze() RFC.

Topic		Replies	Views
Objective opinion about Rust safety/speed	46	3052	July 23, 2020
Rust is not as hard as the topics discussed here!	29	3634	December 18, 2021
After a week with Rust help	45	5637	December 28, 2019
How to counter erroneous criticism of Rust?	43	2547	November 28, 2024
Borrow/move/closure symantics are driving me to my wit's end help	60	5833	August 13, 2017

TWiR quote of the week

Related topics