APKTool: A tool for reverse engineering Android APK files