State-Taint Analysis for Detecting Resource Bugs. - Zhiwu Xu 001; Dongxiao Fan; Shengchao Qin (TASE, 2016)