logoalt Hacker News

Xylakanttoday at 6:32 PM2 repliesview on HN

That kind of error was entirely avoidable. There are well-known tools in the Rust ecosystem that detect this kind of error and while the tools do not detect all instances of UB caused by mistakes in unsafe blocks, it's still considered good practice to run them.


Replies

dralleytoday at 6:38 PM

>There are well-known tools in the Rust ecosystem that detect this kind of error

Yes, tools like Miri, which this very post is about.

show 2 replies
jnwatsontoday at 6:34 PM

Indeed this was caught by a well-known tool, Miri, that detected this error.

show 1 reply