Analyzing the State of Static Analysis