private String getSimpleName(String path) {
      int index = path.lastIndexOf('/');
      if (index >= 0) {
        return path.substring(index + 1);
      } else {
        return path;
      }
    }
A best effort conservative filter for when file path can <b>not</b> be trusted.
android/android_framework/dex-maker/src/main/java/com/android/dx/command/dexer/Main.java