StaDynA: A tool to address the problem of dynamic code updates in the security analysis of Android applications