Byteman注入java.sql.Statement.executeQuery规则失败如何解决？

问题原因 #

该空指针是Byteman 4.0.16版本的已知缺陷，该版本的控制流图（CFG）解析模块在处理包含复杂分支结构的方法字节码时（比如MySQL JDBC驱动中StatementImpl类的executeQuery方法），会在计算代码块包含关系时触发空指针。executeUpdate方法的字节码分支结构更简单，所以可以注入成功。

解决方案 #

升级Byteman版本是最彻底的解决方案，优先推荐

• 方案1：升级Byteman版本
  将你当前使用的4.0.16版本升级到4.0.20及以上的稳定版，这类CFG解析的空指针问题已经在后续版本中修复。升级后同步修改jvmArgs配置里的byteman jar包路径即可。
• 方案2：修改规则匹配逻辑，指定具体实现类
  如果暂时无法升级Byteman版本，可以把原规则中匹配接口的写法替换为直接匹配MySQL驱动的具体实现类，避免Byteman遍历继承树时触发解析bug，修改后的规则参考如下：

RULE trace java.sql.Statement.executeQuery enter
CLASS com.mysql.jdbc.StatementImpl
METHOD executeQuery(String)
AT ENTRY
IF TRUE
DO traceln("enter executeQuery...")
ENDRULE

# 额外补充匹配PreparedStatement的规则，避免漏注入
RULE trace java.sql.PreparedStatement.executeQuery enter
CLASS com.mysql.jdbc.PreparedStatement
METHOD executeQuery()
AT ENTRY
IF TRUE
DO traceln("enter preparedStatement executeQuery...")
ENDRULE

RULE trace java.sql.Statement.executeUpdate enter
CLASS com.mysql.jdbc.StatementImpl
METHOD executeUpdate(String)
AT ENTRY
IF TRUE
DO traceln("entering executeUpdate")
ENDRULE

同时建议去掉原IF条件中的debug()调用，减少规则执行时的额外逻辑开销，降低注入冲突概率。

• 方案3：启动时预加载规则，避免热注入
  不要使用bmsubmit命令在应用启动后动态安装规则，直接把规则路径加到byteman javaagent的启动参数中，让应用启动时就完成规则注入，跳过retransform场景下的CFG解析bug，修改后的jvmArgs参考如下：

<jvmArgs>-javaagent:C:\Users\ln13277429609\.m2\repository\org\jboss\byteman\byteman\4.0.16\byteman-4.0.16.jar=listener:true,boot:C:\Users\ln13277429609\.m2\repository\org\jboss\byteman\byteman\4.0.16\byteman-4.0.16.jar,script:src/main/resources/traceExecuteQuery.btm -Dorg.jboss.byteman.transform.all -Dorg.jboss.byteman.verbose -Dorg.jboss.byteman.debug</jvmArgs>

配置后直接启动应用即可，不需要再手动执行bmsubmit命令加载规则。

内容的提问来源于stack exchange，提问作者dreammaker