A tool for reverse engineering Android apk files