Summary
Comparative studies of algorithms and heuristics for reachability on the call graphs
More information & hyperlinks