That particular sub-area of static analysis is called (change) impact analysis. If you google that you'll find several tools, but many of those results are a co

That particular sub-area of static analysis is called (change) impact analysis. If you google that you'll find several tools, but many of those results are a couple of years old, or framework-specific. Take a look and good luck.