TaintMan: An ART-Compatible Dynamic Taint Analysis Framework on Unmodified and Non-Rooted Android Devices | IEEE Journals & Magazine | IEEE Xplore