Explainability of Static Analysis Results

The explainability of static analysis warnings has always been an issue in static analysis tools. Here, we present the concept of analysis automata and detail three applications of it that enhance explainability: (1) Warning understanding, (2) Warning classification, and (3) Detection of bad analysis patterns.

We present MUDARRI, an IntelliJ plugin that illustrates the first use case.