ParamsValue (AbstractInsnNode insn, ParamsValue value1, ParamsValue value2, ParamsValue value3) { boolean[] params; switch (insn.getOpcode()) { case IASTORE, LASTORE, FASTORE, DASTORE, BASTORE, CASTORE, SASTORE -> { params = value1.params; for (int i = 0; i < arity; i++) { leaking[i] |= params[i]; } } case AASTORE -> { params = value1.params; for (int i = 0; i < arity; i++) { leaking[i] |= params[i]; } params = value3.params; for (int i = 0; i < arity; i++) { nullableLeaking[i] |= params[i]; } } default -> {} } return null; }