News for hackers. Stuff that matters.

A comment on “Rust is safe” is not some kind of absolute guarantee of code safety. Parent comment

Re:“Rust is safe” is not some kind of absolute guarantee of ... by yonixw on Sunday October 02, 2022 @02:06PM (#33058560)
> Regarding the second question, in the general case you have to guess or do trial and error.

> You notice that the analyzer takes more time than you’re willing to wait,

I see, thanks, didn't know about this feedback loop as I'm not a rust programmer. Still on my todo list to learn.

[ Parent | on HN ]
Re:“Rust is safe” is not some kind of absolute guarantee of ... by layer8 on Sunday October 02, 2022 @02:21PM (#33058699)
I don’t think it actually happens in Rust in practice, or only very rarely. I was more talking about the hypothetical case for any static analysis of nontrivial program properties as in Rice’s theorem.
[ Parent | on HN ]