Demo of Impatto: A Static Analyzer for Quantitative Input Data Usage

Impatto is a sound fully-automatic and always-terminating static analysis tool based on the quantitative framework for input data usage properties proposed by Mazzucato (https://hal.science/hal-04339001).Impatto leverages an underlying backward analyzer to compute the set of input-output relations of the program under analysis. This backward analyzer is a parameter of the tool, allowing different kind of analyses such as program or neural network analysis. Furthermore, the choice of the impact definition is also a parameter of the tool to better suit several factors, such as the program structure, the environment, and the intuition of the researcher. GitHub repository at https://github.com/denismazzucato/impatto