When program analysis meets mobile security: an industrial study of misusing Android internet sockets. - Wenqi Bu; Minhui Xue 001; Lihua Xu; Yajin Zhou; Zhushou Tang; Tao Xie 001 (ESEC/SIGSOFT FSE, 2017)