From 50cd20d5236af1fa529de0dfaa703c768c5c6717 Mon Sep 17 00:00:00 2001
From: Michael Tuexen <tuexen@fh-muenster.de>
Date: Sun, 21 Oct 2018 22:31:26 +0200
Subject: [PATCH] Try to address Coverity ID 323325.
---
gtests/net/packetdrill/run_packet.c | 2 ++
1 file changed, 2 insertions(+)
diff --git a/gtests/net/packetdrill/run_packet.c b/gtests/net/packetdrill/run_packet.c
index 0b8ca78c..efe7ad75 100644
--- a/gtests/net/packetdrill/run_packet.c
+++ b/gtests/net/packetdrill/run_packet.c
@@ -3366,6 +3366,7 @@ static int do_inbound_script_packet(
if (packet->flags & FLAGS_UDP_ENCAPSULATED) {
struct udp *udp;
+ assert(i + 2 < PACKET_MAX_HEADERS);
assert(packet->headers[i + 1].type == HEADER_UDP);
assert(packet->headers[i + 2].type == HEADER_SCTP);
packet->headers[i].total_bytes += temp_offset;
@@ -3374,6 +3375,7 @@ static int do_inbound_script_packet(
udp = ((struct udp *)packet->sctp) - 1;
udp->len = htons(ntohs(udp->len) + temp_offset);
} else {
+ assert(i + 1 < PACKET_MAX_HEADERS);
assert(packet->headers[i + 1].type == HEADER_SCTP);
packet->headers[i].total_bytes += temp_offset;
packet->headers[i + 1].total_bytes += temp_offset;
--
GitLab