通过分析字节码，我如何从catch块中检测显式的throw语句调用？

Question

try 
{
    def();
}
catch (IOException e)
{
    throw e;
}
catch (Exception e)
{
    throw new RuntimeException(e);
}

现在我必须使用一个直接处理字节码的框架（BAT-Bytecode Analysis Toolkit）。

首先，catch块在字节码中是如何表示的？如何检测其中的抛出语句？

Answer 1

每个方法都有一个异常表，该表将指令和异常类型的范围映射到异常处理程序（它的入口点）。这并不总是很容易翻译回Java代码。但通常，您需要检查这个表，然后分析从这些入口点可到达的代码。所有这些代码都属于catch子句。那么这只是识别athrow指令的问题。

使用javap或其他好的字节码可视化工具进行操作并更好地理解它。完成代码、编译代码并使其服从javap将产生：

public class Test extends java.lang.Object{
public Test();
  Code:
   0:   aload_0
   1:   invokespecial   #1; //Method java/lang/Object."<init>":()V
   4:   return

public static void def()   throws java.io.IOException;
  Code:
   0:   new     #2; //class java/io/IOException
   3:   dup
   4:   invokespecial   #3; //Method java/io/IOException."<init>":()V
   7:   athrow

public static void main(java.lang.String[])   throws java.io.IOException;
  Code:
   0:   invokestatic    #4; //Method def:()V
   3:   goto    19
   6:   astore_1
   7:   aload_1
   8:   athrow
   9:   astore_1
   10:  new     #6; //class java/lang/RuntimeException
   13:  dup
   14:  aload_1
   15:  invokespecial   #7; //Method java/lang/RuntimeException."<init>":(Ljava/lang/Throwable;)V
   18:  athrow
   19:  return
  Exception table:
   from   to  target type
     0     3     6   Class java/io/IOException

     0     3     9   Class java/lang/Exception


}

对于main方法，我们有两个异常入口点（“targets”）：6和9。在6之后，我们在偏移量8处有一个athrow。在入口点9之后，我们在偏移量18处有一个athrow。就是这样！