Bug Summary

File:out/../src/string_bytes.cc
Warning:line 349, column 22
Assigned value is garbage or undefined

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple x86_64-unknown-linux-gnu -analyze -disable-free -clear-ast-before-backend -disable-llvm-verifier -discard-value-names -main-file-name string_bytes.cc -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=cplusplus -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 2 -pic-is-pie -mframe-pointer=all -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/home/maurizio/node-v18.6.0/out -resource-dir /usr/local/lib/clang/16.0.0 -D V8_DEPRECATION_WARNINGS -D V8_IMMINENT_DEPRECATION_WARNINGS -D _GLIBCXX_USE_CXX11_ABI=1 -D NODE_OPENSSL_CONF_NAME=nodejs_conf -D NODE_OPENSSL_HAS_QUIC -D __STDC_FORMAT_MACROS -D OPENSSL_NO_PINSHARED -D OPENSSL_THREADS -D NODE_ARCH="x64" -D NODE_PLATFORM="linux" -D NODE_WANT_INTERNALS=1 -D V8_DEPRECATION_WARNINGS=1 -D NODE_OPENSSL_SYSTEM_CERT_PATH="" -D NODE_USE_NODE_CODE_CACHE=1 -D HAVE_INSPECTOR=1 -D NODE_ENABLE_LARGE_CODE_PAGES=1 -D __POSIX__ -D NODE_USE_V8_PLATFORM=1 -D NODE_HAVE_I18N_SUPPORT=1 -D HAVE_OPENSSL=1 -D OPENSSL_API_COMPAT=0x10100000L -D UCONFIG_NO_SERVICE=1 -D U_ENABLE_DYLOAD=0 -D U_STATIC_IMPLEMENTATION=1 -D U_HAVE_STD_STRING=1 -D UCONFIG_NO_BREAK_ITERATION=0 -D _LARGEFILE_SOURCE -D _FILE_OFFSET_BITS=64 -D _POSIX_C_SOURCE=200112 -D NGHTTP2_STATICLIB -D NDEBUG -D OPENSSL_USE_NODELETE -D L_ENDIAN -D OPENSSL_BUILDING_OPENSSL -D AES_ASM -D BSAES_ASM -D CMLL_ASM -D ECP_NISTZ256_ASM -D GHASH_ASM -D KECCAK1600_ASM -D MD5_ASM -D OPENSSL_BN_ASM_GF2m -D OPENSSL_BN_ASM_MONT -D OPENSSL_BN_ASM_MONT5 -D OPENSSL_CPUID_OBJ -D OPENSSL_IA32_SSE2 -D PADLOCK_ASM -D POLY1305_ASM -D SHA1_ASM -D SHA256_ASM -D SHA512_ASM -D VPAES_ASM -D WHIRLPOOL_ASM -D X25519_ASM -D OPENSSL_PIC -D NGTCP2_STATICLIB -D NGHTTP3_STATICLIB -I ../src -I /home/maurizio/node-v18.6.0/out/Release/obj/gen -I /home/maurizio/node-v18.6.0/out/Release/obj/gen/include -I /home/maurizio/node-v18.6.0/out/Release/obj/gen/src -I ../deps/googletest/include -I ../deps/histogram/src -I ../deps/uvwasi/include -I ../deps/v8/include -I ../deps/icu-small/source/i18n -I ../deps/icu-small/source/common -I ../deps/zlib -I ../deps/llhttp/include -I ../deps/cares/include -I ../deps/uv/include -I ../deps/nghttp2/lib/includes -I ../deps/brotli/c/include -I ../deps/openssl/openssl/include -I ../deps/openssl/openssl/crypto/include -I ../deps/openssl/config/archs/linux-x86_64/asm/include -I ../deps/openssl/config/archs/linux-x86_64/asm -I ../deps/ngtcp2 -I ../deps/ngtcp2/ngtcp2/lib/includes -I ../deps/ngtcp2/ngtcp2/crypto/includes -I ../deps/ngtcp2/nghttp3/lib/includes -internal-isystem /usr/lib/gcc/x86_64-redhat-linux/8/../../../../include/c++/8 -internal-isystem /usr/lib/gcc/x86_64-redhat-linux/8/../../../../include/c++/8/x86_64-redhat-linux -internal-isystem /usr/lib/gcc/x86_64-redhat-linux/8/../../../../include/c++/8/backward -internal-isystem /usr/local/lib/clang/16.0.0/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-redhat-linux/8/../../../../x86_64-redhat-linux/include -internal-externc-isystem /include -internal-externc-isystem /usr/include -O3 -Wno-unused-parameter -Wno-unused-parameter -std=gnu++17 -fdeprecated-macro -fdebug-compilation-dir=/home/maurizio/node-v18.6.0/out -ferror-limit 19 -fno-rtti -fgnuc-version=4.2.1 -vectorize-loops -vectorize-slp -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/scan-build-2022-08-22-142216-507842-1 -x c++ ../src/string_bytes.cc
1// Copyright Joyent, Inc. and other Node contributors.
2//
3// Permission is hereby granted, free of charge, to any person obtaining a
4// copy of this software and associated documentation files (the
5// "Software"), to deal in the Software without restriction, including
6// without limitation the rights to use, copy, modify, merge, publish,
7// distribute, sublicense, and/or sell copies of the Software, and to permit
8// persons to whom the Software is furnished to do so, subject to the
9// following conditions:
10//
11// The above copyright notice and this permission notice shall be included
12// in all copies or substantial portions of the Software.
13//
14// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
15// OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
16// MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN
17// NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
18// DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
19// OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE
20// USE OR OTHER DEALINGS IN THE SOFTWARE.
21
22#include "string_bytes.h"
23
24#include "base64-inl.h"
25#include "env-inl.h"
26#include "node_buffer.h"
27#include "node_errors.h"
28#include "util.h"
29
30#include <climits>
31#include <cstring> // memcpy
32
33#include <algorithm>
34
35// When creating strings >= this length v8's gc spins up and consumes
36// most of the execution time. For these cases it's more performant to
37// use external string resources.
38#define EXTERN_APEX0xFBEE9 0xFBEE9
39
40namespace node {
41
42using v8::HandleScope;
43using v8::Isolate;
44using v8::Just;
45using v8::Local;
46using v8::Maybe;
47using v8::MaybeLocal;
48using v8::Nothing;
49using v8::String;
50using v8::Value;
51
52namespace {
53
54template <typename ResourceType, typename TypeName>
55class ExternString: public ResourceType {
56 public:
57 ~ExternString() override {
58 free(const_cast<TypeName*>(data_));
59 isolate()->AdjustAmountOfExternalAllocatedMemory(-byte_length());
60 }
61
62 const TypeName* data() const override {
63 return data_;
64 }
65
66 size_t length() const override {
67 return length_;
68 }
69
70 int64_t byte_length() const {
71 return length() * sizeof(*data());
72 }
73
74 static MaybeLocal<Value> NewFromCopy(Isolate* isolate,
75 const TypeName* data,
76 size_t length,
77 Local<Value>* error) {
78 if (length == 0)
79 return String::Empty(isolate);
80
81 if (length < EXTERN_APEX0xFBEE9)
82 return NewSimpleFromCopy(isolate, data, length, error);
83
84 TypeName* new_data = node::UncheckedMalloc<TypeName>(length);
85 if (new_data == nullptr) {
86 *error = node::ERR_MEMORY_ALLOCATION_FAILED(isolate);
87 return MaybeLocal<Value>();
88 }
89 memcpy(new_data, data, length * sizeof(*new_data));
90
91 return ExternString<ResourceType, TypeName>::New(isolate,
92 new_data,
93 length,
94 error);
95 }
96
97 // uses "data" for external resource, and will be free'd on gc
98 static MaybeLocal<Value> New(Isolate* isolate,
99 TypeName* data,
100 size_t length,
101 Local<Value>* error) {
102 if (length == 0)
103 return String::Empty(isolate);
104
105 if (length < EXTERN_APEX0xFBEE9) {
106 MaybeLocal<Value> str = NewSimpleFromCopy(isolate, data, length, error);
107 free(data);
108 return str;
109 }
110
111 ExternString* h_str = new ExternString<ResourceType, TypeName>(isolate,
112 data,
113 length);
114 MaybeLocal<Value> str = NewExternal(isolate, h_str);
115 isolate->AdjustAmountOfExternalAllocatedMemory(h_str->byte_length());
116
117 if (str.IsEmpty()) {
118 delete h_str;
119 *error = node::ERR_STRING_TOO_LONG(isolate);
120 return MaybeLocal<Value>();
121 }
122
123 return str.ToLocalChecked();
124 }
125
126 inline Isolate* isolate() const { return isolate_; }
127
128 private:
129 ExternString(Isolate* isolate, const TypeName* data, size_t length)
130 : isolate_(isolate), data_(data), length_(length) { }
131 static MaybeLocal<Value> NewExternal(Isolate* isolate,
132 ExternString* h_str);
133
134 // This method does not actually create ExternString instances.
135 static MaybeLocal<Value> NewSimpleFromCopy(Isolate* isolate,
136 const TypeName* data,
137 size_t length,
138 Local<Value>* error);
139
140 Isolate* isolate_;
141 const TypeName* data_;
142 size_t length_;
143};
144
145
146typedef ExternString<String::ExternalOneByteStringResource,
147 char> ExternOneByteString;
148typedef ExternString<String::ExternalStringResource,
149 uint16_t> ExternTwoByteString;
150
151
152template <>
153MaybeLocal<Value> ExternOneByteString::NewExternal(
154 Isolate* isolate, ExternOneByteString* h_str) {
155 return String::NewExternalOneByte(isolate, h_str).FromMaybe(Local<Value>());
156}
157
158
159template <>
160MaybeLocal<Value> ExternTwoByteString::NewExternal(
161 Isolate* isolate, ExternTwoByteString* h_str) {
162 return String::NewExternalTwoByte(isolate, h_str).FromMaybe(Local<Value>());
163}
164
165template <>
166MaybeLocal<Value> ExternOneByteString::NewSimpleFromCopy(Isolate* isolate,
167 const char* data,
168 size_t length,
169 Local<Value>* error) {
170 MaybeLocal<String> str =
171 String::NewFromOneByte(isolate,
172 reinterpret_cast<const uint8_t*>(data),
173 v8::NewStringType::kNormal,
174 length);
175 if (str.IsEmpty()) {
176 *error = node::ERR_STRING_TOO_LONG(isolate);
177 return MaybeLocal<Value>();
178 }
179 return str.ToLocalChecked();
180}
181
182
183template <>
184MaybeLocal<Value> ExternTwoByteString::NewSimpleFromCopy(Isolate* isolate,
185 const uint16_t* data,
186 size_t length,
187 Local<Value>* error) {
188 MaybeLocal<String> str =
189 String::NewFromTwoByte(isolate,
190 data,
191 v8::NewStringType::kNormal,
192 length);
193 if (str.IsEmpty()) {
194 *error = node::ERR_STRING_TOO_LONG(isolate);
195 return MaybeLocal<Value>();
196 }
197 return str.ToLocalChecked();
198}
199
200} // anonymous namespace
201
202// supports regular and URL-safe base64
203const int8_t unbase64_table[256] =
204 { -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -2, -1, -1, -2, -1, -1,
205 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
206 -2, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 62, -1, 62, -1, 63,
207 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, -1, -1, -1, -1, -1, -1,
208 -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
209 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, -1, -1, -1, -1, 63,
210 -1, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40,
211 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, -1, -1, -1, -1, -1,
212 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
213 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
214 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
215 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
216 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
217 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
218 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
219 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1
220 };
221
222
223static const int8_t unhex_table[256] =
224 { -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
225 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
226 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
227 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, -1, -1, -1, -1, -1, -1,
228 -1, 10, 11, 12, 13, 14, 15, -1, -1, -1, -1, -1, -1, -1, -1, -1,
229 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
230 -1, 10, 11, 12, 13, 14, 15, -1, -1, -1, -1, -1, -1, -1, -1, -1,
231 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
232 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
233 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
234 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
235 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
236 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
237 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
238 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
239 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1
240 };
241
242static inline unsigned unhex(uint8_t x) {
243 return unhex_table[x];
244}
245
246template <typename TypeName>
247static size_t hex_decode(char* buf,
248 size_t len,
249 const TypeName* src,
250 const size_t srcLen) {
251 size_t i;
252 for (i = 0; i < len && i * 2 + 1 < srcLen; ++i) {
253 unsigned a = unhex(static_cast<uint8_t>(src[i * 2 + 0]));
254 unsigned b = unhex(static_cast<uint8_t>(src[i * 2 + 1]));
255 if (!~a || !~b)
256 return i;
257 buf[i] = (a << 4) | b;
258 }
259
260 return i;
261}
262
263size_t StringBytes::WriteUCS2(Isolate* isolate,
264 char* buf,
265 size_t buflen,
266 Local<String> str,
267 int flags,
268 size_t* chars_written) {
269 uint16_t* const dst = reinterpret_cast<uint16_t*>(buf);
270
271 size_t max_chars = buflen / sizeof(*dst);
272 if (max_chars == 0) {
9
←
Assuming 'max_chars' is equal to 0
→
10
←
Taking true branch
→
273 return 0;
11
←
Returning without writing to '*chars_written'
→
274 }
275
276 uint16_t* const aligned_dst = AlignUp(dst, sizeof(*dst));
277 size_t nchars;
278 if (aligned_dst == dst) {
279 nchars = str->Write(isolate, dst, 0, max_chars, flags);
280 *chars_written = nchars;
281 return nchars * sizeof(*dst);
282 }
283
284 CHECK_EQ(reinterpret_cast<uintptr_t>(aligned_dst) % sizeof(*dst), 0)do { if (__builtin_expect(!!(!((reinterpret_cast<uintptr_t
>(aligned_dst) % sizeof(*dst)) == (0))), 0)) { do { static
const node::AssertionInfo args = { "../src/string_bytes.cc" ":"
"284", "(reinterpret_cast<uintptr_t>(aligned_dst) % sizeof(*dst)) == (0)"
, __PRETTY_FUNCTION__ }; node::Assert(args); } while (0); } }
while (0);
285
286 // Write all but the last char
287 max_chars = std::min(max_chars, static_cast<size_t>(str->Length()));
288 if (max_chars == 0) return 0;
289 nchars = str->Write(isolate, aligned_dst, 0, max_chars - 1, flags);
290 CHECK_EQ(nchars, max_chars - 1)do { if (__builtin_expect(!!(!((nchars) == (max_chars - 1))),
0)) { do { static const node::AssertionInfo args = { "../src/string_bytes.cc"
":" "290", "(nchars) == (max_chars - 1)", __PRETTY_FUNCTION__
}; node::Assert(args); } while (0); } } while (0);
291
292 // Shift everything to unaligned-left
293 memmove(dst, aligned_dst, nchars * sizeof(*dst));
294
295 // One more char to be written
296 uint16_t last;
297 CHECK_EQ(str->Write(isolate, &last, nchars, 1, flags), 1)do { if (__builtin_expect(!!(!((str->Write(isolate, &last
, nchars, 1, flags)) == (1))), 0)) { do { static const node::
AssertionInfo args = { "../src/string_bytes.cc" ":" "297", "(str->Write(isolate, &last, nchars, 1, flags)) == (1)"
, __PRETTY_FUNCTION__ }; node::Assert(args); } while (0); } }
while (0);
298 memcpy(buf + nchars * sizeof(*dst), &last, sizeof(last));
299 nchars++;
300
301 *chars_written = nchars;
302 return nchars * sizeof(*dst);
303}
304
305
306size_t StringBytes::Write(Isolate* isolate,
307 char* buf,
308 size_t buflen,
309 Local<Value> val,
310 enum encoding encoding,
311 int* chars_written) {
312 HandleScope scope(isolate);
313 size_t nbytes;
314 int nchars;
315
316 if (chars_written == nullptr)
1
Assuming the condition is false
→
2
←
Taking false branch
→
317 chars_written = &nchars;
318
319 CHECK(val->IsString() == true)do { if (__builtin_expect(!!(!(val->IsString() == true)), 0
)) { do { static const node::AssertionInfo args = { "../src/string_bytes.cc"
":" "319", "val->IsString() == true", __PRETTY_FUNCTION__
}; node::Assert(args); } while (0); } } while (0);
3
←
Assuming the condition is false
→
4
←
Taking false branch
→
5
←
Loop condition is false. Exiting loop
→
320 Local<String> str = val.As<String>();
321
322 int flags = String::HINT_MANY_WRITES_EXPECTED |
323 String::NO_NULL_TERMINATION |
324 String::REPLACE_INVALID_UTF8;
325
326 switch (encoding) {
6
←
Control jumps to 'case UCS2:' at line 345
→
327 case ASCII:
328 case LATIN1:
329 if (str->IsExternalOneByte()) {
330 auto ext = str->GetExternalOneByteStringResource();
331 nbytes = std::min(buflen, ext->length());
332 memcpy(buf, ext->data(), nbytes);
333 } else {
334 uint8_t* const dst = reinterpret_cast<uint8_t*>(buf);
335 nbytes = str->WriteOneByte(isolate, dst, 0, buflen, flags);
336 }
337 *chars_written = nbytes;
338 break;
339
340 case BUFFER:
341 case UTF8:
342 nbytes = str->WriteUtf8(isolate, buf, buflen, chars_written, flags);
343 break;
344
345 case UCS2: {
346 size_t nchars;
7
←
'nchars' declared without an initial value
→
347
348 nbytes = WriteUCS2(isolate, buf, buflen, str, flags, &nchars);
8
←
Calling 'StringBytes::WriteUCS2'
→
12
←
Returning from 'StringBytes::WriteUCS2'
→
349 *chars_written = static_cast<int>(nchars);
13
←
Assigned value is garbage or undefined
350
351 // Node's "ucs2" encoding wants LE character data stored in
352 // the Buffer, so we need to reorder on BE platforms. See
353 // https://nodejs.org/api/buffer.html regarding Node's "ucs2"
354 // encoding specification
355 if (IsBigEndian())
356 SwapBytes16(buf, nbytes);
357
358 break;
359 }
360
361 case BASE64URL:
362 // Fall through
363 case BASE64:
364 if (str->IsExternalOneByte()) {
365 auto ext = str->GetExternalOneByteStringResource();
366 nbytes = base64_decode(buf, buflen, ext->data(), ext->length());
367 } else {
368 String::Value value(isolate, str);
369 nbytes = base64_decode(buf, buflen, *value, value.length());
370 }
371 *chars_written = nbytes;
372 break;
373
374 case HEX:
375 if (str->IsExternalOneByte()) {
376 auto ext = str->GetExternalOneByteStringResource();
377 nbytes = hex_decode(buf, buflen, ext->data(), ext->length());
378 } else {
379 String::Value value(isolate, str);
380 nbytes = hex_decode(buf, buflen, *value, value.length());
381 }
382 *chars_written = nbytes;
383 break;
384
385 default:
386 CHECK(0 && "unknown encoding")do { if (__builtin_expect(!!(!(0 && "unknown encoding"
)), 0)) { do { static const node::AssertionInfo args = { "../src/string_bytes.cc"
":" "386", "0 && \"unknown encoding\"", __PRETTY_FUNCTION__
}; node::Assert(args); } while (0); } } while (0);
387 break;
388 }
389
390 return nbytes;
391}
392
393
394// Quick and dirty size calculation
395// Will always be at least big enough, but may have some extra
396// UTF8 can be as much as 3x the size, Base64 can have 1-2 extra bytes
397Maybe<size_t> StringBytes::StorageSize(Isolate* isolate,
398 Local<Value> val,
399 enum encoding encoding) {
400 HandleScope scope(isolate);
401 size_t data_size = 0;
402 bool is_buffer = Buffer::HasInstance(val);
403
404 if (is_buffer && (encoding == BUFFER || encoding == LATIN1)) {
405 return Just(Buffer::Length(val));
406 }
407
408 Local<String> str;
409 if (!val->ToString(isolate->GetCurrentContext()).ToLocal(&str))
410 return Nothing<size_t>();
411
412 switch (encoding) {
413 case ASCII:
414 case LATIN1:
415 data_size = str->Length();
416 break;
417
418 case BUFFER:
419 case UTF8:
420 // A single UCS2 codepoint never takes up more than 3 utf8 bytes.
421 // It is an exercise for the caller to decide when a string is
422 // long enough to justify calling Size() instead of StorageSize()
423 data_size = 3 * str->Length();
424 break;
425
426 case UCS2:
427 data_size = str->Length() * sizeof(uint16_t);
428 break;
429
430 case BASE64URL:
431 // Fall through
432 case BASE64:
433 data_size = base64_decoded_size_fast(str->Length());
434 break;
435
436 case HEX:
437 CHECK(str->Length() % 2 == 0 && "invalid hex string length")do { if (__builtin_expect(!!(!(str->Length() % 2 == 0 &&
"invalid hex string length")), 0)) { do { static const node::
AssertionInfo args = { "../src/string_bytes.cc" ":" "437", "str->Length() % 2 == 0 && \"invalid hex string length\""
, __PRETTY_FUNCTION__ }; node::Assert(args); } while (0); } }
while (0);
438 data_size = str->Length() / 2;
439 break;
440
441 default:
442 CHECK(0 && "unknown encoding")do { if (__builtin_expect(!!(!(0 && "unknown encoding"
)), 0)) { do { static const node::AssertionInfo args = { "../src/string_bytes.cc"
":" "442", "0 && \"unknown encoding\"", __PRETTY_FUNCTION__
}; node::Assert(args); } while (0); } } while (0);
443 break;
444 }
445
446 return Just(data_size);
447}
448
449Maybe<size_t> StringBytes::Size(Isolate* isolate,
450 Local<Value> val,
451 enum encoding encoding) {
452 HandleScope scope(isolate);
453
454 if (Buffer::HasInstance(val) && (encoding == BUFFER || encoding == LATIN1))
455 return Just(Buffer::Length(val));
456
457 Local<String> str;
458 if (!val->ToString(isolate->GetCurrentContext()).ToLocal(&str))
459 return Nothing<size_t>();
460
461 switch (encoding) {
462 case ASCII:
463 case LATIN1:
464 return Just<size_t>(str->Length());
465
466 case BUFFER:
467 case UTF8:
468 return Just<size_t>(str->Utf8Length(isolate));
469
470 case UCS2:
471 return Just(str->Length() * sizeof(uint16_t));
472
473 case BASE64URL:
474 // Fall through
475 case BASE64: {
476 String::Value value(isolate, str);
477 return Just(base64_decoded_size(*value, value.length()));
478 }
479
480 case HEX:
481 return Just<size_t>(str->Length() / 2);
482 }
483
484 UNREACHABLE()do { static const node::AssertionInfo args = { "../src/string_bytes.cc"
":" "484", "\"Unreachable code reached\"", __PRETTY_FUNCTION__
}; node::Assert(args); } while (0);
485}
486
487
488
489
490static bool contains_non_ascii_slow(const char* buf, size_t len) {
491 for (size_t i = 0; i < len; ++i) {
492 if (buf[i] & 0x80)
493 return true;
494 }
495 return false;
496}
497
498
499static bool contains_non_ascii(const char* src, size_t len) {
500 if (len < 16) {
501 return contains_non_ascii_slow(src, len);
502 }
503
504 const unsigned bytes_per_word = sizeof(uintptr_t);
505 const unsigned align_mask = bytes_per_word - 1;
506 const unsigned unaligned = reinterpret_cast<uintptr_t>(src) & align_mask;
507
508 if (unaligned > 0) {
509 const unsigned n = bytes_per_word - unaligned;
510 if (contains_non_ascii_slow(src, n))
511 return true;
512 src += n;
513 len -= n;
514 }
515
516
517#if defined(_WIN64) || defined(_LP641)
518 const uintptr_t mask = 0x8080808080808080ll;
519#else
520 const uintptr_t mask = 0x80808080l;
521#endif
522
523 const uintptr_t* srcw = reinterpret_cast<const uintptr_t*>(src);
524
525 for (size_t i = 0, n = len / bytes_per_word; i < n; ++i) {
526 if (srcw[i] & mask)
527 return true;
528 }
529
530 const unsigned remainder = len & align_mask;
531 if (remainder > 0) {
532 const size_t offset = len - remainder;
533 if (contains_non_ascii_slow(src + offset, remainder))
534 return true;
535 }
536
537 return false;
538}
539
540
541static void force_ascii_slow(const char* src, char* dst, size_t len) {
542 for (size_t i = 0; i < len; ++i) {
543 dst[i] = src[i] & 0x7f;
544 }
545}
546
547
548static void force_ascii(const char* src, char* dst, size_t len) {
549 if (len < 16) {
550 force_ascii_slow(src, dst, len);
551 return;
552 }
553
554 const unsigned bytes_per_word = sizeof(uintptr_t);
555 const unsigned align_mask = bytes_per_word - 1;
556 const unsigned src_unalign = reinterpret_cast<uintptr_t>(src) & align_mask;
557 const unsigned dst_unalign = reinterpret_cast<uintptr_t>(dst) & align_mask;
558
559 if (src_unalign > 0) {
560 if (src_unalign == dst_unalign) {
561 const unsigned unalign = bytes_per_word - src_unalign;
562 force_ascii_slow(src, dst, unalign);
563 src += unalign;
564 dst += unalign;
565 len -= src_unalign;
566 } else {
567 force_ascii_slow(src, dst, len);
568 return;
569 }
570 }
571
572#if defined(_WIN64) || defined(_LP641)
573 const uintptr_t mask = ~0x8080808080808080ll;
574#else
575 const uintptr_t mask = ~0x80808080l;
576#endif
577
578 const uintptr_t* srcw = reinterpret_cast<const uintptr_t*>(src);
579 uintptr_t* dstw = reinterpret_cast<uintptr_t*>(dst);
580
581 for (size_t i = 0, n = len / bytes_per_word; i < n; ++i) {
582 dstw[i] = srcw[i] & mask;
583 }
584
585 const unsigned remainder = len & align_mask;
586 if (remainder > 0) {
587 const size_t offset = len - remainder;
588 force_ascii_slow(src + offset, dst + offset, remainder);
589 }
590}
591
592
593size_t StringBytes::hex_encode(
594 const char* src,
595 size_t slen,
596 char* dst,
597 size_t dlen) {
598 // We know how much we'll write, just make sure that there's space.
599 CHECK(dlen >= slen * 2 &&do { if (__builtin_expect(!!(!(dlen >= slen * 2 &&
"not enough space provided for hex encode")), 0)) { do { static
const node::AssertionInfo args = { "../src/string_bytes.cc" ":"
"600", "dlen >= slen * 2 && \"not enough space provided for hex encode\""
, __PRETTY_FUNCTION__ }; node::Assert(args); } while (0); } }
while (0)
600 "not enough space provided for hex encode")do { if (__builtin_expect(!!(!(dlen >= slen * 2 &&
"not enough space provided for hex encode")), 0)) { do { static
const node::AssertionInfo args = { "../src/string_bytes.cc" ":"
"600", "dlen >= slen * 2 && \"not enough space provided for hex encode\""
, __PRETTY_FUNCTION__ }; node::Assert(args); } while (0); } }
while (0);
601
602 dlen = slen * 2;
603 for (uint32_t i = 0, k = 0; k < dlen; i += 1, k += 2) {
604 static const char hex[] = "0123456789abcdef";
605 uint8_t val = static_cast<uint8_t>(src[i]);
606 dst[k + 0] = hex[val >> 4];
607 dst[k + 1] = hex[val & 15];
608 }
609
610 return dlen;
611}
612
613std::string StringBytes::hex_encode(const char* src, size_t slen) {
614 size_t dlen = slen * 2;
615 std::string dst(dlen, '\0');
616 hex_encode(src, slen, &dst[0], dlen);
617 return dst;
618}
619
620#define CHECK_BUFLEN_IN_RANGE(len)do { if ((len) > Buffer::kMaxLength) { *error = node::ERR_BUFFER_TOO_LARGE
(isolate); return MaybeLocal<Value>(); } } while (0) \
621 do { \
622 if ((len) > Buffer::kMaxLength) { \
623 *error = node::ERR_BUFFER_TOO_LARGE(isolate); \
624 return MaybeLocal<Value>(); \
625 } \
626 } while (0)
627
628
629MaybeLocal<Value> StringBytes::Encode(Isolate* isolate,
630 const char* buf,
631 size_t buflen,
632 enum encoding encoding,
633 Local<Value>* error) {
634 CHECK_BUFLEN_IN_RANGE(buflen)do { if ((buflen) > Buffer::kMaxLength) { *error = node::ERR_BUFFER_TOO_LARGE
(isolate); return MaybeLocal<Value>(); } } while (0);
635
636 if (!buflen && encoding != BUFFER) {
637 return String::Empty(isolate);
638 }
639
640 MaybeLocal<String> val;
641
642 switch (encoding) {
643 case BUFFER:
644 {
645 auto maybe_buf = Buffer::Copy(isolate, buf, buflen);
646 Local<v8::Object> buf;
647 if (!maybe_buf.ToLocal(&buf)) {
648 *error = node::ERR_MEMORY_ALLOCATION_FAILED(isolate);
649 }
650 return buf;
651 }
652
653 case ASCII:
654 if (contains_non_ascii(buf, buflen)) {
655 char* out = node::UncheckedMalloc(buflen);
656 if (out == nullptr) {
657 *error = node::ERR_MEMORY_ALLOCATION_FAILED(isolate);
658 return MaybeLocal<Value>();
659 }
660 force_ascii(buf, out, buflen);
661 return ExternOneByteString::New(isolate, out, buflen, error);
662 } else {
663 return ExternOneByteString::NewFromCopy(isolate, buf, buflen, error);
664 }
665
666 case UTF8:
667 {
668 val = String::NewFromUtf8(isolate,
669 buf,
670 v8::NewStringType::kNormal,
671 buflen);
672 Local<String> str;
673 if (!val.ToLocal(&str)) {
674 *error = node::ERR_STRING_TOO_LONG(isolate);
675 }
676 return str;
677 }
678
679 case LATIN1:
680 return ExternOneByteString::NewFromCopy(isolate, buf, buflen, error);
681
682 case BASE64: {
683 size_t dlen = base64_encoded_size(buflen);
684 char* dst = node::UncheckedMalloc(dlen);
685 if (dst == nullptr) {
686 *error = node::ERR_MEMORY_ALLOCATION_FAILED(isolate);
687 return MaybeLocal<Value>();
688 }
689
690 size_t written = base64_encode(buf, buflen, dst, dlen);
691 CHECK_EQ(written, dlen)do { if (__builtin_expect(!!(!((written) == (dlen))), 0)) { do
{ static const node::AssertionInfo args = { "../src/string_bytes.cc"
":" "691", "(written) == (dlen)", __PRETTY_FUNCTION__ }; node
::Assert(args); } while (0); } } while (0);
692
693 return ExternOneByteString::New(isolate, dst, dlen, error);
694 }
695
696 case BASE64URL: {
697 size_t dlen = base64_encoded_size(buflen, Base64Mode::URL);
698 char* dst = node::UncheckedMalloc(dlen);
699 if (dst == nullptr) {
700 *error = node::ERR_MEMORY_ALLOCATION_FAILED(isolate);
701 return MaybeLocal<Value>();
702 }
703
704 size_t written = base64_encode(buf, buflen, dst, dlen, Base64Mode::URL);
705 CHECK_EQ(written, dlen)do { if (__builtin_expect(!!(!((written) == (dlen))), 0)) { do
{ static const node::AssertionInfo args = { "../src/string_bytes.cc"
":" "705", "(written) == (dlen)", __PRETTY_FUNCTION__ }; node
::Assert(args); } while (0); } } while (0);
706
707 return ExternOneByteString::New(isolate, dst, dlen, error);
708 }
709
710 case HEX: {
711 size_t dlen = buflen * 2;
712 char* dst = node::UncheckedMalloc(dlen);
713 if (dst == nullptr) {
714 *error = node::ERR_MEMORY_ALLOCATION_FAILED(isolate);
715 return MaybeLocal<Value>();
716 }
717 size_t written = hex_encode(buf, buflen, dst, dlen);
718 CHECK_EQ(written, dlen)do { if (__builtin_expect(!!(!((written) == (dlen))), 0)) { do
{ static const node::AssertionInfo args = { "../src/string_bytes.cc"
":" "718", "(written) == (dlen)", __PRETTY_FUNCTION__ }; node
::Assert(args); } while (0); } } while (0);
719
720 return ExternOneByteString::New(isolate, dst, dlen, error);
721 }
722
723 case UCS2: {
724 if (IsBigEndian()) {
725 uint16_t* dst = node::UncheckedMalloc<uint16_t>(buflen / 2);
726 if (dst == nullptr) {
727 *error = node::ERR_MEMORY_ALLOCATION_FAILED(isolate);
728 return MaybeLocal<Value>();
729 }
730 for (size_t i = 0, k = 0; k < buflen / 2; i += 2, k += 1) {
731 // The input is in *little endian*, because that's what Node.js
732 // expects, so the high byte comes after the low byte.
733 const uint8_t hi = static_cast<uint8_t>(buf[i + 1]);
734 const uint8_t lo = static_cast<uint8_t>(buf[i + 0]);
735 dst[k] = static_cast<uint16_t>(hi) << 8 | lo;
736 }
737 return ExternTwoByteString::New(isolate, dst, buflen / 2, error);
738 }
739 if (reinterpret_cast<uintptr_t>(buf) % 2 != 0) {
740 // Unaligned data still means we can't directly pass it to V8.
741 char* dst = node::UncheckedMalloc(buflen);
742 if (dst == nullptr) {
743 *error = node::ERR_MEMORY_ALLOCATION_FAILED(isolate);
744 return MaybeLocal<Value>();
745 }
746 memcpy(dst, buf, buflen);
747 return ExternTwoByteString::New(
748 isolate, reinterpret_cast<uint16_t*>(dst), buflen / 2, error);
749 }
750 return ExternTwoByteString::NewFromCopy(
751 isolate, reinterpret_cast<const uint16_t*>(buf), buflen / 2, error);
752 }
753
754 default:
755 CHECK(0 && "unknown encoding")do { if (__builtin_expect(!!(!(0 && "unknown encoding"
)), 0)) { do { static const node::AssertionInfo args = { "../src/string_bytes.cc"
":" "755", "0 && \"unknown encoding\"", __PRETTY_FUNCTION__
}; node::Assert(args); } while (0); } } while (0);
756 break;
757 }
758
759 UNREACHABLE()do { static const node::AssertionInfo args = { "../src/string_bytes.cc"
":" "759", "\"Unreachable code reached\"", __PRETTY_FUNCTION__
}; node::Assert(args); } while (0);
760}
761
762
763MaybeLocal<Value> StringBytes::Encode(Isolate* isolate,
764 const uint16_t* buf,
765 size_t buflen,
766 Local<Value>* error) {
767 CHECK_BUFLEN_IN_RANGE(buflen)do { if ((buflen) > Buffer::kMaxLength) { *error = node::ERR_BUFFER_TOO_LARGE
(isolate); return MaybeLocal<Value>(); } } while (0);
768
769 // Node's "ucs2" encoding expects LE character data inside a
770 // Buffer, so we need to reorder on BE platforms. See
771 // https://nodejs.org/api/buffer.html regarding Node's "ucs2"
772 // encoding specification
773 if (IsBigEndian()) {
774 uint16_t* dst = node::UncheckedMalloc<uint16_t>(buflen);
775 if (dst == nullptr) {
776 *error = node::ERR_MEMORY_ALLOCATION_FAILED(isolate);
777 return MaybeLocal<Value>();
778 }
779 size_t nbytes = buflen * sizeof(uint16_t);
780 memcpy(dst, buf, nbytes);
781 SwapBytes16(reinterpret_cast<char*>(dst), nbytes);
782 return ExternTwoByteString::New(isolate, dst, buflen, error);
783 } else {
784 return ExternTwoByteString::NewFromCopy(isolate, buf, buflen, error);
785 }
786}
787
788MaybeLocal<Value> StringBytes::Encode(Isolate* isolate,
789 const char* buf,
790 enum encoding encoding,
791 Local<Value>* error) {
792 const size_t len = strlen(buf);
793 return Encode(isolate, buf, len, encoding, error);
794}
795
796} // namespace node