BasicValue (AbstractInsnNode insn, BasicValue value1, BasicValue value2, BasicValue value3) { switch (insn.getOpcode()) { case IASTORE, LASTORE, FASTORE, DASTORE, BASTORE, CASTORE, SASTORE -> { if (value1 instanceof ParamValue) { subResult = NPE; } } case AASTORE -> { if (value1 instanceof ParamValue) { subResult = NPE; } if (nullableAnalysis && value3 instanceof ParamValue) { subResult = NPE; } } default -> { } } return null; }