« Home

static-analysis  abstract-interpretation  numeric-abstractions

Stability: an Abstract Domain for the Trend of Variation of Numerical Variables

Authors: L. Negrini, S. Presotto, P. Ferrara, E. Zaffanella, A. Cortesi
10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2024)

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 covariance and contravariance relationships among potentially unrelated variables. This approach has promising applications for anomaly detection in complex software systems, and for the verification of functional requirements.

Manuscript:	PDF
Conference talk:	Talk @ NSAD 2024
Conference page:	Link