Compare commits

...
3 Commits
Author SHA1 Message Date
cpq b47bd89cbd Increase app part size 2026-11-10 14:30:39 +00:00
Sergio R. Caprile 49cd3153ce Merge pull request #3766 from cesanta/frag
tighten IP fragment behavior
2026-11-10 11:30:09 -03:00
Sergio R. Caprile 0ec2a0252b tighten IP fragment behavior 2026-11-10 11:07:19 -03:00
4 changed files with 44 additions and 28 deletions

No files matched your search

+21 -13
View File
@@ -11540,12 +11540,16 @@ static void rx_ip(struct mg_tcpip_if *ifp, struct pkt *pkt) {
mkpay(pkt, (uint32_t *) pkt->ip + ihl); // account for opts mkpay(pkt, (uint32_t *) pkt->ip + ihl); // account for opts
if (!ipcsum_ok(pkt->ip)) return; if (!ipcsum_ok(pkt->ip)) return;
frag = mg_ntohs(pkt->ip->frag); frag = mg_ntohs(pkt->ip->frag);
if (frag & IP_MORE_FRAGS_MSK || frag & IP_FRAG_OFFSET_MSK) { if (frag & IP_FRAG_OFFSET_MSK) { // Non-first fragment: ignore
struct mg_connection *c; } else if (frag & IP_MORE_FRAGS_MSK) { // First fragment: find and close
if (pkt->ip->proto == 17) pkt->udp = (struct udp *) (pkt->pay.buf); if (pkt->ip->proto == 17 && pkt->pay.len >= sizeof(*pkt->udp))
if (pkt->ip->proto == 6) pkt->tcp = (struct tcp *) (pkt->pay.buf); pkt->udp = (struct udp *) pkt->pay.buf;
c = getpeer(ifp->mgr, pkt, false); if (pkt->ip->proto == 6 && pkt->pay.len >= sizeof(*pkt->tcp))
pkt->tcp = (struct tcp *) pkt->pay.buf;
if (pkt->udp || pkt->tcp) {
struct mg_connection *c = getpeer(ifp->mgr, pkt, false);
if (c) proto_error(c, false, "Received fragmented packet"); if (c) proto_error(c, false, "Received fragmented packet");
} // else ignore // else ignore
} else if (pkt->ip->proto == 1) { } else if (pkt->ip->proto == 1) {
pkt->icmp = (struct icmp *) (pkt->pay.buf); pkt->icmp = (struct icmp *) (pkt->pay.buf);
if (pkt->pay.len < sizeof(*pkt->icmp)) return; if (pkt->pay.len < sizeof(*pkt->icmp)) return;
@@ -11621,15 +11625,19 @@ static void rx_ip6(struct mg_tcpip_if *ifp, struct pkt *pkt) {
len += hlen; len += hlen;
nhdr += hlen; nhdr += hlen;
break; break;
case 44: // Fragment 4.5 case 44: // Fragment 4.5; no reassembly
{ if ((uint32_t) len + 8 > plen) return; // Truncated (frag hdr = 8)
struct mg_connection *c; if ((nhdr[2] | (nhdr[3] & 0xf8)) == 0) { // First fragment
if (((uint32_t) len + 2) > plen) return; // nhdr[0, 1]; malformed size_t tlen = (size_t)(plen - len - 8);
if (nhdr[0] == 17) pkt->udp = (struct udp *) (pkt->pay.buf); if (nhdr[0] == 17 && tlen >= sizeof(*pkt->udp))
if (nhdr[0] == 6) pkt->tcp = (struct tcp *) (pkt->pay.buf); pkt->udp = (struct udp *) (nhdr + 8);
c = getpeer(ifp->mgr, pkt, false); if (nhdr[0] == 6 && tlen >= sizeof(*pkt->tcp))
pkt->tcp = (struct tcp *) (nhdr + 8);
if (pkt->udp || pkt->tcp) {
struct mg_connection *c = getpeer(ifp->mgr, pkt, false);
if (c) proto_error(c, false, "Received fragmented packet"); if (c) proto_error(c, false, "Received fragmented packet");
} } // else ignore
} // else ignore
return; return;
case 59: // No Next Header 4.7 case 59: // No Next Header 4.7
return; return;
+21 -13
View File
@@ -1867,12 +1867,16 @@ static void rx_ip(struct mg_tcpip_if *ifp, struct pkt *pkt) {
mkpay(pkt, (uint32_t *) pkt->ip + ihl); // account for opts mkpay(pkt, (uint32_t *) pkt->ip + ihl); // account for opts
if (!ipcsum_ok(pkt->ip)) return; if (!ipcsum_ok(pkt->ip)) return;
frag = mg_ntohs(pkt->ip->frag); frag = mg_ntohs(pkt->ip->frag);
if (frag & IP_MORE_FRAGS_MSK || frag & IP_FRAG_OFFSET_MSK) { if (frag & IP_FRAG_OFFSET_MSK) { // Non-first fragment: ignore
struct mg_connection *c; } else if (frag & IP_MORE_FRAGS_MSK) { // First fragment: find and close
if (pkt->ip->proto == 17) pkt->udp = (struct udp *) (pkt->pay.buf); if (pkt->ip->proto == 17 && pkt->pay.len >= sizeof(*pkt->udp))
if (pkt->ip->proto == 6) pkt->tcp = (struct tcp *) (pkt->pay.buf); pkt->udp = (struct udp *) pkt->pay.buf;
c = getpeer(ifp->mgr, pkt, false); if (pkt->ip->proto == 6 && pkt->pay.len >= sizeof(*pkt->tcp))
pkt->tcp = (struct tcp *) pkt->pay.buf;
if (pkt->udp || pkt->tcp) {
struct mg_connection *c = getpeer(ifp->mgr, pkt, false);
if (c) proto_error(c, false, "Received fragmented packet"); if (c) proto_error(c, false, "Received fragmented packet");
} // else ignore // else ignore
} else if (pkt->ip->proto == 1) { } else if (pkt->ip->proto == 1) {
pkt->icmp = (struct icmp *) (pkt->pay.buf); pkt->icmp = (struct icmp *) (pkt->pay.buf);
if (pkt->pay.len < sizeof(*pkt->icmp)) return; if (pkt->pay.len < sizeof(*pkt->icmp)) return;
@@ -1948,15 +1952,19 @@ static void rx_ip6(struct mg_tcpip_if *ifp, struct pkt *pkt) {
len += hlen; len += hlen;
nhdr += hlen; nhdr += hlen;
break; break;
case 44: // Fragment 4.5 case 44: // Fragment 4.5; no reassembly
{ if ((uint32_t) len + 8 > plen) return; // Truncated (frag hdr = 8)
struct mg_connection *c; if ((nhdr[2] | (nhdr[3] & 0xf8)) == 0) { // First fragment
if (((uint32_t) len + 2) > plen) return; // nhdr[0, 1]; malformed size_t tlen = (size_t)(plen - len - 8);
if (nhdr[0] == 17) pkt->udp = (struct udp *) (pkt->pay.buf); if (nhdr[0] == 17 && tlen >= sizeof(*pkt->udp))
if (nhdr[0] == 6) pkt->tcp = (struct tcp *) (pkt->pay.buf); pkt->udp = (struct udp *) (nhdr + 8);
c = getpeer(ifp->mgr, pkt, false); if (nhdr[0] == 6 && tlen >= sizeof(*pkt->tcp))
pkt->tcp = (struct tcp *) (nhdr + 8);
if (pkt->udp || pkt->tcp) {
struct mg_connection *c = getpeer(ifp->mgr, pkt, false);
if (c) proto_error(c, false, "Received fragmented packet"); if (c) proto_error(c, false, "Received fragmented packet");
} } // else ignore
} // else ignore
return; return;
case 59: // No Next Header 4.7 case 59: // No Next Header 4.7
return; return;
+1 -1
View File
@@ -1257,7 +1257,7 @@ static void test_frag_recv_path(void) {
init_tcp_handshake(&e, &ipp, &mgr); // starts with seq_no=1000, ackno=2 init_tcp_handshake(&e, &ipp, &mgr); // starts with seq_no=1000, ackno=2
// send fragmented TCP packet // send fragmented TCP packet
ip.frag |= IP_MORE_FRAGS_MSK; // setting More Fragments bit to 1 ip.frag = mg_htons(IP_MORE_FRAGS_MSK); // setting More Fragments bit to 1
create_tcp_simpleseg(&e, &ipp, 1001, 2, TH_PUSH | TH_ACK, 1000); create_tcp_simpleseg(&e, &ipp, 1001, 2, TH_PUSH | TH_ACK, 1000);
s_sent_fragment = 1; // "enable" fn s_sent_fragment = 1; // "enable" fn
mg_mgr_poll(&mgr, 0); // call it (process fake frag IP) mg_mgr_poll(&mgr, 0); // call it (process fake frag IP)
+1 -1
View File
@@ -1,5 +1,5 @@
# Name, Type, SubType, Offset, Size, Flags # Name, Type, SubType, Offset, Size, Flags
nvs, data, nvs, , 0x6000 nvs, data, nvs, , 0x6000
phy_init, data, phy, , 0x1000 phy_init, data, phy, , 0x1000
factory, app, factory, , 1M factory, app, factory, , 1200K
coredump, data, coredump,, 128K coredump, data, coredump,, 128K
1 # Name, Type, SubType, Offset, Size, Flags
2 nvs, data, nvs, , 0x6000
3 phy_init, data, phy, , 0x1000
4 factory, app, factory, , 1M factory, app, factory, , 1200K
5 coredump, data, coredump,, 128K