State-taint analysis for detecting resource bugs
Authors:
- Zhiwu XuZXZhiwu Xu
- Cheng WenCWCheng Wen
- Shengchao QinSQShengchao Qin
- 1 September 2018
- journal article
- research article
- Published by Elsevier in Science of Computer Programming
- Vol. 162, 93-109
Abstract
No abstract availableKeywords
Funding Information
- National Natural Science Foundation of China (61502308, 61373033)
This publication has 5 references indexed in Scilit:
- Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android AppsIEEE Transactions on Software Engineering, 2016
- Modeling, Profiling, and Debugging the Energy Consumption of Mobile DevicesACM Computing Surveys, 2015
- GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone ApplicationsIEEE Transactions on Software Engineering, 2014
- Time regions and effects for resource usage analysisACM SIGPLAN Notices, 2003
- Typestate: A programming language concept for enhancing software reliabilityIEEE Transactions on Software Engineering, 1986