Quantitative Input Usage Static Analysis - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

Quantitative Input Usage Static Analysis

Résumé

Programming errors in software applications may produce plausible yet erroneous results, without providing a clear indication of failure. This happens, for instance, when certain inputs have a disproportionate impact on the program result. To address this issue, we propose a novel quantitative static analysis for determining the impact of inputs on the program computations, parametrized in the definition of impact. This static analysis employs an underlying abstract backward analyzer and computes a sound over-approximation of the impact of program inputs, providing valuable insights into how the analyzed program handles them. We implement a proof-of-concept static analyzer to demonstrate potential applications.
Fichier principal
Vignette du fichier
mazzucato-campion-urban-NFM24.pdf (651.65 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04339001 , version 1 (12-12-2023)
hal-04339001 , version 2 (16-12-2023)
hal-04339001 , version 3 (12-03-2024)

Identifiants

Citer

Denis Mazzucato, Marco Campion, Caterina Urban. Quantitative Input Usage Static Analysis. NASA Formal Methods 2024, Jun 2024, Moffett Field (CA), United States. pp.79-98, ⟨10.1007/978-3-031-60698-4_5⟩. ⟨hal-04339001v3⟩
337 Consultations
168 Téléchargements

Altmetric

Partager

More