Java字节码下如何从执行轨迹判断条件跳转的true/false分支

针对这个场景，最可靠且观测成本最低的判定方法是基于执行流连续性的匹配校验法，核心逻辑完全依托Java字节码的固定执行规则，不需要反编译源码、不需要额外获取程序运行时的变量值，仅靠已有轨迹记录就能完成判定：
Java字节码的条件跳转指令有固定的执行逻辑：当预设的比较条件成立时，程序会直接跳转至指令指定的目标标签位置开始执行，不会执行跳转指令紧跟的后续顺序指令；当比较条件不成立时，程序会按指令顺序，执行跳转指令的下一条相邻指令。只要比对跳转指令在轨迹中的下一条相邻记录，就能直接确定分支走向。

具体判定步骤 #

• 先拆解每个条件跳转指令的固有语义，明确两个核心信息：一是触发跳转的判断条件是什么，二是跳转指向的目标标签位置在哪里。
• 逐一匹配跳转指令在轨迹中的下一条相邻记录，完成分支判定：
  • 若下一条记录对应跳转目标标签的指令，说明判断条件成立，走了跳转的true分支。
  • 若下一条记录是跳转指令后紧跟的顺序执行指令，说明判断条件不成立，走了顺序执行的false分支。
  • 若跳转指令是当前轨迹片段的最后一条记录，没有后续相邻内容，现有观测信息不足以判定分支走向。

对应当前轨迹片段的逐点判定结果 #

1. 19行的IF_ICMPLE L0
   • 指令语义：比较栈顶两个压入值（0号、1号局部变量），如果0号变量值 <= 1号变量值，就跳转到L0位置；否则顺序执行后续指令。
   • 轨迹匹配结果：该跳转指令的下一条相邻记录是20行的ICONST_1，属于顺序执行的后续指令，全程没有出现L0位置的对应指令，因此判定该判断实际走了不跳转的false分支，真实比较结果为0号局部变量值 > 1号局部变量值。
2. 25行的第一个跳转IF_ICMPNE L2
   • 指令语义：比较栈顶两个压入值（2号局部变量、常量1），如果2号变量值 != 1，就跳转到L2位置；否则顺序执行后续指令。
   • 轨迹匹配结果：该跳转指令的下一条相邻记录是25行的ILOAD 0，后续完整执行了同代码行的BIPUSH 80、第二个条件跳转指令，全程没有出现L2位置的对应指令，因此判定该判断实际走了不跳转的false分支，真实比较结果为2号局部变量值 == 1。
3. 25行的第二个跳转IF_ICMPLE L2
   • 指令语义：比较栈顶两个压入值（0号局部变量、常量80），如果0号变量值 <=80，就跳转到L2位置；否则顺序执行后续指令。
   • 轨迹匹配结果：该跳转指令是当前轨迹片段的最后一条记录，没有后续的相邻观测内容，现有轨迹无法判断该判断实际选取的分支。

内容的提问来源于stack exchange，提问作者middle-mood