Improving the Efficiency of Graph-Based Static Analysis