Work

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

Year: 2024

Type: conference-paper

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.

DOI: 10.1145/3689609.3689995

Authors: Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, Agostino Cortesi

Institutions: Ca' Foscari University of Venice, University of Parma

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

OpenAlex ID: W4403491022

FWCI: 0.294

Cites: 33

Cited by: 1

Related to: 10