From source code to test cases : A comprehensive benchmark for resource leak detection in Android apps
Android apps share resources, such as sensors, cameras, and Global Positioning System, that are subject to specific usage policies whose correct implementation is left to programmers. Failing to satisfy these policies may cause resource leaks, that is, apps may acquire but never release resources. This might have different kinds of consequences, such as apps that are unable to use resources or resources that are unnecessarily active wasting battery. Researchers have proposed several techniques to detect and fix resource leaks. However, the unavailability of public benchmarks of faulty apps makes comparison between techniques difficult, if not impossible, and forces researchers to build their own data set to verify the effectiveness of their techniques (thus, making their work burdensome). The aim of our work is to define a public benchmark of Android apps affected by resource leaks. The resulting benchmark, called AppLeak, is publicly available on GitLab and includes faulty apps, versions with bug fixes (when available), test cases to automatically reproduce the leaks, and additional information that may help researchers in their tasks. Overall, the benchmark includes a body of 40 faults that can be exploited to evaluate and compare both static and dynamic analysis techniques for resource leak detection.
| Medienart: |
E-Artikel |
|---|
| Erscheinungsjahr: |
2019 |
|---|---|
| Erschienen: |
2019 |
| Enthalten in: |
Zur Gesamtaufnahme - volume:49 |
|---|---|
| Enthalten in: |
Software: practice & experience - 49(2019), 3 vom: 15. März, Seite 540-548 |
| Sprache: |
Englisch |
|---|
| Beteiligte Personen: |
Riganelli, Oliviero [VerfasserIn] |
|---|
| Links: |
|---|
| Themen: |
Android app |
|---|
| Anmerkungen: |
Date Revised 11.10.2023 published: Print-Electronic Citation Status PubMed-not-MEDLINE |
|---|
| doi: |
10.1002/spe.2672 |
|---|
| funding: |
|
|---|---|
| Förderinstitution / Projekttitel: |
|
| PPN (Katalog-ID): |
NLM296276847 |
|---|
| LEADER | 01000naa a22002652 4500 | ||
|---|---|---|---|
| 001 | NLM296276847 | ||
| 003 | DE-627 | ||
| 005 | 20231225085504.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 231225s2019 xx |||||o 00| ||eng c | ||
| 024 | 7 | |a 10.1002/spe.2672 |2 doi | |
| 028 | 5 | 2 | |a pubmed24n0987.xml |
| 035 | |a (DE-627)NLM296276847 | ||
| 035 | |a (NLM)31007293 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 100 | 1 | |a Riganelli, Oliviero |e verfasserin |4 aut | |
| 245 | 1 | 0 | |a From source code to test cases |b A comprehensive benchmark for resource leak detection in Android apps |
| 264 | 1 | |c 2019 | |
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a ƒaComputermedien |b c |2 rdamedia | ||
| 338 | |a ƒa Online-Ressource |b cr |2 rdacarrier | ||
| 500 | |a Date Revised 11.10.2023 | ||
| 500 | |a published: Print-Electronic | ||
| 500 | |a Citation Status PubMed-not-MEDLINE | ||
| 520 | |a Android apps share resources, such as sensors, cameras, and Global Positioning System, that are subject to specific usage policies whose correct implementation is left to programmers. Failing to satisfy these policies may cause resource leaks, that is, apps may acquire but never release resources. This might have different kinds of consequences, such as apps that are unable to use resources or resources that are unnecessarily active wasting battery. Researchers have proposed several techniques to detect and fix resource leaks. However, the unavailability of public benchmarks of faulty apps makes comparison between techniques difficult, if not impossible, and forces researchers to build their own data set to verify the effectiveness of their techniques (thus, making their work burdensome). The aim of our work is to define a public benchmark of Android apps affected by resource leaks. The resulting benchmark, called AppLeak, is publicly available on GitLab and includes faulty apps, versions with bug fixes (when available), test cases to automatically reproduce the leaks, and additional information that may help researchers in their tasks. Overall, the benchmark includes a body of 40 faults that can be exploited to evaluate and compare both static and dynamic analysis techniques for resource leak detection | ||
| 650 | 4 | |a Journal Article | |
| 650 | 4 | |a Android app | |
| 650 | 4 | |a benchmark | |
| 650 | 4 | |a bug detection | |
| 650 | 4 | |a resource leak | |
| 700 | 1 | |a Micucci, Daniela |e verfasserin |4 aut | |
| 700 | 1 | |a Mariani, Leonardo |e verfasserin |4 aut | |
| 773 | 0 | 8 | |i Enthalten in |t Software: practice & experience |d 1998 |g 49(2019), 3 vom: 15. März, Seite 540-548 |w (DE-627)NLM098130218 |x 0038-0644 |7 nnns |
| 773 | 1 | 8 | |g volume:49 |g year:2019 |g number:3 |g day:15 |g month:03 |g pages:540-548 |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1002/spe.2672 |3 Volltext |
| 912 | |a GBV_USEFLAG_A | ||
| 912 | |a GBV_NLM | ||
| 951 | |a AR | ||
| 952 | |d 49 |j 2019 |e 3 |b 15 |c 03 |h 540-548 | ||