Reachability Analysis for Prioritization of SCA Findings