Есть ли декомпилятор Java (будь то автономный или плагин Eclipse), который может декомпилировать код, созданный AspectJ?

Я просмотрел различные связанные вопросы в Интернете (например, http://www.java-decompiler.com / ) и SO , в частности. Пока мне удалось найти только два декомпилятора Java - JD-GUI и DJ Java Decompiler , которые утверждают, что они самые современные.

Все остальные либо недоступны для загрузки, либо больше не выпускаются.

Итак, я взял файл .class, содержащий Weaven-код AspectJ, и декомпилировал его, используя оба доступных декомпилятора. Посмотрите на результаты:

  1. JD-GUI:

    enter image description here

  2. DJ Java Decompiler:

    enter image description here

Как видите, оба инструмента не могут декомпилировать переплетение кода Java с AspectJ.

Я не слишком разборчив, я просто привык к .NET Reflector и ищу такое же качество в декомпиляторе Java, будь то автономный или плагин Eclipse, бесплатный или коммерческий.

Я ищу действительно работающий и удобный в использовании.

Править

Общий смысл ответов на мой вопрос примерно такой: «Что вы хотите? Хотя AspectJ создает действительный байт-код JVM, этот байт-код не может быть преобразован в действительный Java-код». Все, что я могу сказать, это то, что я не разделяю эту точку зрения.

Позвольте мне представить вам еще немного контекста, и я надеюсь, вы согласитесь, что инструменты могут и должны работать лучше.

Декомпилированный класс Java был создан с использованием следующего аспекта:

public abstract aspect LoggingAspect {
  declare parents: (@LogMe *) implements ILoggable;

  public Logger ILoggable.getLogger() {
    LoggerHolderAspect holder = LoggerHolderAspect.aspectOf(this.getClass());
    return holder.getLogger();
  }

  abstract pointcut loggedMethods();

  before(ILoggable o): loggedMethods() && this(o) {
    logBefore(o.getLogger(), thisJoinPoint);
  }

  after(ILoggable o) returning (Object result): loggedMethods() && this(o) {
    logAfterReturning(o.getLogger(), thisJoinPoint, result);
  }

  after(ILoggable o) throwing (Exception e): loggedMethods() && this(o) {
    logAfterThrowing(o.getLogger(), thisJoinPoint, e);
  }

  protected void logBefore(Logger l, JoinPoint jp) { ... }
  protected void logAfterReturning(Logger l, JoinPoint jp, Object result) { ... }
  protected void logAfterThrowing(Logger l, JoinPoint jp, Exception e) { ... }
}

Итак, класс, который создается, выглядит следующим образом:

@Path("user")
public class UserHandler {
  ...    

  @GET
  @Path("{id}")
  @Produces({ "application/json", "application/xml" })
  public User getUser(@PathParam("id") int id) { ... }

  @DELETE
  @Path("{id}")
  public void deleteUser(@PathParam("id") int id) { ... }

  @PUT
  @Path("{id}")
  public void putUser(@PathParam("id") int id, User entity) { ... }

  @POST
  @Produces({ "application/json", "application/xml" })
  public Response postUser(User entity) { ... }
}

Теперь JD-GUI просто не может правильно декомпилировать каждый инструментальный метод. Полученный результат выглядит как плохо выполненное слияние SVN. Вот ссылка на полный файл для любопытных - http://pastebin.com/raw.php?i=WEmMNCPS

Результат работы DJ Java Decompiler немного лучше. Похоже, у DJ есть проблема с непустыми методами. В самом деле, посмотрите, как он декомпилирует метод void:

@DELETE
@Path(value="{id}")
public void deleteUser(@PathParam(value="id") int id)
{
    int i = id;
    org.aspectj.lang.JoinPoint joinpoint = Factory.makeJP(ajc$tjp_1, this, this, Conversions.intObject(i));
    try
    {
        ResourceHandlerLoggingAspect.aspectOf().ajc$before$com_shunra_poc_logging_LoggingAspect$1$51e061ae(this, joinpoint);
        if(!securityContext.isUserInRole(Enroler.ADMINISTRATOR.getName()))
        {
            throw new WebApplicationException(javax.ws.rs.core.Response.Status.UNAUTHORIZED);
        } else
        {
            m_userService.delete(id);
            Object obj = null;
            ResourceHandlerLoggingAspect.aspectOf().ajc$afterReturning$com_shunra_poc_logging_LoggingAspect$2$51e061ae(this, obj, joinpoint);
            return;
        }
    }
    catch(Exception exception)
    {
        ResourceHandlerLoggingAspect.aspectOf().ajc$afterThrowing$com_shunra_poc_logging_LoggingAspect$3$51e061ae(this, exception, joinpoint);
        throw exception;
    }
}

Это нормально, но если метод что-то возвращает, то DJ терпит неудачу, например:

@POST
@Produces(value={"application/json", "application/xml"})
public Response postUser(User entity)
{
    org.aspectj.lang.JoinPoint joinpoint;
    User user = entity;
    joinpoint = Factory.makeJP(ajc$tjp_3, this, this, user);
    ResourceHandlerLoggingAspect.aspectOf().ajc$before$com_shunra_poc_logging_LoggingAspect$1$51e061ae(this, joinpoint);
    entity.Id = 0;
    m_userService.post(entity);
    Response response;
    Response response1 = response = Response.created(postedUserLocation(entity.Id)).entity(new EntityPostResult(entity.Id)).build();
    ResourceHandlerLoggingAspect.aspectOf().ajc$afterReturning$com_shunra_poc_logging_LoggingAspect$2$51e061ae(this, response1, joinpoint);
    return response;
    Exception exception;
    exception;
    ResourceHandlerLoggingAspect.aspectOf().ajc$afterThrowing$com_shunra_poc_logging_LoggingAspect$3$51e061ae(this, exception, joinpoint);
    throw exception;
}

И снова, вот полный вывод для любопытных - http: //pastebin.com/raw.php?i=Qnwjm16y

Что именно делает AspectJ, с чем не могут справиться эти декомпиляторы? Все, что мне нужно, - это декомпилятор Java, который соответствует стандарту.NET Reflector, в котором нет абсолютно никаких проблем с декомпиляцией инструментированного кода C #, за исключением действительно особых случаев, и нас там нет.

Редактировать 2

Следуя предложению Энди Клемента , я создал небольшое приложение, чтобы проверить, как AspectJ обрабатывает код, сравнить его с ручным управлением и посмотреть, как JD-GUI и DJ декомпилируют его. . Ниже приведены мои выводы:

Исходный код Java:

public class Program {
  private static boolean doThrow;

  public static void main(String[] args) {
    run();
    doThrow = true;
    run();
  }

  private static void run() {
    System.out.println("===============================================");
    System.out.println("doThrow = " + doThrow);
    System.out.println("===============================================");
    System.out.println("autoInstrumented:");
    try {
      System.out.println(autoInstrumented());
    } catch (Exception e) {
      System.out.println(e.getMessage());
    }
    System.out.println("===============================================");
    System.out.println("manuallyInstrumented:");
    try {
      System.out.println(manuallyInstrumented());
    } catch (Exception e) {
      System.out.println(e.getMessage());
    }
    System.out.println("===============================================");
  }

  public static void before() {
    System.out.println("before(f)");
  }

  public static void afterReturning(int x) {
    System.out.println("afterReturning(f) = " + x);
  }

  public static void afterThrowing(Exception e) {
    System.out.println("afterThrowing(f) = " + e.getMessage());
  }

  public static int f() throws Exception {
    if (doThrow) {
      throw new Exception("*** EXCEPTION !!! ***");
    }
    return 10;
  }

  public static int autoInstrumented() throws Exception {
    return f();
  }

  public static int manuallyInstrumented() throws Exception {
    before();
    try {
      int result = f();
      afterReturning(result);
      return result;
    } catch (Exception e) {
      afterThrowing(e);
      throw e;
    }
  }
}

Код аспекта:

public aspect Weave {
  pointcut autoInstrumented() : execution(int Program.autoInstrumented());

  before() : autoInstrumented() {
    Program.before();
  }

  after() returning (int result) : autoInstrumented() {
    Program.afterReturning(result);
  }

  after() throwing (Exception e) : autoInstrumented() {
    Program.afterThrowing(e);
  }
}

Вывод, произведенный DJ:

public static int autoInstrumented()
    throws Exception
{
    Weave.aspectOf().ajc$before$Weave$1$be1609d6();
    int i;
    int j = i = f();
    Weave.aspectOf().ajc$afterReturning$Weave$2$be1609d6(j);
    return i;
    Exception exception;
    exception;
    Weave.aspectOf().ajc$afterThrowing$Weave$3$be1609d6(exception);
    throw exception;
}

Если не брать в расчет имена методов, созданных AspectJ, полученный код Java выглядит следующим образом: и неверно, и недействительно. Это неправильно, потому что нет оператора try-catch. Это недопустимо, поскольку исключение ; не является допустимым оператором Java.

Затем идет JD-GUI:

public static int autoInstrumented() throws Exception {
  try {
    Weave.aspectOf().ajc$before$Weave$1$be1609d6();
    int i;
    int j = i = f(); Weave.aspectOf().ajc$afterReturning$Weave$2$be1609d6(j); return i; } catch (Exception localException) { Weave.aspectOf().ajc$afterThrowing$Weave$3$be1609d6(localException); } throw localException;
}

Я должен вернуть свои слова о JD-GUI, производящем поврежденный вывод. Так получилось, что код более или менее правильный, но весь хвост метода выводится в одной строке! При просмотре внутри графического интерфейса кажется, что метод усечен. Только после копирования кода, вставки в Eclipse и переформатирования можно увидеть, что это почти нормально:

public static int autoInstrumented() throws Exception {
  try {
    Weave.aspectOf().ajc$before$Weave$1$be1609d6();
    int i;
    int j = i = f();
    Weave.aspectOf().ajc$afterReturning$Weave$2$be1609d6(j);
    return i;
  } catch (Exception localException) {
    Weave.aspectOf().ajc$afterThrowing$Weave$3$be1609d6(localException);
  }
  throw localException;
}

Почти, потому что почему оператор throw localException; оказывается вне блока catch?

Теперь что касается фактического байтового кода JVM.Я использовал расширение ByteCode Outline Eclipse, вот результаты:

Инструментированный вручную метод ManualInstrumented :

public static manuallyInstrumented()I throws java/lang/Exception 
ATTRIBUTE org.aspectj.weaver.MethodDeclarationLineNumber : unknown
  TRYCATCHBLOCK L0 L1 L2 java/lang/Exception
 L3
  INVOKESTATIC Program.before()V
 L0
  INVOKESTATIC Program.f()I
  ISTORE 0
 L4
  ILOAD 0
  INVOKESTATIC Program.afterReturning(I)V
 L5
  ILOAD 0
 L1
  IRETURN
 L2
 FRAME SAME1 java/lang/Exception
  ASTORE 0
 L6
  ALOAD 0
  INVOKESTATIC Program.afterThrowing(Ljava/lang/Exception;)V
 L7
  ALOAD 0
  ATHROW
 L8
  LOCALVARIABLE result I L4 L2 0
  LOCALVARIABLE e Ljava/lang/Exception; L6 L8 0
  MAXSTACK = 1
  MAXLOCALS = 1

Автоматически инструментированный метод autoInstrumented :

public static autoInstrumented()I throws java/lang/Exception 
ATTRIBUTE org.aspectj.weaver.MethodDeclarationLineNumber : unknown
  TRYCATCHBLOCK L0 L1 L1 java/lang/Exception
 L0
  INVOKESTATIC Weave.aspectOf()LWeave;
  INVOKEVIRTUAL Weave.ajc$before$Weave$1$be1609d6()V
  INVOKESTATIC Program.f()I
  DUP
  ISTORE 0
  DUP
  ISTORE 1
  INVOKESTATIC Weave.aspectOf()LWeave;
  ILOAD 1
  INVOKEVIRTUAL Weave.ajc$afterReturning$Weave$2$be1609d6(I)V
  ILOAD 0
  IRETURN
 L1
  ASTORE 2
  INVOKESTATIC Weave.aspectOf()LWeave;
  ALOAD 2
  INVOKEVIRTUAL Weave.ajc$afterThrowing$Weave$3$be1609d6(Ljava/lang/Exception;)V
  ALOAD 2
  ATHROW
  MAXSTACK = 3
  MAXLOCALS = 3

Я не гуру JVM (мягко говоря), поэтому я не могу сказать, является ли байт-код JVM autoInstrumented «плохим». Можете ли вы?

Резюме :

  • DJ не годится
  • JD-GUI почти готов, но все еще создает плохую Java, а удобство использования ужасное - нужно скопировать, вставить и переформатировать в Eclipse, чтобы понять, что происходит.

Итог

Нет любви.

11
задан halfer 24 February 2019 в 20:03
поделиться