Usability of Static Analysis Tools

How can we build better experiences for users of static analysis tools? In this work, we have been exploring novel techniques to facilitate the development of program analyses that are more responsive, more precise, well-integrated in the developer’s workflow, and customized to the developer’s needs.

(missing reference)