Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/nodejs/node.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustin Ridgewell <justin@ridgewell.name>2020-01-24 10:49:41 +0300
committerRich Trott <rtrott@gmail.com>2020-01-27 04:03:39 +0300
commit0214b90308404b18efd60ce07cb89014073ee161 (patch)
tree736bc8fe966f51bacfdf10f9f54a9ca677e810b7 /lib/internal/source_map
parent59cba9a5c20c4a9fee34a3f6601025666aa6f9f6 (diff)
process: fix two overflow cases in SourceMap VLQ decoding
These both have to do with extremely large numbers, so it's unlikely to cause a problem in practice. Still, correctness. First, encoding `-2147483648` in VLQ returns the value `"B"`. When decoding, we get the value `1` after reading the base64. We then check if the first bit is set (it is) to see if we should negate it, then we shift all bits right once. Now, `value` will be `0` and `negate` will be `true`. So, we'd return `-0`. Which is a bug! `-0` isn't `-2147483648`, and we've broken a round trip. Second, encoding any number with the 31st bit set, we'd return the opposite sign. Let's use `1073741824`. Encoding, we get `"ggggggC"`. When decoding, we get the value `-2147483648` after reading the base64. Notice, it's already negative (the 32nd bit is set, because the 31st was set and we shifted everything left once). We'd then check the first bit (it's not) and shift right. But we used `>>`, which does not shift the sign bit. We actually wanted `>>>`, which will. Because of that bug, we get back `-1073741824` instead of the positive `1073741824`. It's even worse if the 32nd and 31st bits are set, `-1610612736` becomes `536870912` after a round trip. I recently fixed the same two bugs in Closure Compiler: https://github.com/google/closure-compiler/commit/584418eb PR-URL: https://github.com/nodejs/node/pull/31490 Reviewed-By: Anna Henningsen <anna@addaleax.net> Reviewed-By: Colin Ihrig <cjihrig@gmail.com> Reviewed-By: Ben Coe <bencoe@gmail.com> Reviewed-By: David Carlier <devnexen@gmail.com> Reviewed-By: Rich Trott <rtrott@gmail.com> Reviewed-By: Gus Caplan <me@gus.host>
Diffstat (limited to 'lib/internal/source_map')
-rw-r--r--lib/internal/source_map/source_map.js15
1 files changed, 13 insertions, 2 deletions
diff --git a/lib/internal/source_map/source_map.js b/lib/internal/source_map/source_map.js
index 32fe43ac8f6..d66230ec37f 100644
--- a/lib/internal/source_map/source_map.js
+++ b/lib/internal/source_map/source_map.js
@@ -303,8 +303,19 @@ function decodeVLQ(stringCharIterator) {
// Fix the sign.
const negative = result & 1;
- result >>= 1;
- return negative ? -result : result;
+ // Use unsigned right shift, so that the 32nd bit is properly shifted to the
+ // 31st, and the 32nd becomes unset.
+ result >>>= 1;
+ if (!negative) {
+ return result;
+ }
+
+ // We need to OR here to ensure the 32nd bit (the sign bit in an Int32) is
+ // always set for negative numbers. If `result` were 1, (meaning `negate` is
+ // true and all other bits were zeros), `result` would now be 0. But -0
+ // doesn't flip the 32nd bit as intended. All other numbers will successfully
+ // set the 32nd bit without issue, so doing this is a noop for them.
+ return -result | (1 << 31);
}
/**