This is an automated email from the ASF dual-hosted git repository.
markt pushed a commit to branch 11.0.x
in repository https://gitbox.apache.org/repos/asf/tomcat.git
The following commit(s) were added to refs/heads/11.0.x by this push:
new 0f13daffbf Revert "Reject Range-Request if those ranges are not
strictly in ascending order (#791)"
0f13daffbf is described below
commit 0f13daffbf19f847bb04dc2fb018902ae8065020
Author: Mark Thomas <[email protected]>
AuthorDate: Wed Dec 4 07:46:56 2024 +0000
Revert "Reject Range-Request if those ranges are not strictly in ascending
order (#791)"
This reverts commit 71cc25669defbec8b5e593cabb719f97caed6637.
---
.../apache/catalina/servlets/DefaultServlet.java | 22 +++++++++++++++-------
.../servlets/TestDefaultServletRangeRequests.java | 3 ---
webapps/docs/changelog.xml | 6 +++---
3 files changed, 18 insertions(+), 13 deletions(-)
diff --git a/java/org/apache/catalina/servlets/DefaultServlet.java
b/java/org/apache/catalina/servlets/DefaultServlet.java
index 62211b98f6..25c8426ba3 100644
--- a/java/org/apache/catalina/servlets/DefaultServlet.java
+++ b/java/org/apache/catalina/servlets/DefaultServlet.java
@@ -1240,7 +1240,7 @@ public class DefaultServlet extends HttpServlet {
}
private static boolean validate(Ranges ranges, long length) {
- long prevEnd = -1;
+ List<long[]> rangeContext = new ArrayList<>();
for (Ranges.Entry range : ranges.getEntries()) {
long start = getStart(range, length);
long end = getEnd(range, length);
@@ -1249,13 +1249,21 @@ public class DefaultServlet extends HttpServlet {
return false;
}
// See https://www.rfc-editor.org/rfc/rfc9110.html#status.416
- // No good reason for ranges to overlap or not listed in ascending
order, so always reject
- if (prevEnd < 0 || prevEnd < start) {
- // first range entry or strictly greater than previous range
entry.
- prevEnd = end;
- } else {
- return false;
+ // No good reason for ranges to overlap so always reject
+ for (long[] r : rangeContext) {
+ long s2 = r[0];
+ long e2 = r[1];
+ // Given valid [s1,e1] and [s2,e2]
+ // If { s1>e2 || s2>e1 } then no overlap
+ // equivalent to
+ // If not { s1>e2 || s2>e1 } then overlap
+ // De Morgan's law
+ if (start <= e2 && s2 <= end) {
+ // isOverlap
+ return false;
+ }
}
+ rangeContext.add(new long[] { start, end });
}
return true;
}
diff --git
a/test/org/apache/catalina/servlets/TestDefaultServletRangeRequests.java
b/test/org/apache/catalina/servlets/TestDefaultServletRangeRequests.java
index 7a13839c97..ccd41fbc26 100644
--- a/test/org/apache/catalina/servlets/TestDefaultServletRangeRequests.java
+++ b/test/org/apache/catalina/servlets/TestDefaultServletRangeRequests.java
@@ -66,9 +66,6 @@ public class TestDefaultServletRangeRequests extends
TomcatBaseTest {
// Invalid overlapping ranges
parameterSets.add(new Object[] { "bytes=1-100, 30-50", null,
Integer.valueOf(416), "", "*/" + len });
parameterSets.add(new Object[] { "bytes=1-100, 90-150", null,
Integer.valueOf(416), "", "*/" + len });
- // Invalid ranges that not in ascending order
- parameterSets.add(new Object[] { "bytes=0-5, 6-10, 80-90, 60-70",
null, Integer.valueOf(416), "", "*/" + len });
- parameterSets.add(new Object[] { "bytes=0-5, -10, 60-70", null,
Integer.valueOf(416), "", "*/" + len });
// Invalid no equals
parameterSets.add(new Object[] { "bytes 1-10", null,
Integer.valueOf(416), "", "*/" + len });
parameterSets.add(new Object[] { "bytes1-10", null,
Integer.valueOf(416), "", "*/" + len });
diff --git a/webapps/docs/changelog.xml b/webapps/docs/changelog.xml
index 5755cadf0e..0eb4afb29a 100644
--- a/webapps/docs/changelog.xml
+++ b/webapps/docs/changelog.xml
@@ -204,9 +204,9 @@
provided by Thomas Krisch. (markt)
</add>
<fix>
- The default servlet now rejects HTTP range requests when requested
- ranges overlap or are not in ascending order. Based on pull requests
- <pr>782</pr> and <pr>791</pr> provided by Chenjp. (markt)
+ The default servlet now rejects HTTP range requests when two or more of
+ the requested ranges overlap. Based on pull request <pr>782</pr>
+ provided by Chenjp. (markt)
</fix>
<fix>
Enhance Content-Range verification for partial PUT requests handled by
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
