You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is what the issue title describes. We shouldn't have any undefined behavior in the code, but running Miri is fast enough and easy to configure so it'd be worthwhile adding it just as a precautionary measure.
Additionally, a flag such as -Zmiri-track-alloc-accesses and Miri's allocation emulation/tracking functionality could be another automated tool to ensure we see the intended writes to the memory being zeroized.
The text was updated successfully, but these errors were encountered:
This is what the issue title describes. We shouldn't have any undefined behavior in the code, but running Miri is fast enough and easy to configure so it'd be worthwhile adding it just as a precautionary measure.
Additionally, a flag such as
-Zmiri-track-alloc-accesses
and Miri's allocation emulation/tracking functionality could be another automated tool to ensure we see the intended writes to the memory being zeroized.The text was updated successfully, but these errors were encountered: