The Power of Static Analysis