From 787b67ddf1512b0b2c8740c2e4018e86d0797fa6 Mon Sep 17 00:00:00 2001 From: Christopher Faulet Date: Fri, 26 Jan 2024 16:23:51 +0100 Subject: [PATCH] BUG/MINOR: h1: Don't support LF only at the end of chunks When the message is chunked, all chunks must ends with a CRLF. However, on old versions, to support bad client or server implementations, the LF only was also accepted. Nowadays, it seems useless and can even be considered as an issue. Just forbid LF only at the end of chunks, it seems reasonnable. This patch must be backported to 2.9 and probably to all stable versions because there is no reason to still support LF without CR in this case. (cherry picked from commit 7b737da8258ebdd84e702a2d65cfd3c423f8e96d) Signed-off-by: Willy Tarreau --- include/haproxy/h1.h | 17 +++++++++-------- src/h1_htx.c | 9 ++++++--- 2 files changed, 15 insertions(+), 11 deletions(-) diff --git a/include/haproxy/h1.h b/include/haproxy/h1.h index 8f52059..9283df6 100644 --- a/include/haproxy/h1.h +++ b/include/haproxy/h1.h @@ -203,8 +203,8 @@ static inline const char *h1m_state_str(enum h1m_state msg_state) } } -/* This function may be called only in HTTP_MSG_CHUNK_CRLF. It reads the CRLF or - * a possible LF alone at the end of a chunk. The caller should adjust msg->next +/* This function may be called only in HTTP_MSG_CHUNK_CRLF. It reads the CRLF + * at the end of a chunk. The caller should adjust msg->next * in order to include this part into the next forwarding phase. Note that the * caller must ensure that head+start points to the first byte to parse. It * returns the number of bytes parsed on success, so the caller can set msg_state @@ -221,16 +221,17 @@ static inline int h1_skip_chunk_crlf(const struct buffer *buf, int start, int st if (stop <= start) return 0; + if (unlikely(*ptr != '\r')) // negative position to stop + return ptr - __b_peek(buf, stop); + /* NB: we'll check data availability at the end. It's not a * problem because whatever we match first will be checked * against the correct length. */ - if (*ptr == '\r') { - bytes++; - ptr++; - if (ptr >= b_wrap(buf)) - ptr = b_orig(buf); - } + bytes++; + ptr++; + if (ptr >= b_wrap(buf)) + ptr = b_orig(buf); if (bytes > stop - start) return 0; diff --git a/src/h1_htx.c b/src/h1_htx.c index f3b61b7..b8c6ccb 100644 --- a/src/h1_htx.c +++ b/src/h1_htx.c @@ -740,9 +740,12 @@ static size_t h1_parse_full_contig_chunks(struct h1m *h1m, struct htx **dsthtx, dpos += chksz; ridx += chksz; - /* Parse CRLF or LF (always present) */ - if (likely(end[ridx] == '\r')) - ++ridx; + /* Parse CRLF */ + if (unlikely(end[ridx] != '\r')) { + h1m->state = H1_MSG_CHUNK_CRLF; + goto parsing_error; + } + ++ridx; if (end[ridx] != '\n') { h1m->state = H1_MSG_CHUNK_CRLF; goto parsing_error; -- 1.7.10.4