This is amazing work. It’s also an unmitigated success for the Rust community, if I’m reading the article correctly. First, the issues surfaced are all in unsa

This is amazing work. It’s also an unmitigated success for the Rust community, if I’m reading the article correctly. First, the issues surfaced are all in unsafe blocks, which is the desired state of things. Second, it’s a testament to how powerful unsafe is in making code safer: I don’t think this sort of static analysis would ever go through the whole of crates.io in 6.5 hours if it had to analyse the complete code base for each package.