Selective Context-Sensitivity for k-CFA with CFL-Reachability (SAS 2021 - - 28th Static Analysis Symposium)

Who

Jingbo Lu, Dongjie He, Jingling Xue

Track

SAS 2021

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 19 Oct 2021 14:35 - 14:50 at Zurich D - Session 3C Chair(s): David Pichardie
Tue 19 Oct 2021 22:35 - 22:50 at Zurich D - Session 3C Chair(s): Kedar Namjoshi

Abstract

k-CFA provides the most well-known context abstraction for program analysis, especially pointer analysis, for a wide range of programming languages. However, its inherent context explosion problem has hindered its applicability. To mitigate this problem, selective context-sensitivity is promising as context-sensitivity is applied only selectively to some parts of the program. This paper introduces a new approach to selective context-sensitivity for supporting k-CFA-based pointer analysis, based on CFL-reachability. Our approach can make k-CFA-based pointer analysis run significantly faster while losing little precision, based on an evaluation using a set of 11 popular Java benchmarks and applications.

Jingbo Lu

UNSW Sydney

Dongjie He

UNSW Sydney

Australia

Jingling Xue

UNSW Sydney

Australia

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 19 Oct
Displayed time zone: Central Time (US & Canada) change

13:50 - 15:10	Session 3CSAS at Zurich D +8h Chair(s): David Pichardie Facebook Paris

13:50 15m Talk		Automatic Synthesis of Data-Flow AnalyzersVirtual SAS Xuezheng Xu UNSW Sydney, Xudong Wang UNSW Sydney, Jingling Xue UNSW Sydney
14:05 15m Talk		Disjunctive Interval AnalysisVirtual SAS Graeme Gange , Jorge A. Navas SRI International, Peter Schachte , Harald Sondergaard , Peter J. Stuckey Monash University
14:20 15m Talk		Hash Consed Points-To SetsVirtual SAS Mohamad Barbar University of Technology Sydney; CSIRO’s Data61, Yulei Sui University of New South Wales, Sydney
14:35 15m Talk		Selective Context-Sensitivity for k-CFA with CFL-ReachabilityVirtual SAS Jingbo Lu UNSW Sydney, Dongjie He UNSW Sydney, Jingling Xue UNSW Sydney
14:50 20m Live Q&A		Session 3C Discussion, Questions and Answers SAS

21:50 - 23:10	Session 3CSAS at Zurich D Chair(s): Kedar Namjoshi Nokia Bell Labs

21:50 15m Talk		Automatic Synthesis of Data-Flow AnalyzersVirtual SAS Xuezheng Xu UNSW Sydney, Xudong Wang UNSW Sydney, Jingling Xue UNSW Sydney
22:05 15m Talk		Disjunctive Interval AnalysisVirtual SAS Graeme Gange , Jorge A. Navas SRI International, Peter Schachte , Harald Sondergaard , Peter J. Stuckey Monash University
22:20 15m Talk		Hash Consed Points-To SetsVirtual SAS Mohamad Barbar University of Technology Sydney; CSIRO’s Data61, Yulei Sui University of New South Wales, Sydney
22:35 15m Talk		Selective Context-Sensitivity for k-CFA with CFL-ReachabilityVirtual SAS Jingbo Lu UNSW Sydney, Dongjie He UNSW Sydney, Jingling Xue UNSW Sydney
22:50 20m Live Q&A		Session 3C Discussion, Questions and Answers SAS