Comment modifier l'adresse IP de destination des paquets IP dans Android ?

Pour ce faire, vous pouvez utiliser un NAT de destination (DNAT), cf. aquí

Plus précisément, dans votre exemple, vous feriez l'une des choses suivantes :

iptables -t nat -I OUTPUT -d 1.2.3.4 -j DNAT --to-destination 5.6.7.8

Bien sûr, vous voudriez que les paquets de retour fassent la traduction inverse, donc il semble que la réponse vienne de 1.2.3.4 à nouveau, donc vous avez aussi besoin de l'un d'entre eux :

iptables -t nat -I INPUT -s 5.6.7.8 -j SNAT --to-source 1.2.3.4

(Dans la réponse originale, j'ai mis PREROUTING/POSTROUTING au lieu de OUTPUT/INPUT, mais c'est ce que vous faites dans un routeur. Pour les paquets générés localement, OUTPUT/INPUT devrait être la bonne réponse).