如何获得周围java.lang.verrifyError

Question

我想用检测代码生成一个随机数。为此我添加了以下表达式来生成一个随机数。但它正在抛出一个验证错误，如下所示。

method.addLocalVariable("instMethod_correlationId", CtClass.longType); 
beforeBuilder.append("instMethod_correlationId = Long.valueOf(String.valueOf(System.nanoTime()) + String.valueOf(Math.round(Math.random())));"); 

我已经添加了一个长变量并分配上面生成的值。但我在运行时遇到下面的异常。但是如果我在一个正常的项目中运行相同的数字生成，它不会抛出任何异常。

java.lang.VerifyError: Bad type on operand stack 
Exception Details: 
    Location: 
    org/h2/jdbc/JdbcConnection.prepareStatement(Ljava/lang/String;)Ljava/sql/PreparedStatement; @38: i2l 
    Reason: 
    Type 'java/lang/Long' (current frame, stack[0]) is not assignable to integer 
    Current Frame: 
    bci: @38 
    flags: { } 
    locals: { 'org/h2/jdbc/JdbcConnection', 'java/lang/String', top, long, long_2nd } 
    stack: { 'java/lang/Long' } 
    Bytecode: 
    0000000: b803 6c42 bb03 6e59 b703 6fb8 036c b803 
    0000010: 73b6 0376 b803 7cb8 0380 b803 73b6 0376 
    0000020: b603 81b8 0386 8537 05b8 038b b803 8e16 
    0000030: 0513 0390 b603 94bb 0396 59b7 0397 3a07 
    0000040: 1907 1303 992b b903 9d03 0057 b803 8bb8 
    0000050: 038e 1605 1303 9f19 07b6 03a2 2a06 b600 
    0000060: 113d 2ab6 002a 9900 272a 1237 061c bb00 
    0000070: 1659 b700 1712 38b6 0019 2a2b b600 1db6 
    0000080: 0019 1234 b600 19b6 0020 b600 2d2a b600 
    0000090: 2e2a 2bb7 0039 4cbb 003a 592a 2b1c 1103 
    00000a0: ebb2 0030 03b7 003b a700 0a4d 2a2c b600 
    00000b0: 28bf 3a09 bb03 9659 b703 973a 0a19 0a13 
    00000c0: 03a4 1303 a6b9 039d 0300 57b8 038b b803 
    00000d0: 8e16 05bb 036e 59b7 036f 1303 a8b6 0376 
    00000e0: b803 6c21 65b8 0373 b603 76b6 0381 190a 
    00000f0: b603 a219 09b0       
    Exception Handler Table: 
    bci [55, 168] => handler: 171 
    Stackmap Table: 
    full_frame(@141,{Object[#320],Object[#331],Integer,Long,Long,Object[#918]},{}) 
    full_frame(@171,{Object[#320],Object[#331],Top,Long,Long},{Object[#322]}) 
    full_frame(@178,{Object[#320],Object[#331],Integer,Long,Long,Object[#918]},{Object[#58]}) 

    at org.h2.Driver.connect(Driver.java:73) 
    at org.apache.tomcat.jdbc.pool.PooledConnection.connectUsingDriver(PooledConnection.java:278) 
    at org.apache.tomcat.jdbc.pool.PooledConnection.connect(PooledConnection.java:182) 
    at org.apache.tomcat.jdbc.pool.ConnectionPool.createConnection(ConnectionPool.java:701) 
    at org.apache.tomcat.jdbc.pool.ConnectionPool.borrowConnection(ConnectionPool.java:635) 
    at org.apache.tomcat.jdbc.pool.ConnectionPool.getConnection(ConnectionPool.java:188) 
    at org.apache.tomcat.jdbc.pool.DataSourceProxy.getConnection(DataSourceProxy.java:128) 
    at org.wso2.carbon.user.core.claim.dao.ClaimDAO.getDialectCount(ClaimDAO.java:158) 
    at org.wso2.carbon.user.core.common.DefaultRealm.populateProfileAndClaimMaps(DefaultRealm.java:429) 
    at org.wso2.carbon.user.core.common.DefaultRealm.init(DefaultRealm.java:105) 
    at org.wso2.carbon.user.core.common.DefaultRealmService.initializeRealm(DefaultRealmService.java:262) 
    at org.user.core.common.DefaultRealmService.<init>(DefaultRealmService.java:99) 
    at org.user.core.common.DefaultRealmService.<init>(DefaultRealmService.java:112) 
    at org.user.core.internal.Activator.startDeploy(Activator.java:68) 
    at org.user.core.internal.BundleCheckActivator.start(BundleCheckActivator.java:61) 
    at org.eclipse.osgi.framework.internal.core.BundleContextImpl$1.run(BundleContextImpl.java:711) 
    at java.security.AccessController.doPrivileged(Native Method) 
    at org.eclipse.osgi.framework.internal.core.BundleContextImpl.startActivator(BundleContextImpl.java:702) 
    at org.eclipse.osgi.framework.internal.core.BundleContextImpl.start(BundleContextImpl.java:683) 
    at org.eclipse.osgi.framework.internal.core.BundleHost.startWorker(BundleHost.java:381) 
    at org.eclipse.osgi.framework.internal.core.AbstractBundle.resume(AbstractBundle.java:390) 
    at org.eclipse.osgi.framework.internal.core.Framework.resumeBundle(Framework.java:1176) 
    at org.eclipse.osgi.framework.internal.core.StartLevelManager.resumeBundles(StartLevelManager.java:559) 
    at org.eclipse.osgi.framework.internal.core.StartLevelManager.resumeBundles(StartLevelManager.java:544) 
    at org.eclipse.osgi.framework.internal.core.StartLevelManager.incFWSL(StartLevelManager.java:457) 
    at org.eclipse.osgi.framework.internal.core.StartLevelManager.doSetStartLevel(StartLevelManager.java:243) 
    at org.eclipse.osgi.framework.internal.core.StartLevelManager.dispatchEvent(StartLevelManager.java:438) 
    at org.eclipse.osgi.framework.internal.core.StartLevelManager.dispatchEvent(StartLevelManager.java:1) 
    at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230) 
    at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340) 

我该怎么办才能克服这个问题？我在这里做错了什么？

Answer 1

看来您在Javassist的字节码生成器中遇到了一个错误。以下是从VerifyError报告的反汇编代码。需要注意的是由于没有异常消息常量池中，实际目标的方法是从你的源代码猜（但它看起来似是而非）：

0 invokestatic [876] 
    3 lstore_3 
    4 new  [878]   guess: new StringBuilder 
    7 dup 
    8 invokespecial [879] guess: StringBuilder.<init> 
11 invokestatic [876] guess: System.nanoTime() 
14 invokestatic [883] guess: String.valueOf(long) 
17 invokevirtual [886] guess: StringBuilder.append(String) 
20 invokestatic [892] guess: Math.random() 
23 invokestatic [896] guess: Math.round(double) 
26 invokestatic [883] guess: String.valueOf(long) 
29 invokevirtual [886] guess: StringBuilder.append(String) 
32 invokevirtual [897] guess: StringBuilder.toString() 
35 invokestatic [902] guess: Long.valueOf(String) 
38 i2l 
39 lstore <5> 
… rest omitted 

注意，方法调用符合你的源代码片段（是static或虚拟的如预期的那样并且是相同的参考，应该是相同的），而位置38（被验证者拒绝的那个）的指令是虚假的i2l指令（从int到long的转换）。在这个地方，应该发生从Long到long的拆箱转换。由于以下lstore指令会将long值存储到局部变量中，所以似乎Javassist已获得本地变量声明。

请注意，前两个指令表明还有另一个仪器正在发生;因为它调用的方法与位置11（应该是System.nanoTime）中的指令的调用方式相同，所以其他工具似乎用于测量方法的总体执行时间。但是这不应该影响你的检测代码。

您可以联系Javassist的作者，了解Long拆箱是否可行。与此同时，您可以通过使用Long.parseLong而不是Long.valueOf来避免拳击/拆箱。您也可以通过使用String.concat代替+操作的简化从生成代码的角度来看，操作这消除了需要处理StringBuilder内部：

更换

method.addLocalVariable("instMethod_correlationId", CtClass.longType); 
beforeBuilder.append("instMethod_correlationId = Long.valueOf(String.valueOf(System.nanoTime()) + String.valueOf(Math.round(Math.random())));"); 

与

method.addLocalVariable("instMethod_correlationId", CtClass.longType); 
beforeBuilder.append("instMethod_correlationId = Long.parseLong(String.valueOf(System.nanoTime()).concat(String.valueOf(Math.round(Math.random()))));"); 

这应该降低对Javassist编译功能的要求，并解决由原始代码片段触发的错误。