R3944Realms/ModernFix
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix missed detection of certain cap equality checks

Browse Source
This commit is contained in:
embeddedt 2026-02-27 20:35:58 -05:00
parent e63d99763e
commit 696b344ef5
No known key found for this signature in database
GPG Key ID: A69433EC199B5613
1 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/main/java/org/embeddedt/modernfix/forge/capability/analysis/CapabilityAnalyzer.java
View File

@ -232,6 +232,9 @@ public class CapabilityAnalyzer {
}
}
if (source instanceof MethodInsnNode m) {
return new ReturnClassification.Unknown("unclassified method: " + m.owner + "." + m.name + m.desc);
}
return new ReturnClassification.Unknown("unclassified source: " + source.getClass().getSimpleName()
+ " opcode=" + source.getOpcode());
}
@ -315,6 +318,28 @@ public class CapabilityAnalyzer {
}
}
// Extend guard regions for forward jumps that land beyond the guard target.
// This handles compound conditions like (cap == X && cond) compiled as:
// if_acmpne L_false // guard: [here, L_false)
// evaluate cond
// ifeq L_true // forward jump beyond L_false
// L_false: empty(); areturn
// L_true: cast(); areturn // <-- also guarded by cap == X
int baseSize = regions.size();
for (int r = 0; r < baseSize; r++) {
GuardRegion guard = regions.get(r);
for (int j = guard.guardIndex + 1; j < guard.targetIndex; j++) {
AbstractInsnNode inner = instructions.get(j);
if (inner instanceof JumpInsnNode jump) {
int jumpTarget = instructions.indexOf(jump.label);
if (jumpTarget >= guard.targetIndex) {
int endIndex = findGuardedRegionEnd(instructions, jumpTarget);
regions.add(new GuardRegion(guard.capabilityRef, jumpTarget, endIndex));
}
}
}
}
return regions;
}