This analysis is undecidable. There is a reason sound static analyzers (including languages like Rust) require in-code annotations.

It is only feasible to do this if the whole of the codebase idea designed to allow it, and it's still going to blow up in odd ways of you don't have a way to describe lifetimes in your interfaces. The magic of rust's design is that it turns this memory tracking into a local problem, such that you can design an interface and be sure that every use case is safe and verifiably so.

It seems like it'd be pretty reasonable to get something akin to polonius. I can write up an engine in zig if it'd help?