@Override
  public BasicValue binaryOperation(AbstractInsnNode insn, BasicValue value1, BasicValue value2) throws AnalyzerException {
    switch (insn.getOpcode()) {
      case IALOAD, LALOAD, FALOAD, DALOAD, AALOAD, BALOAD, CALOAD, SALOAD, PUTFIELD -> {
        if (nullAnalysis && value1 instanceof ParamValue) {
          deReferenced = true;
        }
      }
      default -> {
      }
    }
    return super.binaryOperation(insn, value1, value2);
  }
@Override
  public BasicValue binaryOperation(AbstractInsnNode insn, BasicValue value1, BasicValue value2)