IntelliJ data flow analysis does this to a certain extent (paid feature though)

https://www.jetbrains.com/help/idea/analyzing-data-flow.html