Static Executes-Before Analysis for Event Driven Programs, FSE/ESEC22

The tool AndRacer presents an implementation of sound, efficient, and effective static analysis technique to compute executes-before pairs of tasks for a general class of event driven programs. The executes-before information to identify disjoint-blocks in Android applications and hence use them for data race detection of the applications. Furthermore, we check for the shared resources protected by disjoint blocks due to locks and hence decide on the possible Redundant Synchronization Blocks.

The artifact is submitted as an Installation Package. The Installation Package is a Virtual Machine for Virtual Box. Details on installation and usability of the artifact are given in tar file.