Introducing Reachability Analysis: Precision Risk Reduction for Efficient Remediation