Write a Blog >>
ESEC/FSE 2022
Mon 14 - Fri 18 November 2022 Singapore
Mon 14 Nov 2022 16:15 - 16:30 at SRC LT 50 - Program Analysis I Chair(s): Marcel Böhme

The \emph{executes-before} relation between tasks is fundamental in
the analysis of Event Driven Programs with several downstream
applications like race detection and identifying redundant
synchronizations.
We present a sound, efficient, and effective static analysis technique
to compute executes-before pairs of tasks for a general class of event
driven programs.
The analysis is based on a small but comprehensive set of rules
evaluated on a novel structure called the \emph{task post graph} of a
program.
We show how to use the executes-before information to identify
disjoint-blocks in event driven programs and further use them to improve the
precision of data race detection for these programs.
We have implemented our analysis in the Flowdroid
framework in a tool called \textsc{AndRacer} and evaluated it on several
Android apps, bringing out the scalability, recall, and improved
precision of the analyses

Mon 14 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

16:00 - 17:30
Program Analysis IResearch Papers / Industry Paper at SRC LT 50
Chair(s): Marcel Böhme MPI-SP, Germany and Monash University, Australia
16:00
15m
Talk
Input Splitting for Cloud-Based Static Application Security Testing Platforms
Industry Paper
Maria Christakis MPI-SWS, Thomas Cottenier Amazon Web Services, Antonio Filieri AWS and Imperial College London, Linghui Luo Amazon Web Services, Muhammad Numair Mansur MPI-SWS, Lee Pike Amazon Web Services, Nico Rosner Amazon Web Services, Martin Schäf Amazon Web Services, Aritra Sengupta Amazon Web Services, Willem Visser Amazon Web Services
DOI Media Attached
16:15
15m
Talk
Static Executes-Before Analysis for Event Driven Programs
Research Papers
Rekha Pai IISc Bangalore, Abhishek Uppar IISc Bangalore, Akshatha Shenoy TCS Research, Pranshul Kushwaha IISc Bangalore, Deepak D'Souza IISc Bangalore
DOI
16:30
15m
Talk
Security Code Smells in Apps: Are We Getting Better?
Research Papers
Steven Arzt Fraunhofer SIT; ATHENE
DOI
16:45
15m
Talk
Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects
Research Papers
Xiuhan Shi Tianjin University, Xiaofei Xie Singapore Management University, Yi Li Nanyang Technological University, Yao Zhang Tianjin University, Sen Chen Tianjin University, Xiaohong Li Tianjin University
DOI
17:00
15m
Talk
On-the-Fly Syntax Highlighting using Neural Networks
Research Papers
Marco Edoardo Palma University of Zurich, Pasquale Salza University of Zurich, Harald Gall University of Zurich
DOI Pre-print
17:15
15m
Talk
Declarative Smart Contracts
Research Papers
Haoxian Chen University of Pennsylvania, Gerald Whitters University of Pennsylvania, Mohammad Javad Amiri University of Pennsylvania, Yuepeng Wang Simon Fraser University, Boon Thau Loo University of Pennsylvania
DOI