For each component, Binarly’s new method constructs inter-procedural control-flow graphs (ICFGs) and code cross-reference graphs, identifies entry points, and computes reachability metrics for ...