• JD-Core (он же JD Project) — не опубликовано ни библиотеки, ни исходников (только плагины для сред разработки и gui). Единственная обертка, которая предоставляет cli, не обновляется и кидается эксепшнами.
• Krakatau — написан на питоне, почти не обновляется, не поддерживает Java 8.
• JAD — безнадежно устарел (не поддерживает даже Java 5).

Есть еще декомпиляторы, работающие только под Windows: Cavaj, DJ Java Decompiler, JBVD, AndroChef. Вероятно, где-то существуют еще какие-то декомпиляторы, но мне о них ничего не известно. И это, вероятно, к лучшему...

java -jar fernflower.jar -dgs=1 -asc=1 -ind="    " <input-jar> <output-dir>
java -jar cfr-0.146.jar <input-jar> --outputpath <output-dir>
java -jar procyon-decompiler-0.5.36.jar -jar <input-jar> -o <output-dir>
./bin/jadx -d <output-dir> <input-jar> --show-bad-code

Явный unboxing

VarVersionPair.java

VarVersionsProcessor.java

public class VarVersionPair {   
    public final int var;
    public final int version;

    public VarVersionPair(int var, int version) {
        this.var = var;
        this.version = version;
    }

    public VarVersionPair(Integer var, Integer version) {
        this.var = var;
        this.version = version;
    }
}

////////////////// 

new VarVersionPair(ent.getKey().var /* int */, version.intValue() /* int */);

Fernflower

Неоднозначность при вызове конструктора.

public class VarVersionPair {
    public final int var;
    public final int version;

    public VarVersionPair(int var, int version) {
        this.var = var;
        this.version = version;
    }

    public VarVersionPair(Integer var, Integer version) {
        this.var = var;
        this.version = version;
    }
}

////////////////////////

new VarVersionPair(((VarVersionPair)ent.getKey()).var/* int */, version/* Integer */);

Procyon

public class VarVersionPair {
    public final int var;
    public final int version;

    public VarVersionPair(final int var, final int version) {
        this.var = var;
        this.version = version;
    }

    public VarVersionPair(final Integer var, final Integer version) {
        this.var = var;
        this.version = version;
    }
}

////////////////////////

new VarVersionPair(ent.getKey().var /* int */, (int)version /* int */);

CFR

public class VarVersionPair {
    public final int var;
    public final int version;

    public VarVersionPair(int var, int version) {
        this.var = var;
        this.version = version;
    }

    public VarVersionPair(Integer var, Integer version) {
        this.var = var;
        this.version = version;
    }
}

////////////////////////

new VarVersionPair(ent.getKey().var /* int */, (int)version /* int */);

dx + jadx

Работает корректно, но есть лишние приведения типов.

public class VarVersionPair {
    public final int var;
    public final int version;

    public VarVersionPair(int var, int version) {
        this.var = var2;
        this.version = version2;
    }

    public VarVersionPair(Integer var, Integer version) {
        this.var = var.intValue();
        this.version = version.intValue();
    }
}

////////////////////////

new VarVersionPair(((VarVersionPair) ent.getKey()).var /* int */, ((Integer) it.next()).intValue() /* int */);

Try-with-resources

ConsoleDecompiler.java

try (Writer out = new OutputStreamWriter(...)) {
    <try-body>
}
catch (IOException ex) {
   <catch-body>
}

Fernflower

