.png){kind=icon}
Return
State-Taint Analysis for Detecting Resource Bugs
.png){kind=icon}
PRE
AI
DOI：10.1109/TASE.2016.17.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
To verify whether a program uses resources in a valid manner is vital for program correctness. A number of solutions have been proposed to ensure such a property for resource usage. But most of them are sophisticated to use for resource bugs detection in practice and do not concern about the issue that an opened resource should be used. This open-but-not-used problem can cause resource starvation in some case as well. In particular, resources of smartphones are not only scarce but also energy-hungry. The misuse of resources could not only cause the system to run out of resources but also lead to a shorter battery life. That is the so-call energy leak problem. Aiming to provide a lightweight method and to detect as many resource bugs as possible, we propose a statetaint analysis in this paper. First, take the open-but-not-used problem into account, we specify the appropriate usage of resources as resource protocols. Then we propose a taint-like analysis which takes resource protocols as a guide to detect resource bugs. As an application, we enrich the resource usage protocols by taking into account energy leaks and use the refined protocols to guide the analysis for energy leak detection. We implement the analysis as a prototype tool called statedroid. Using this tool, we conduct experiments on several real Android applications and find several energy leaks.
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
I
IF:
0
Papers:
2
Citations:
0
Organization
Cited Papers
ShareSavePreparation, Characterization and Lithium Storage Performance of Agglomerated ZnMn2O4 Nanoparticles
PREAI
ShareSaveHigh-resolution solid state 13C n.m.r. study of the interpolymer interaction, morphology and chain dynamics of the poly(acrylic acid)/poly(ethylene oxide) complex.png)
Polymer
PolymerIF0
PREAI
ShareSaveShareSaveMetal contaminations in sediment and associated ecological risk assessment of river Mahanadi, India
PREAI
ShareSaveShareSaveShareSave
View more