On: 11 year old unsoundness bugs found in Rust borrow checker

[cowlevel]

It's possible to scan compiled programs at the assembly or machine code level. Not enough people do, which is fair enough because it's a slog, but it makes all compiler UB transparent to the analysis.