Explaining Static Analysis - A Perspective

摘要: Static code analysis is widely used to support the development of high-quality software. It helps developers detect potential bugs and security vulnerabilities in a program's source without executing it. While benefits static tools are beyond question, their usability often criticised prevents software from using its full potential. In past decade, researchers have studied developer needs contrasted them available tool functionalities. this paper, we summarize main design challenges for building usable tools, show that they revolve around notion explainability, which subarea usability. We present existing current research usability, detail how approach those challenges. This leads us proposing lines future work explainability analysis, namely turning into assistants teachers.