SCAM 2025
Sun 7 - Fri 12 September 2025 Auckland, New Zealand
co-located with ICSME 2025
Mon 8 Sep 2025 10:52 - 11:15 at OGGB5 260-051 - Analysis 1 Chair(s): Banani Roy

Nowadays, many developers heavily rely on feed-back from bug-detection tools to help ensure the quality of the code they produce. Such tools are underlain by static analysis. It is, however, critical for analysis results to be produced fast. To this end, incremental static analysis can be used. Upon a program change, an incremental analysis updates the previous results rather than recomputing the results from scratch. Incremental static analyses may suffer from cyclic reinforce-ment of lattice values, where the computation of some values within the analysis relies on the values themselves, due to the abstractions made by the analysis. This can cause the incremental analysis to produce less precise results, reducing its usability. In this work, we provide a solution to cyclic reinforcement of lattice values for incremental dependency-driven analyses. We compute the information flow within the analysis and show how this information flow can be used to detect cyclic reinforcements. We establish a criterion to detect when a cyclic reinforcement contains outdated information that needs to be removed, and show how precision can be regained. Our results show that using our method, an incremental analysis produces results matching a from-scratch analysis for all but one benchmark program, at the cost of a performance hit in some cases.

Presentation (SCAM25_coen_1.pdf)4.3MiB

Mon 8 Sep

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
Analysis 1Research Track / Engineering Track at OGGB5 260-051
Chair(s): Banani Roy University of Saskatchewan
10:30
22m
Research paper
Detecting Exception-Related Behavioural Breaking Changes with UnCheckGuard
Research Track
Vinayak Sharma University of Waterloo, Patrick Lam University of Waterloo
Pre-print
10:52
22m
Research paper
Handling Cyclic Reinforcement of Lattice Values in Incremental Dependency-driven Static Analysis
Research Track
Jens Van der Plas Software Languages Lab, Vrije Universiteit Brussel, Quentin Stiévenart Université du Québec à Montréal, Coen De Roover Vrije Universiteit Brussel
Pre-print File Attached
11:15
22m
Research paper
Refactoring-Aware Patch Integration Across Structurally Divergent Java Forks
Research Track
Daniel Ogenrwot University of Nevada Las Vegas, John Businge University of Antwerp; Flanders Make; University of Nevada at Las Vegas
Pre-print Media Attached
11:37
22m
Research paper
Insights into Optimizing Research Software: A Case of an Architecture-Smell Detection Tool.
Engineering Track
Philipp Gnoyke , Sandro Schulze University of Magdeburg, Germany, Jacob Krüger Eindhoven University of Technology