Result Invalidation for Incremental Modular Analyses

Onderzoeksoutput: Conference paper

1 Citaat (Scopus)

Samenvatting

To reduce the running time of static analysis tools upon program changes, incremental static analyses reuse and update pre-existing results. Such analyses must efficiently detect and remove outdated results. We introduce three novel, complementary result invalidation strategies for incremental modular analyses. The core idea of our work is to alternate invalidation with computation. We apply our strategies to a recent, state-of-the-art incremental modular analysis that suffers from imprecision, and evaluate them on soundness, precision, and performance. Our strategies lead to precision improvements compared to an incremental analysis without invalidation, though the precision of a full reanalysis is not yet matched. On most benchmarks, our incremental analysis performs well. However, on some benchmarks our analysis performs poorly as the changes drastically change program behaviour, for which the changes are difficult for an incremental analysis to handle.
Originele taal-2English
TitelProceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, Boston, MA, USA, January 16-17, 2023
RedacteurenCezara Dragoi, Michael Emmi, Jingbo Wang
Plaats van productieCham
UitgeverijSpringer
Pagina's296-319
Aantal pagina's24
Volume13881
ISBN van elektronische versie978-3-031-24950-1
ISBN van geprinte versie978-3-031-24949-5
DOI's
StatusPublished - 17 jan 2023
Evenement24th International Conference on Verification, Model Checking, and Abstract Interpretation - Park Plaza Hotel, Boston, United States
Duur: 16 jan 202317 jan 2023
https://popl23.sigplan.org/home/VMCAI-2023

Publicatie series

NaamLecture Notes in Computer Science
UitgeverijSpringer, Cham
Volume13881
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Conference

Conference24th International Conference on Verification, Model Checking, and Abstract Interpretation
Verkorte titelVMCAI 2023
Land/RegioUnited States
StadBoston
Periode16/01/2317/01/23
Internet adres

Bibliografische nota

Funding Information:
This work was partially supported by the Research Foundation – Flanders (FWO) (grant number 11F4822N) and by the Cybersecurity Initiative Flanders.

Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Copyright:
Copyright 2023 Elsevier B.V., All rights reserved.

Vingerafdruk

Duik in de onderzoeksthema's van 'Result Invalidation for Incremental Modular Analyses'. Samen vormen ze een unieke vingerafdruk.

Citeer dit