A taint analysis framework applied to android applications in the packed state | IEEE Journals & Magazine | IEEE Xplore