Human-Centered Approach to Static-Analysis-Driven Developer Tools

They can be too opaque, and to raise the signal of what is most important, they end up hiding too much. "The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise."--