StaDART: Addressing the problem of dynamic code updates in the security analysis of android applications