poster

A benchmark for event-race analysis in android apps

Authors:

Navid Salehnamadi,

Abdulaziz Alshayban,

Iftekhar Ahmed,

Sam MalekAuthors Info & Claims

MobiSys '20: Proceedings of the 18th International Conference on Mobile Systems, Applications, and Services

Pages 466 - 467

https://doi.org/10.1145/3386901.3396602

Published: 15 June 2020 Publication History

Get Access

Abstract

Over the past few years, researchers have proposed various program analysis tools for automated detection of event-race conditions in Android. However, to this date, it is not clear how these tools compare to one another, as they have been evaluated on arbitrary, disjointed set of Android apps, for which there is no ground truth, i.e., verified set of event races. To fill this gap and support future research in this area, we introduce BenchERoid, a set of 34 Android apps with injected event-race bugs. The current version of benchmark contains 36 types of event-race bugs that were identified by analyzing Android concurrency literature and publicly available issue repositories. We believe that our framework is a valuable resource for both developers and researchers interested in concurrency bug analysis in Android. BenchERoid is publicly available at: https://github.com/seal-hub/bencheroid.

References

[1]

2020. DroidBench. Retrieved March 24, 2020 from https://github.com/secure-software-engineering/DroidBench

Google Scholar

[2]

2020. Looper in Android. Retrieved March 28, 2020 from https://developer.android.com/reference/android/os/Looper

Google Scholar

[3]

Pavol Bielik, Veselin Raychev, and Martin Vechev. 2015. Scalable race detection for Android applications. In 2015 International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015. ACM Press, 332--348.

Digital Library

Google Scholar

[4]

Yaniv Eytani, Rachel Tzoref, and Shmuel Ur. 2008. Experience with a concurrency bugs benchmark. In 2008 IEEE International Conference on Software Testing Verification and Validation Workshop. IEEE, 379--384.

Digital Library

Google Scholar

[5]

Xinwei Fu, DongyoonLee, and Changhee Jung. 2018. nAdroid: statically detecting ordering violations in Android applications. In Proceedings of the 2018 International Symposium on Code Generation and Optimization. ACM Press, 62--74.

Digital Library

Google Scholar

[6]

Yongjian Hu and Iulian Neamtiu. 2018. Static Detection of Event-based Races in Android Apps. In Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems. ACM, 257--270.

Digital Library

Google Scholar

[7]

Reyhaneh Jabbarvand and Sam Malek. 2017. μDroid: an energy-aware mutation testing framework for Android. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. 208--219.

Digital Library

Google Scholar

[8]

Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, and Jianjun Zhao. 2015. Jacontebe: A benchmark suite of real-world java concurrency bugs (T). In IEEE/ACM International Conference on Automated Software Engineering. IEEE, 178--189.

Digital Library

Google Scholar

Cited By

View all

Guo XQi XLi YWu C(2024)PredRacer: Predictively Detecting Data Races in Android Applications2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)10.1109/SANER60148.2024.00031(239-249)Online publication date: 12-Mar-2024
https://doi.org/10.1109/SANER60148.2024.00031
Pai RUppar AShenoy AKushwaha PD'Souza DRoychoudhury ACadar CKim M(2022)Static executes-before analysis for event driven programsProceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3540250.3549116(233-244)Online publication date: 7-Nov-2022
https://dl.acm.org/doi/10.1145/3540250.3549116
Hirsch THofer B(2022)A systematic literature review on benchmarks for evaluating debugging approachesJournal of Systems and Software10.1016/j.jss.2022.111423192:COnline publication date: 1-Oct-2022
https://dl.acm.org/doi/10.1016/j.jss.2022.111423

Index Terms

A benchmark for event-race analysis in android apps
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Benchmark Dalvik and Native Code for Android System
IBICA '11: Proceedings of the 2011 Second International Conference on Innovations in Bio-inspired Computing and Applications

Google's Android Native Development Kit (NDK) is a toolset that lets you embed components to use of native code in your Android applications. It makes possible for developers to easily compile in C/C++ for the Android development platform. Generally, ...
Inter-app communication between Android apps developed in app-inventor and Android studio
MOBILESoft '16: Proceedings of the International Conference on Mobile Software Engineering and Systems

Communications between mobile apps are an important aspect of mobile platforms. Android is specifically designed with inter-app communication in mind and depends on this to provide different platform specific functionalities. Android Apps can either be ...
Analyzing GUI running fluency for Android apps
MSCC '16: Proceedings of the 3rd ACM Workshop on Mobile Sensing, Computing and Communication

Android as a free open platform has become increasingly popular and been widespread adopted in mobile, tablet, and other devices. However, a great number of issues, such as inadequate quality and the fragmentation phenomenon, have emerged, enhancing the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

MobiSys '20: Proceedings of the 18th International Conference on Mobile Systems, Applications, and Services

June 2020

496 pages

ISBN:9781450379540

DOI:10.1145/3386901

General Chairs:
Eyal de Lara
University of Toronto
,
Iqbal Mohomed
Samsung AI Centre Toronto
,
Program Chairs:
Jason Nieh
Columbia University
,
Elizabeth M. Belding
UC Santa Barbara

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 June 2020

Check for updates

Author Tags

Qualifiers

Poster

Funding Sources

National Science Foundation

Conference

MobiSys '20

Sponsor:

SIGMOBILE

MobiSys '20: The 18th Annual International Conference on Mobile Systems, Applications, and Services

June 15 - 19, 2020

Ontario, Toronto, Canada

Acceptance Rates

Overall Acceptance Rate 274 of 1,679 submissions, 16%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
176
Total Downloads

Downloads (Last 12 months)19
Downloads (Last 6 weeks)3

Reflects downloads up to 30 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Guo XQi XLi YWu C(2024)PredRacer: Predictively Detecting Data Races in Android Applications2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)10.1109/SANER60148.2024.00031(239-249)Online publication date: 12-Mar-2024
https://doi.org/10.1109/SANER60148.2024.00031
Pai RUppar AShenoy AKushwaha PD'Souza DRoychoudhury ACadar CKim M(2022)Static executes-before analysis for event driven programsProceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3540250.3549116(233-244)Online publication date: 7-Nov-2022
https://dl.acm.org/doi/10.1145/3540250.3549116
Hirsch THofer B(2022)A systematic literature review on benchmarks for evaluating debugging approachesJournal of Systems and Software10.1016/j.jss.2022.111423192:COnline publication date: 1-Oct-2022
https://dl.acm.org/doi/10.1016/j.jss.2022.111423

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

EPUB

View this article in ePub.

ePub

Abstract

References

Cited By

Index Terms

Recommendations

Benchmark Dalvik and Native Code for Android System

Inter-app communication between Android apps developed in app-inventor and Android studio

Analyzing GUI running fluency for Android apps

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Funding Sources

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

EPUB

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations