architecture de code agnostique

Question

Je ce morceau de code dont le but est de déterminer si le paquet reçu est valide ou non:

size_t offset_to_a, offset_to_b; 
u_int32_t file_name_length; 
u_int32_t packet_length; 

if ((offset_to_a + offset_to_b + file_name_length) > packet_length) { 
    // Invalid packet 
} 

size_t est u_int64_t être parce que le cpu est un processeur 64 bits.

Maintenant, lorsque file_name_length a une valeur 0xFFFFFFFF (qui n'est pas valide), le paquet est considéré comme invalide.

Mais si size_t devient u_int32_t en raison de l'architecture sous-jacente, puis pour la même valeur de file_name_length, la condition échoue parce que la valeur enveloppait autour, et le paquet est réputé valide.

Comment rendre cette condition suffisamment générique pour fonctionner sur les deux architectures 32/64 bits?

Merci!

Answer 1

L'astuce consiste à n'utiliser que la soustraction et à ne les soustraire qu'après avoir vérifié que la soustraction ne s'emballe pas. Quelque chose comme ceci:

if (offset_to_a > packet_length || packet_length - offset_to_a < file_name_length) { 
    // invalid packet 
} 
size_t remain = packet_length - offset_to_a; 
if (offset_to_b > remain || remain - offset_to_b < file_name_length) { 
    // invalid packet 
}