char * dhcp6msgstr(int param_1)

{
  char *pcVar1;
  
  if (param_1 < 0x100) {
    switch(param_1) {
    default:
      snprintf(&DAT_0043ec20,8,"msg%d",param_1)   //possible issue identified - semgrep
      pcVar1 = &DAT_0043ec20;
      break;
    case 1:
      pcVar1 = "solicit";
      break;
    case 2:
      pcVar1 = "advertise";
      break;
    case 3:
      pcVar1 = "request";
      break;
    case 4:
      pcVar1 = "confirm";
      break;
    case 5:
      pcVar1 = "renew";
      break;
    case 6:
      pcVar1 = "rebind";
      break;
    case 7:
      pcVar1 = "reply";
      break;
    case 8:
      pcVar1 = "release";
      break;
    case 9:
      pcVar1 = "decline";
      break;
    case 10:
      pcVar1 = "reconfigure";
      break;
    case 0xb:
      pcVar1 = "information request";
      break;
    case 0xc:
      pcVar1 = "relay-forward";
      break;
    case 0xd:
      pcVar1 = "relay-reply";
    }
  }
  else {
    pcVar1 = "INVALID msg";
  }
  return pcVar1;
}