Re:“Rust is safe” is not some kind of absolute guarantee of ...
by UncleMeat on Sunday October 02, 2022 @02:49PM
(#33058978)
That's not what "trivial property" means w.r.t. Rice's Thm.
The point is that you can produce a perfectly working analysis method that is either sound or complete but not both. "Nowhere in the entire program does the call 'panic()' appear is a perfectly workable analysis - it just has false positives.
The point is that you can produce a perfectly working analysis method that is either sound or complete but not both. "Nowhere in the entire program does the call 'panic()' appear is a perfectly workable analysis - it just has false positives.