Projects per year
In this work, we present a general approach to render a modular static analysis for highly dynamic programs incremental, by exploiting dependencies between intermediate analysis results. Modular analyses divide a program in interdependent parts that are analysed in isolation. The dependencies between these parts stem, for example, from the use of shared variables within the program. Our incrementalisation approach leverages the modularity of the analysis together with the dependencies that it reifies to compute and bound the impact of changes. This way, only the affected parts of the result need to be reanalysed, and unnecessary recomputations are avoided.
We apply our approach to both a function-modular and thread-modular analysis and evaluate it by comparing an incremental update of an existing result to a full reanalysis. We find reductions of the analysis time from 6% to 99% on 14 out of 16 benchmark programs, and on most programs the impact on precision is limited. On 7 of the programs, reanalysis time is reduced by more than 75%, showing that our approach results in fast incremental updates.
|Title of host publication||Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020)|
|Number of pages||12|
|Publication status||Published - 27 Sep 2020|
|Event||20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM2020) - Adelaide, Australia|
Duration: 27 Sep 2020 → 28 Sep 2020
|Name||Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020|
|Conference||20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM2020)|
|Period||27/09/20 → 28/09/20|
FingerprintDive into the research topics of 'Incremental Flow Analysis through Computational Dependency Reification'. Together they form a unique fingerprint.
1/11/19 → 31/10/21
1/09/19 → 3/03/22
1/10/17 → 30/09/21
- 1 Talk or presentation at a conference