Write a Blog >>
ICSE 2020
Mon 5 - Sun 11 October 2020 Yongsan-gu, Seoul, South Korea
Tue 6 Oct 2020 14:00 - 14:20 at TBD6 - Static Analysis 2

Many Software Engineering problems such as discovering programming patterns, inferring API specifications, etc, perform source code analysis over the control flow graphs (CFGs) at scale. Analyzing millions of CFGs can be expensive and performance of the analysis heavily depends on the underlying CFG traversal strategy. State-of-the-art analysis frameworks use a fixed traversal strategy. We argue that a single traversal strategy does not fit all kinds of analyses and CFGs and propose bespoke control flow analysis (BCFA). Given a control flow analysis (CFA) and a large number of CFGs, BCFA selects the most efficient traversal strategy for each CFG. BCFA extracts a set of properties of the CFA by analyzing the code of the CFA and combines it with properties of the CFG, such as branching factor and cyclicity, for selecting the optimal traversal strategy. We have implemented BCFA in Boa, and evaluate using a set of representative source code analyses that mainly involve traversing CFGs and two large datasets containing 287 thousand and 162 million CFGs. Our results show that BCFA can speedup the large scale analyses by 1%-28%. We also found that, BCFA has low overheads; less than 0.2%, and low misprediction rate; less than 0.01%.

Tue 6 Oct

14:00 - 15:40: Paper Presentations - Static Analysis 2 at TBD6
icse-2020-papers14:00 - 14:20
Ramanathan RamuIowa State University, Ganesha UpadhyayaHarmony.one, Hoan Anh NguyenAmazon, Hridesh RajanIowa State University
icse-2020-papers14:20 - 14:40
Li SuiMassey University, New Zealand, Jens DietrichVictoria University of Wellington, Amjed TahirMassey University, George FourtounisUniversity of Athens
icse-2020-papers14:40 - 15:00
Manuel BenzUniversity of Paderborn, Erik Krogh KristensenAarhus University, Denmark, Linghui LuoPaderborn University, Nataniel Borges Jr.CISPA Helmholtz Center for Information Security, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Andreas ZellerCISPA Helmholtz Center for Information Security
File Attached
Demonstrations15:00 - 15:10
Hiroaki YoshidaFujitsu Laboratories of America, Inc., Rohan BavishiUC Berkeley, Keisuke HottaFujitsu Laboratories Ltd., Yusuke NemotoFujitsu Laboratories Ltd., Mukul PrasadFujitsu Laboratories of America, Inc, Shinji KikuchiFujitsu Laboratories Ltd.
icse-2020-Journal-First15:10 - 15:25
Roman HaasCQSE GmbH, Rainer NiedermayrCQSE GmbH, Tobias RoehmCQSE GmbH, Sven ApelSaarland University
icse-2020-Journal-First15:25 - 15:40
Andreas DannPaderborn University, Ben HermannPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM