void FUN_00413144(int param_1,int param_2,int param_3)

{

  char *local_838;

  char *local_834;

  char *local_830;

  char *local_82c;

  undefined4 local_828;

  char acStack_824 [512];

  char acStack_624 [512];

  char acStack_424 [512];

  char acStack_224 [516];

  local_838 = "DHCP6S_ACTION=ADD_ROUTE";

  local_828 = 0;

  local_834 = acStack_824;

  local_830 = acStack_624;

  local_82c = acStack_224;

  inet_ntop(10,(void *)(param_3 + 8),acStack_424,0x200)   //possible issue identified - semgrep

  sprintf(acStack_824,"DHCP6S_DST=%s/%d",acStack_424,*(undefined4 *)(param_3 + 0x18))   //possible issue identified - semgrep

  inet_ntop(10,(void *)(param_2 + 8),acStack_424,0x200)   //possible issue identified - semgrep

  sprintf(acStack_624,"DHCP6S_GATEWAY=%s",acStack_424)   //possible issue identified - semgrep

  sprintf(acStack_224,"DHCP6S_DEV=%s",*(undefined4 *)(param_1 + 0x10))   //possible issue identified - semgrep

  execute_helper_with_env(&local_838);

  return;

}