IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers
Static analyzers are commonly integrated into real-world development workflows to detect hidden code defects throughout iterative development. However, some analyzers do not support incremental analysis or only support coarse-grained incremental analysis, leading to substantial time wasted on redundant analysis, as well as numerous reports unrelated to the modifications made in this iteration.
To address these issues, this paper proposes IceBear, a scheduling framework that supports three C/C++ static analyzers, offering fine-grained incremental analysis. IceBear pinpoints the changed code ranges and propagates these changes to other affected components (e.g., AST nodes, functions). By extracting this detailed diff information, IceBear implements a function-level incremental analysis, enabling it to reduce redundant checks and filter unrelated reports. Experimental results show that IceBear can reduce 60.4% of the overall analysis duration and eliminate 92.3% of reports that are unrelated to the modifications.
Tue 24 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:20 | Program Analysis 2Research Papers / Ideas, Visions and Reflections / Demonstrations at Pirsenteret 150 Chair(s): Martin Kellogg New Jersey Institute of Technology | ||
14:00 10mTalk | IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers Demonstrations | ||
14:10 20mTalk | Blended Analysis for Predictive Execution Research Papers Yi Li University of Texas at Dallas, Hridya Dhulipala University of Texas at Dallas, Aashish Yadavally University of Texas at Dallas, Xiaokai Rong University of Texas at Dallas, Shaohua Wang Central University of Finance and Economics, Tien N. Nguyen University of Texas at Dallas DOI | ||
14:30 20mTalk | Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis Research Papers Xiaolei Ren Macau University of Science and Technology, Mengfei Ren University of Alabama in Huntsville, Jeff Yu Lei University of Texas at Arlington, Jiang Ming Tulane University, USA DOI | ||
14:50 20mTalk | DyLin: A Dynamic Linter for Python Research Papers Aryaz Eghbali University of Stuttgart, Felix Burk University of Stuttgart, Michael Pradel University of Stuttgart DOI Pre-print | ||
15:10 10mTalk | Do you have 5 min? Improving Call Graph Analysis with Runtime Information Ideas, Visions and Reflections Jordan Samhi University of Luxembourg, Luxembourg, Marc Miltenberger Fraunhofer SIT; ATHENE, Marco Alecci University of Luxembourg, Steven Arzt Fraunhofer SIT; ATHENE, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg | ||
This room is located outside Clarion Hotel
This room is located in the Pirsenteret (The Pier Center) convention center. It is just outside the hotel, on the back, towards the fjord.
You should be able to go through the emergency exit at Clarion, just on the side of the Cosmos 3 wing, which will be bring you close to Pirsenteret.
The entrance to the center is from here:
https://maps.app.goo.gl/dU3qH6kAimXGBNHe7
Once inside, go all straight and you will find signage to reach the room. The room is known as room 150 inside the center.