Comment by afdbcreid

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