ParamsValue (AbstractInsnNode insn, List<? extends ParamsValue> values) { switch (insn.getOpcode()) { case INVOKESTATIC, INVOKESPECIAL, INVOKEVIRTUAL, INVOKEINTERFACE -> { for (ParamsValue value : values) { boolean[] params = value.params; for (int i = 0; i < arity; i++) { leaking[i] |= params[i]; } } } default -> { } } return super.naryOperation(insn, values); }