ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving
StaDynA: Addressing the Problem of Dynamic Code Updates in the Security Analysis of Android Applications