At Ease with Your Warnings: The Principles of the Salutogenesis Model Applied to Automatic Static Analysis

TL;DR

This paper proposes applying the salutogenesis health model to static analysis tools to reduce user stress and improve decision-making, demonstrated through an implementation in FindBugs for Java.

Contribution

It introduces a novel approach of integrating the salutogenesis model into static analysis tools to enhance usability and user well-being.

Findings

Conceptual framework for salutogenesis in static analysis

Prototype implementation in FindBugs

Potential reduction in user stress and decision fatigue

Abstract

The results of an automatic static analysis run can be overwhelming, especially for beginners. The overflow of information and the resulting need for many decisions is mentally tiring and can cause stress symptoms. There are several models in health care which are designed to fight stress. One of these is the salutogenesis model created by Aaron Antonovsky. In this paper, we will present an idea on how to transfer this model into a triage and recommendation model for static analysis tools and give an example of how this can be implemented in FindBugs, a static analysis tool for Java.