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