Stability: An Abstract Domain for the Trend of Variation of Numerical Variables (Video, NSAD 2024)
Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, and Agostino Cortesi
(Ca’ Foscari University of Venice, Italy; Ca’ Foscari University of Venice, Italy; Ca’ Foscari University of Venice, Italy; University of Parma, Italy; Ca’ Foscari University of Venice, Italy)
Abstract: State-of-the-art abstract domains for static analysis typically focus on over-approximating either the values a variable can hold at a specific program point or the relational dependencies among variables. In this paper, we aim to capture the trend of numerical values during program executions (e.g., increasing, decreasing, or stable) relative to preceding states. By integrating the Stability domain with numerical domains, we can verify co-/contra-variance relationships among potentially unrelated variables. This approach has promising applications for anomaly detection in complex software systems, and for the verification of functional requirements.
Article: https://doi.org/10.1145/3689609.3689995
ORCID: https://orcid.org/0000-0001-9930-8854, https://orcid.org/0009-0007-4767-3498, https://orcid.org/0000-0002-4678-933X, https://orcid.org/0000-0001-6388-2053, https://orcid.org/0000-0002-0946-5440
Video Tags: Static Analysis, Abstract Interpretation, Numeric Domains, splashws24nsadmain-p32-p, doi:10.1145/3689609.3689995, orcid:0000-0001-9930-8854, orcid:0009-0007-4767-3498, orcid:0000-0002-4678-933X, orcid:0000-0001-6388-2053, orcid:0000-0002-0946-5440
Presentation at the NSAD 2024 conference, October 22, 2024, https://2024.splashcon.org/home/nsad-2024
Sponsored by ACM SIGPLAN, ACM SIGAda,