StaDynA: Addressing the Problem of Dynamic Code Updates in the Security Analysis of Android Applications