Tag reachability analysis