¿Cómo obtener la IP correcta para un nombre de dominio con puerto?

En primer lugar, el concepto es incorrecto. El nombre de dominio está vinculado a la IP. No tiene nada que ver con el puerto. En otras palabras, la resolución de nombres de dominio solo puede convertir nombres de dominio en direcciones IP. De lo que estás hablando debería ser cuando accedes a un host con un determinado nombre de dominio.

Si el programa accede a un determinado puerto del host (como 8080), entonces el programa será redirigido a otros hosts.

La resolución de nombres de dominio no es factible. Le sugiero que analice en detalle qué tipo de salto es el programa del puerto 8080. Si se trata de un salto de página Http, el autor puede escribir un programa cliente Http simple para capturar el nombre de dominio o IP redirigido correspondiente. Si es un proxy IP o algo así, no hay nada que puedas hacer.