diff options
| author |   Benoît Ganne <bganne@cisco.com> | 2020-08-31 18:59:34 +0200 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2020-09-01 12:03:27 +0000 |
| commit | 6e334e3e77bb156a9317a37500077a218a04f7a3 (patch) | |
| tree | fa2caf364ba7d99ca7e3895c37bb1047c6be8c0f /src/plugins/map/ip4_map.c | |
| parent | 1d104c5ecdce37301fdfea0e62a533a2e5342ee0 (diff) | |
ip: fix ip zero checksum verification
In one's complement, there are two representations of zero: the all
zero and the all one bit values, often referred to as +0 and -0. See
RFC 1624 section 3 for more details.
This used to be taken care of in ip4_header_checksum(), but it is no
longer the case. The check ip->checksum == ip4_header_checksum (ip) is
no longer correct in the -0 case.
Always use ip4_header_checksum_is_valid() instead (which behaves
correctly since 9a79a1ab931c3b5a7ae07d6f0fcfef7c4368a2c4).
Type: fix
Fixes: e5f0050c7a5d411f96af6401797529d58825e2af
Change-Id: Iacc6b60645a834287b085aecb9e3fdb4554cf0cf
Signed-off-by: Benoît Ganne <bganne@cisco.com>
Diffstat (limited to 'src/plugins/map/ip4_map.c')
| -rw-r--r-- | src/plugins/map/ip4_map.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/plugins/map/ip4_map.c b/src/plugins/map/ip4_map.c index ea63901bf89..a4889627f0b 100644 --- a/src/plugins/map/ip4_map.c +++ b/src/plugins/map/ip4_map.c @@ -97,7 +97,7 @@ ip4_map_decrement_ttl (ip4_header_t * ip, u8 * error) *error = ttl <= 0 ? IP4_ERROR_TIME_EXPIRED : *error; /* Verify checksum. */ - ASSERT (ip->checksum == ip4_header_checksum (ip)); + ASSERT (ip4_header_checksum_is_valid (ip)); } static u32 |