The same could be said of the standard libary vulnerability you linked. But for other code,

(a) that's why people use cargo-geiger.

(b) you're arguing about the very small number of virtual machines that don't give their users such escape hatches.