Program analysis tools have well-documented usability issues, sometimes causing tool abandonment and the deploument of bugged or insecure code. In this project, we explore how to build analysis tools that help code developers understand and fix complex bugs through an engaging, user-friendly GUI. To this effect, we identify gaming aspects that encourage player motivation, and transfer them to analysis tools. In particular, we focus on three aspects:
Program analyses can take a long time to compute warnings. We research how to provide immediate visual feedback when the user interacts with the tool.
We explore how to explain complex bugs and analysis notions to the code developer without confusing them.
We investigate how to challenge and motivate code developers through incentives (badges, points, etc.) to develop collaborative problem-solving.