ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

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.

[img] PDF
ESEC_FSE 2022.pdf - Published Version
Restricted to Registered users only

Download (271kB) | Request a copy
Official URL: https://doi.org/10.1145/3540250.3549116


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 View Item