Write a Blog >>
Thu 28 May 2020 11:50 - 12:10 at TBD6 - Static Analysis 1

Bottom-up program analysis has been traditionally easy to parallelize because functions without caller-callee relations can be analyzed independently. However, such function-level parallelism is significantly limited by the calling dependence – functions with caller-callee relations have to be analyzed sequentially because the analysis of a function depends on the analysis results, a.k.a., function summaries, of its callees. We observe that the calling dependence can be relaxed in many cases and, as a result, the parallelism can be improved.

In this paper, we present Cheetah, a framework of bottom-up data flow analysis, in which the analysis task of each function is elaborately partitioned into multiple sub-tasks to generate pipelineable function summaries. These sub-tasks are pipelined and run in parallel without any additional synchronization, even though the calling dependence exists. We formalize our idea under the IFDS/IDE framework and have implemented an application to checking null-dereference bugs in C/C++ programs.

We evaluate Cheetah on a series of standard benchmark programs and open-source projects, which demonstrates significant speedup over a conventional parallel design.

Thu 28 May

icse-2020-paper-presentations
10:50 - 12:30: Paper Presentations - Static Analysis 1 at TBD6
icse-2020-papers10:50 - 11:10
Talk
Qingkai ShiHong Kong University of Science and Technology, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Gang FanHong Kong University of Science and Technology, Charles ZhangThe Hong Kong University of Science and Technology
icse-2020-Software-Engineering-in-Practice11:10 - 11:30
Talk
Cong WangTsinghua University, Mingrui ZhangTsinghua University, Beijing, China, Yu Jiang, Huafeng ZhangHuawei Technologies, Hangzhou, China, Zhenchang XingAustralia National University, Ming Gu
icse-2020-papers11:30 - 11:50
Talk
Rijnard van TonderSourcegraph, Claire Le GouesCarnegie Mellon University
icse-2020-papers11:50 - 12:10
Talk
Qingkai ShiHong Kong University of Science and Technology, Charles ZhangThe Hong Kong University of Science and Technology
icse-2020-New-Ideas-and-Emerging-Results12:10 - 12:20
Talk
Qi XinGeorgia Institute of Technology, Myeongsoo KimGeorgia Institute of Technology, Qirun ZhangGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
icse-2020-New-Ideas-and-Emerging-Results12:20 - 12:30
Talk
Carl HildebrandtUniversity of Virginia, Sebastian ElbaumUniversity of Virginia, USA, Nicola BezzoUniversity of Virginia