- hex_buffer = malloc(len * 2 + 1);
- buffer = (uint8_t *)&target->gdb_service->core[0];
- int pkt_len = hexify(hex_buffer, (char *)buffer, len, len * 2 + 1);
+ const uint32_t len = sizeof(target->gdb_service->core[0]);
+ char hex_buffer[len * 2 + 1];
+ char buffer[len];
+ buf_set_u32(buffer, 0, len * 8, target->gdb_service->core[0]);
+ int pkt_len = hexify(hex_buffer, buffer, sizeof(buffer), sizeof(hex_buffer));