undefined4

dhcp6_auth_replaycheck

          (int param_1,undefined4 param_2,uint param_3,uint param_4,uint param_5,uint param_6)

{

  uint uVar1;

  undefined4 uVar2;

  uint uVar3;

  uint uVar4;

  uint uVar5;

  uint uVar6;

  char *__s;

  char local_48 [40];

  builtin_strncpy(local_48 + 0x14,"ffff ffff ffff ffff",0x14)   //possible issue identified - semgrep

  builtin_strncpy(local_48,"ffff ffff ffff ffff",0x14)   //possible issue identified - semgrep

  if (param_1 == 0) {

    snprintf(local_48,0x14,"%04x %04x %04x %04x",(param_3 & 0xff) << 8 | (param_3 & 0xffff) >> 8,

             (param_3 >> 0x10 & 0xff) << 8 | param_3 >> 0x18,

             (param_4 & 0xff) << 8 | (param_4 & 0xffff) >> 8,

             (param_4 >> 0x10 & 0xff) << 8 | param_4 >> 0x18)   //possible issue identified - semgrep

    __s = local_48 + 0x14;

    snprintf(__s,0x14,"%04x %04x %04x %04x",(param_5 & 0xff) << 8 | (param_5 & 0xffff) >> 8,

             (param_5 >> 0x10 & 0xff) << 8 | param_5 >> 0x18,

             (param_6 & 0xff) << 8 | (param_6 & 0xffff) >> 8,

             (param_6 >> 0x10 & 0xff) << 8 | param_6 >> 0x18)   //possible issue identified - semgrep

    dprintf(7,"dhcp6_auth_replaycheck","previous: %s, current: %s",local_48,__s);

    uVar5 = (param_6 & 0xff00) << 8;

    uVar6 = param_5 << 0x18 | param_5 >> 0x18 | (param_5 & 0xff0000) >> 8 | (param_5 & 0xff00) << 8;

    uVar4 = param_4 << 0x18 | param_4 >> 0x18 | (param_4 & 0xff0000) >> 8 | (param_4 & 0xff00) << 8;

    uVar3 = param_6 << 0x18 | param_6 >> 0x18 | (param_6 & 0xff0000) >> 8 | uVar5;

    uVar1 = param_3 << 0x18 | param_3 >> 0x18 | (param_3 & 0xff0000) >> 8 | (param_3 & 0xff00) << 8;

    if ((uVar3 == uVar4) && ((uVar6 ^ 0x80000000) == uVar1)) {

      dprintf(6,"dhcp6_auth_replaycheck","detected a singular point",uVar5,__s);

      uVar2 = 1;

    }

    else {

      uVar6 = uVar6 - uVar1;

      uVar1 = (uint)(uVar3 < uVar3 - uVar4);

      uVar2 = 0;

      if (((int)(uVar6 - uVar1) < 1) && ((uVar6 != uVar1 || (uVar3 == uVar4)))) {

        uVar2 = 1;

      }

    }

  }

  else {

    dprintf(3,"dhcp6_auth_replaycheck","unsupported replay detection method (%d)",param_1);

    uVar2 = 0xffffffff;

  }

  return uVar2;

}