Comparative studies of algorithms and heuristics for reachability on the call graphs

Summary
Comparative studies of algorithms and heuristics for reachability on the call graphs