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