undefined4 dhcp6_vbuf_copy(size_t *param_1,size_t *param_2)

{

  void *__dest;

  void *__src;

  size_t __n;

  __dest = malloc(*param_2)   //possible issue identified - semgrep

  param_1[1] = (size_t)__dest;

  if (__dest != (void *)0x0) {

    __n = *param_2;

    __src = (void *)param_2[1];

    *param_1 = __n;

    memcpy(__dest,__src,__n)   //possible issue identified - semgrep

    return 0;

  }

  return 0xffffffff;

}