In the context of static analysis based on Abstract Interpretation, we propose a lightweight pre-analysis step which is meant to suggest, at each program point, which program variables are likely to be unconstrained for a specific class of numeric abstract properties. Using the outcome of this pre-analysis as an oracle, we simplify the statements of the program being analyzed by propagating this lack of information, aiming at fine-tuning the precision/efficiency trade-off of the analysis. A preliminary experimental evaluation shows that the idea underlying the approach is promising, as it improves the efficiency of the more costly analysis while having a limited effect on its precision.
Unconstrained Variable Oracles for Faster Numeric Static Analyses / Arceri, V.; Dolcetti, G.; Zaffanella, E.. - 14284:(2023), pp. 65-83. (Intervento presentato al convegno 30th International Symposium on Static Analysis, SAS 2023 tenutosi a prt nel 2023) [10.1007/978-3-031-44245-2_5].
Unconstrained Variable Oracles for Faster Numeric Static Analyses
Arceri V.
;Dolcetti G.;Zaffanella E.
2023-01-01
Abstract
In the context of static analysis based on Abstract Interpretation, we propose a lightweight pre-analysis step which is meant to suggest, at each program point, which program variables are likely to be unconstrained for a specific class of numeric abstract properties. Using the outcome of this pre-analysis as an oracle, we simplify the statements of the program being analyzed by propagating this lack of information, aiming at fine-tuning the precision/efficiency trade-off of the analysis. A preliminary experimental evaluation shows that the idea underlying the approach is promising, as it improves the efficiency of the more costly analysis while having a limited effect on its precision.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
