Static executes-before analysis for event driven programs

Pai, R and Uppar, A and Shenoy, A and Kushwaha, P and D'Souza, D (2022) Static executes-before analysis for event driven programs. In: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 7 November 2022, Singapore, pp. 233-244.

PDF ESEC_FSE 2022.pdf - Published Version Restricted to Registered users only Download (271kB) | Request a copy

Abstract

The 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 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 AndRacer and evaluated it on several Android apps, bringing out the scalability, recall, and improved precision of the analyses © 2022 ACM.

Item Type:	Conference Proceedings
Publication:	ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Publisher:	Association for Computing Machinery, Inc
Additional Information:	The copyright for this article belongs to Association for Computing Machinery, Inc.
Keywords:	Android (operating system); Application programs, Analysis techniques; Android applications; Asynchronoi call; Downstream applications; Event-driven; Event-driven programming; Execute-before; General class; Race detection; Set of rules, Static analysis
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	13 Jan 2023 10:23
Last Modified:	13 Jan 2023 10:23
URI:	https://eprints.iisc.ac.in/id/eprint/79136

Actions (login required)

View Item