ParamsValue (AbstractInsnNode insn, ParamsValue value) { switch (insn.getOpcode()) { case GETFIELD, ARRAYLENGTH, MONITORENTER, INSTANCEOF, IRETURN, ARETURN, IFNONNULL, IFNULL, IFEQ, IFNE -> { boolean[] params = value.params; for (int i = 0; i < arity; i++) { leaking[i] |= params[i]; } } default -> { } } return super.unaryOperation(insn, value); }