gousiosg

Co-author here. The paper reports on a system that is being run on 100s of repos at Microsoft.

Here is some recent research where we are trying to solve the security and update issues in Rust/Cargo:

https://pure.tudelft.nl/portal/files/46926997/main2.pdf

TLDR: it boils down to analysing dependencies at the level of the callgraph; but building those callgraphs isn't easy. The benefit in the security use case is ~3x increased accuracy when identifying vulnerable packages (by eliminating false positives).

Yes, please see slide 34 of the attached presentation and also section 5 of the paper linked to at the end.