Очевидно, не поддерживает try-with-resources совсем. Зато можно оценить, насколько сложно переписать его через обычный try-catch. Результат неоднозначный (:

try {
    Writer out = new OutputStreamWriter(...);
    Throwable var8 = null;
    try {
        <try-body>
    } catch (Throwable var18) {
        var8 = var18;
        throw var18;
    } finally {
        if (out != null) {
            if (var8 != null) {
                try {
                    out.close();
                } catch (Throwable var17) {
                    var8.addSuppressed(var17);
                }
            } else {
                out.close();
            }
        }
    }
} catch (IOException var20) {
    <catch-body>
}

CFR

У этого декомпилятора наблюдается регрессия: в версии 0.142 try-with-resources обрабатывался нормально, а в версии 0.146 начал появляться лишний try.

UPD: эта ошибка исправлена в версии 0.147.

try {
    try (OutputStreamWriter out = new OutputStreamWriter(...);){
        out.write(content);
    }
}
catch (IOException ex) {
    <catch-body>
}

Procyon

try (final Writer out = new OutputStreamWriter(...)) {
    out.write(content);
}
catch (IOException ex) {
    <catch-body>
}

dx + jadx (with --show-bad-code option)

jadx не справляется и честно сообщает об этом.

/* JADX WARNING: Code restructure failed: missing block: B:20:0x0048, code lost:
    r3 = move-exception;
 */
/* JADX WARNING: Code restructure failed: missing block: B:21:0x0049, code lost:
    if (r2 != null) goto L_0x004b;
 */
/* JADX WARNING: Code restructure failed: missing block: B:22:0x004b, code lost:
    if (r4 != null) goto L_0x004d;
 */
/* JADX WARNING: Code restructure failed: missing block: B:24:?, code lost:
    r2.close();
 */
/* JADX WARNING: Code restructure failed: missing block: B:26:?, code lost:
    throw r3;
 */
/* JADX WARNING: Code restructure failed: missing block: B:29:0x0056, code lost:
    r2.close();
 */
...
try {
    Writer out = new OutputStreamWriter(new FileOutputStream(file), StandardCharsets.UTF_8);
    Throwable th = null;
    <try-body>
    if (out == null) {
        return;
    }
    if (th != null) {
        try {
            out.close();
        } catch (Throwable th2) {
            th.addSuppressed(th2);
        }
    } else {
        out.close();
    }
} catch (IOException ex) {
    <catch-body>
} catch (Throwable th3) {
    r4.addSuppressed(th3);
}

Лямбды

ClassReference14Processor.java

graph.iterateExprents(exprent -> {
    for (Entry<ClassWrapper, MethodWrapper> ent : mapClassMeths.entrySet()) {
        <body>
    }
    return 0;
});

Fernflower

Лямбда обрабатывается корректно. Проблемы с for-each не связаны с лямбдой и воспроизводятся без нее (см секцию про for-each).

graph.iterateExprents((exprentx) -> {
    Iterator var3 = mapClassMeths.entrySet().iterator();
    while(var3.hasNext()) {
        Entry<ClassWrapper, MethodWrapper> ent = (Entry)var3.next();
        <body>
    }
    return 0;
});

Procyon

for-each внутри лямбды обработан некорректно (при этом с самой конструкцией for-each Procyon обычно нормально справляется). При этом объявления переменных ent и iterator2 оказались вынесенными из лямбды, что привело к ошибке сборки, так как ent не является effectively final переменной.

final Iterator<Map.Entry<ClassWrapper, MethodWrapper>> iterator2;
Map.Entry<ClassWrapper, MethodWrapper> ent;

graph.iterateExprents(exprent -> {
    // it probably tried to initialize iterator here but it failed miserably...
    mapClassMeths.entrySet().iterator();   
        while (iterator2.hasNext()) {
        ent = iterator2.next();
        <body>
    }
    return 0;
});

CFR

graph.iterateExprents(exprent -> {
    for (Map.Entry ent : mapClassMeths.entrySet()) {
        <body>
    }
    return 0;
});

dx + jadx

jadx пока не поддерживает некоторые новые инструкции. На Гитхабе есть соответствуюшая задача.

/*
// Can't load method instructions: Load method exception: Unknown instruction: 'invoke-custom/range' in method: 
    org.jetbrains.java.decompiler.main.ClassReference14Processor.processClassRec(org.jetbrains.java.decompiler.main.ClassesProcessor$ClassNode, java.util.Map, java.util.Set):void, dex: classes.dex
*/
throw new UnsupportedOperationException("Method not decompiled: org.jetbrains.java.decompiler.main.ClassReference14Processor.processClassRec(org.jetbrains.java.decompiler.main.ClassesProcessor$ClassNode, java.util.Map, java.util.Set):void");

Две инициализации в одном for

SwitchInstruction.java

for (int i = 0, k = 0; i < len; i++, k++) {
    if (<condition>) {
        ...
        k++;
    }
    ...
}

Fernflower

Переменная i вынесена во внешний скоуп и вызывает переопределение.

int i = 0;
for(int k = 0; i < len; ++k) {
    if (<condition>) {
        ...
        ++k;
    }
    ...
    ++i;
}

Procyon

for (int i = 0, k = 0; i < len; ++i, ++k) {
    if (<condition>) {
        ...
        ++k;
    }
    ...
}

CFR

Здесь во внешнюю область видимости выносятся уже две переменные (но при этом переопределения не происходит).

int i = 0;
int k = 0;
while (i < len) {
    if (<condition>) {
        ...
        ++k;
    }
    ...
    ++i;
    ++k;
}

dx + jadx

Так же, как и с CFR.

int i = 0;
int k = 0;
while (i < len) {
    if (<condition>) {
        ...
        k++;
    }
    ...
    i++;
    k++;
}

Generics

Пара простых примеров из великого множества ошибок с выведением типа.

ConcatenationHelper.java

List<Exprent> lstOperands = new ArrayList<>();

Fernflower

ArrayList lstOperands = new ArrayList();

Procyon

final List<Exprent> lstOperands = new ArrayList<Exprent>();

CFR

ArrayList<Exprent> lstOperands = new ArrayList<Exprent>();

dx + jadx

List<Exprent> lstOperands = new ArrayList<>();

VarTypeProcessor.java

LinkedList<Statement> stack = new LinkedList<>();
stack.add(root);                // root : RootStatement
stack.addAll(stat.getStats());  // stat.getStats() : Collection<Statements>

Fernflower

unchecked assignment в первой строке.

LinkedList<Statement> stack = new LinkedList();
stack.add(root);
stack.addAll(stat.getStats())

Procyon

Работает, хотя и ценой лишнего и бессмысленного приведения типов.

final LinkedList<Statement> stack = new LinkedList<Statement>();
stack.add(root);
stack.addAll((Collection<? extends Statement>)stat.getStats());

CFR

Последняя строка не компилируется потому, что Statement нельзя добавить в список объектов типа <RootStatement>.

LinkedList<RootStatement> stack = new LinkedList<RootStatement>();
stack.add(root);
stack.addAll(stat.getStats()); 

dx + jadx

LinkedList<Statement> stack = new LinkedList<>();
stack.add(root);
stack.addAll(stat.getStats()); 

Statement.java

protected HashSet<Statement> continueSet = new HashSet<>();
...
continueSet.addAll(st.buildContinueSet());

Fernflower

protected HashSet<Statement> continueSet = new HashSet<>();
...
this.continueSet.addAll(st.buildContinueSet());

Procyon

Ошибка компиляции на последней строке.

protected HashSet<Statement> continueSet;
...
public Statement() {
    this.continueSet = new HashSet<Statement>();
    ...
}
...
this.continueSet.addAll((Collection<?>)st.buildContinueSet());

CFR

protected HashSet<Statement> continueSet = new HashSet<>();;
...
this.continueSet.addAll(st.buildContinueSet());

dx + jadx

protected HashSet<Statement> continueSet;
...
this.continueSet.addAll(st.buildContinueSet());

Статические поля

У jadx регулярно возникают проблемы с доступом к статическим полям. Например, байткод, полученный из таких исходников:

private static Context context;

public static void init(Context context) {
  UpdateManager.context = context;
  ...
}

он превращает в такое:

private static Context context;

public static void init(Context context) {
  context = context;
  ...
}

Лямбды и анонимные классы

На каждую лямбду или анонимный класс jadx генерирует отдельный именованный класс, например, из такой безобидной лямбды:

(item1, item2) -> compareLong(item1.timePlayed, item2.timePlayed)

получается такое:

/* compiled from: lambda */
/* renamed from: de.danoeh.antennapod.core.storage.-$$Lambda$DBReader$J14FiokVfxZ2H5XUZEtHQOEEq_0 */
public final /* synthetic */ class $$Lambda$DBReader$J14FiokVfxZ2H5XUZEtHQOEEq_0 implements Comparator {
  public static final /* synthetic */ 
  $$Lambda$DBReader$J14FiokVfxZ2H5XUZEtHQOEEq_0 INSTANCE 
            = new $$Lambda$DBReader$J14FiokVfxZ2H5XUZEtHQOEEq_0();

  private /* synthetic */ $$Lambda$DBReader$J14FiokVfxZ2H5XUZEtHQOEEq_0() { }

  public final int compare(Object obj, Object obj2) {
    return DBReader.compareLong(((StatisticsItem)obj).timePlayed, 
                                ((StatisticsItem)obj2).timePlayed);
  }
}

Хтонический ужас с добавлениями и удалениями переменных

Иногда количество переменных резко увеличивается после декомпиляции. Было:

public Feed(...) {
    this(id, lastUpdate, title, null, link, 
         description, paymentLink, author, 
         language, type, feedIdentifier, imageUrl,
         fileUrl, downloadUrl, downloaded, 
         new FlattrStatus(), false, null, null, false);
}

Стало:

public Feed(...) {
    long j = id;
    String str = lastUpdate;
    String str2 = title;
    String str3 = link;
    String str4 = description;
    String str5 = paymentLink;
    String str6 = author;
    String str7 = language;
    String str8 = type;
    String str9 = feedIdentifier;
    String str10 = imageUrl;
    String str11 = fileUrl;
    String str12 = downloadUrl;
    boolean z = downloaded;
    FlattrStatus flattrStatus = r5;
    FlattrStatus flattrStatus2 = new FlattrStatus();
    this(j, str, str2, null, str3, 
         str4, str5, str6, 
         str7, str8, str9, str10, 
         str11, str12, z, 
         flattrStatus, false, null, null, false);
}

А иногда, наоборот, jadx решает выкинуть парочку неугодных ему переменных. Были переменные:

URL url = new URI(BASE_SCHEME, BASE_HOST, 
                  String.format("/api/2/tags/%d.json", count), null).toURL();
Request.Builder request = new Request.Builder().url(url);
String response = executeRequest(request);
JSONArray jsonTagList = new JSONArray(response);

и не стало переменных:

JSONArray jsonTagList 
    = new JSONArray(executeRequest(new Builder().url(
        new URI(BASE_SCHEME, 
                this.BASE_HOST,
                String.format("/api/2/tags/%d.json", 
                new Object[]{Integer.valueOf(count)}), null).toURL())));

Очень странный случай

Непонятно как, но jadx из этого:

final String action = intent.getStringExtra(ARG_ACTION);
if (action != null) {
  switch(action) {
    case ACTION_SYNC:
      <code1>
    case ACTION_SYNC_SUBSCRIPTIONS:
      <code2>
    case ACTION_SYNC_ACTIONS:
      <code3>
    default:
      <code4>
  }
}

умудрился получить это:

String action = intent.getStringExtra(ARG_ACTION);
        if (action != null) {
            Object obj = -1;
            int hashCode = action.hashCode();
            if (hashCode != -1744995379) {
                if (hashCode != 29421060) {
                    if (hashCode == 1497029227 && action.equals(ACTION_SYNC_ACTIONS)) {
                        obj = 2;
                    }
                } else if (action.equals(ACTION_SYNC_SUBSCRIPTIONS)) {
                    obj = 1;
                }
            } else if (action.equals(ACTION_SYNC)) {
                obj = null;
            }
  switch (obj) {
    case null:
      <code1>
    case 1:
      <code2>
    case 2:
      <code3>
    default:
      <code4>
  }
}

И еще раз

if(item != null) {
    return item.getId() == id;
}

превращается в...

FeedItem feedItem = this.item;
boolean z = true;
if (feedItem != null) {
    if (feedItem.getId() != id) {
        z = false;
    }
    return z;
}