cJSON_Utils.c 35.0 KB
Newer Older
M
Max Bruckner 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
/*
  Copyright (c) 2009-2017 Dave Gamble and cJSON contributors

  Permission is hereby granted, free of charge, to any person obtaining a copy
  of this software and associated documentation files (the "Software"), to deal
  in the Software without restriction, including without limitation the rights
  to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  copies of the Software, and to permit persons to whom the Software is
  furnished to do so, subject to the following conditions:

  The above copyright notice and this permission notice shall be included in
  all copies or substantial portions of the Software.

  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  THE SOFTWARE.
*/

23
#pragma GCC visibility push(default)
24
#include <ctype.h>
25 26
#include <string.h>
#include <stdlib.h>
27
#include <stdio.h>
M
Max Bruckner 已提交
28
#include <limits.h>
29
#pragma GCC visibility pop
M
Max Bruckner 已提交
30

31 32
#include "cJSON_Utils.h"

M
Max Bruckner 已提交
33 34 35 36
/* define our own boolean type */
#define true ((cJSON_bool)1)
#define false ((cJSON_bool)0)

M
Max Bruckner 已提交
37
static unsigned char* cJSONUtils_strdup(const unsigned char* const string)
38
{
M
Max Bruckner 已提交
39
    size_t length = 0;
40
    unsigned char *copy = NULL;
41

M
Max Bruckner 已提交
42 43 44
    length = strlen((const char*)string) + sizeof("");
    copy = (unsigned char*) cJSON_malloc(length);
    if (copy == NULL)
45
    {
46
        return NULL;
47
    }
M
Max Bruckner 已提交
48
    memcpy(copy, string, length);
49 50 51 52

    return copy;
}

53 54
/* string comparison which doesn't consider NULL pointers equal */
static int compare_strings(const unsigned char *string1, const unsigned char *string2, const cJSON_bool case_sensitive)
55
{
M
Max Bruckner 已提交
56
    if ((string1 == NULL) || (string2 == NULL))
M
Max Bruckner 已提交
57
    {
M
Max Bruckner 已提交
58
        return 1;
M
Max Bruckner 已提交
59
    }
M
Max Bruckner 已提交
60 61

    if (string1 == string2)
M
Max Bruckner 已提交
62
    {
M
Max Bruckner 已提交
63
        return 0;
M
Max Bruckner 已提交
64
    }
M
Max Bruckner 已提交
65

66 67 68 69 70
    if (case_sensitive)
    {
        return strcmp((const char*)string1, (const char*)string2);
    }

M
Max Bruckner 已提交
71
    for(; tolower(*string1) == tolower(*string2); (void)string1++, string2++)
M
Max Bruckner 已提交
72
    {
M
Max Bruckner 已提交
73
        if (*string1 == '\0')
M
Max Bruckner 已提交
74 75 76 77 78
        {
            return 0;
        }
    }

M
Max Bruckner 已提交
79
    return tolower(*string1) - tolower(*string2);
80 81
}

M
Max Bruckner 已提交
82
/* Compare the next path element of two JSON pointers, two NULL pointers are considered unequal: */
83
static cJSON_bool compare_pointers(const unsigned char *name, const unsigned char *pointer, const cJSON_bool case_sensitive)
84
{
M
Max Bruckner 已提交
85
    if ((name == NULL) || (pointer == NULL))
86
    {
87
        return false;
88
    }
M
Max Bruckner 已提交
89 90

    for (; (*name != '\0') && (*pointer != '\0') && (*pointer != '/'); (void)name++, pointer++) /* compare until next '/' */
91
    {
M
Max Bruckner 已提交
92
        if (*pointer == '~')
93 94
        {
            /* check for escaped '~' (~0) and '/' (~1) */
M
Max Bruckner 已提交
95
            if (((pointer[1] != '0') || (*name != '~')) && ((pointer[1] != '1') || (*name != '/')))
96
            {
M
Max Bruckner 已提交
97
                /* invalid escape sequence or wrong character in *name */
98
                return false;
99 100 101
            }
            else
            {
M
Max Bruckner 已提交
102
                pointer++;
103 104
            }
        }
105
        else if ((!case_sensitive && (tolower(*name) != tolower(*pointer))) || (case_sensitive && (*name != *pointer)))
106
        {
107
            return false;
108 109
        }
    }
M
Max Bruckner 已提交
110
    if (((*pointer != 0) && (*pointer != '/')) != (*name != 0))
111 112
    {
        /* one string has ended, the other not */
113
        return false;;
114 115
    }

116
    return true;
117 118
}

119
/* calculate the length of a string if encoded as JSON pointer with ~0 and ~1 escape sequences */
120
static size_t pointer_encoded_length(const unsigned char *string)
121
{
122 123
    size_t length;
    for (length = 0; *string != '\0'; (void)string++, length++)
124
    {
125 126
        /* character needs to be escaped? */
        if ((*string == '~') || (*string == '/'))
127
        {
128
            length++;
129 130 131
        }
    }

132
    return length;
133
}
134

135
/* copy a string while escaping '~' and '/' with ~0 and ~1 JSON pointer escape codes */
136
static void encode_string_as_pointer(unsigned char *destination, const unsigned char *source)
137
{
138
    for (; source[0] != '\0'; (void)source++, destination++)
139
    {
140
        if (source[0] == '/')
141
        {
142 143
            destination[1] = '1';
            destination++;
144
        }
145
        else if (source[0] == '~')
146
        {
147 148 149
            destination[0] = '~';
            destination[1] = '1';
            destination++;
150 151 152
        }
        else
        {
153
            destination[0] = source[0];
154 155 156
        }
    }

157
    destination[0] = '\0';
158 159
}

160
CJSON_PUBLIC(char *) cJSONUtils_FindPointerFromObjectTo(const cJSON * const object, const cJSON * const target)
161
{
162 163
    size_t child_index = 0;
    cJSON *current_child = 0;
164

165 166 167
    if (object == target)
    {
        /* found */
168
        return (char*)cJSONUtils_strdup((const unsigned char*)"");
169
    }
170

171 172
    /* recursively search all children of the object or array */
    for (current_child = object->child; current_child != NULL; (void)(current_child = current_child->next), child_index++)
173
    {
174 175 176
        unsigned char *target_pointer = (unsigned char*)cJSONUtils_FindPointerFromObjectTo(current_child, target);
        /* found the target? */
        if (target_pointer != NULL)
177
        {
178
            if (cJSON_IsArray(object))
179 180
            {
                /* reserve enough memory for a 64 bit integer + '/' and '\0' */
181
                unsigned char *full_pointer = (unsigned char*)cJSON_malloc(strlen((char*)target_pointer) + 20 + sizeof("/"));
182 183 184
                /* check if conversion to unsigned long is valid
                 * This should be eliminated at compile time by dead code elimination
                 * if size_t is an alias of unsigned long, or if it is bigger */
185
                if (child_index > ULONG_MAX)
186
                {
187
                    cJSON_free(target_pointer);
188 189
                    return NULL;
                }
190 191
                sprintf((char*)full_pointer, "/%lu%s", (unsigned long)child_index, target_pointer); /* /<array_index><path> */
                cJSON_free(target_pointer);
192

193
                return (char*)full_pointer;
194
            }
195 196

            if (cJSON_IsObject(object))
197
            {
198
                unsigned char *full_pointer = (unsigned char*)cJSON_malloc(strlen((char*)target_pointer) + pointer_encoded_length((unsigned char*)current_child->string) + 2);
199
                full_pointer[0] = '/';
200
                encode_string_as_pointer(full_pointer + 1, (unsigned char*)current_child->string);
201 202
                strcat((char*)full_pointer, (char*)target_pointer);
                cJSON_free(target_pointer);
203

204
                return (char*)full_pointer;
205 206 207
            }

            /* reached leaf of the tree, found nothing */
208
            cJSON_free(target_pointer);
209
            return NULL;
210 211 212 213
        }
    }

    /* not found */
214
    return NULL;
215 216
}

217 218 219 220 221 222 223 224 225 226 227 228 229
/* non broken version of cJSON_GetArrayItem */
static cJSON *get_array_item(const cJSON *array, size_t item)
{
    cJSON *child = array ? array->child : NULL;
    while ((child != NULL) && (item > 0))
    {
        item--;
        child = child->next;
    }

    return child;
}

230 231 232 233 234 235 236 237 238 239 240
static cJSON_bool decode_array_index_from_pointer(const unsigned char * const pointer, size_t * const index)
{
    size_t parsed_index = 0;
    size_t position = 0;

    if ((pointer[0] == '0') && ((pointer[1] != '\0') && (pointer[1] != '/')))
    {
        /* leading zeroes are not permitted */
        return 0;
    }

241
    for (position = 0; (pointer[position] >= '0') && (pointer[0] <= '9'); position++)
242 243 244 245 246 247 248 249 250 251 252 253 254 255 256
    {
        parsed_index = (10 * parsed_index) + (size_t)(pointer[position] - '0');

    }

    if ((pointer[position] != '\0') && (pointer[position] != '/'))
    {
        return 0;
    }

    *index = parsed_index;

    return 1;
}

257
static cJSON *get_item_from_pointer(cJSON * const object, const char * pointer, const cJSON_bool case_sensitive)
258
{
M
Max Bruckner 已提交
259
    cJSON *current_element = object;
260
    /* follow path of the pointer */
M
Max Bruckner 已提交
261
    while ((pointer[0] == '/') && (current_element != NULL))
262
    {
M
Max Bruckner 已提交
263 264
        pointer++;
        if (cJSON_IsArray(current_element))
265
        {
266
            size_t index = 0;
267
            if (!decode_array_index_from_pointer((const unsigned char*)pointer, &index))
268
            {
269
                return NULL;
270
            }
271

M
Max Bruckner 已提交
272
            current_element = get_array_item(current_element, index);
273
        }
M
Max Bruckner 已提交
274
        else if (cJSON_IsObject(current_element))
275
        {
M
Max Bruckner 已提交
276
            current_element = current_element->child;
277
            /* GetObjectItem. */
278
            while ((current_element != NULL) && !compare_pointers((unsigned char*)current_element->string, (const unsigned char*)pointer, case_sensitive))
279
            {
M
Max Bruckner 已提交
280
                current_element = current_element->next;
281 282
            }
            /* skip to the next path token or end of string */
M
Max Bruckner 已提交
283
            while ((pointer[0] != '\0') && (pointer[0] != '/'))
284 285 286 287 288 289
            {
                pointer++;
            }
        }
        else
        {
290
            return NULL;
291 292 293
        }
    }

M
Max Bruckner 已提交
294
    return current_element;
295 296
}

297 298 299 300 301
CJSON_PUBLIC(cJSON *) cJSONUtils_GetPointer(cJSON * const object, const char *pointer)
{
    return get_item_from_pointer(object, pointer, false);
}

302
/* JSON Patch implementation. */
303
static void decode_pointer_inplace(unsigned char *string)
304
{
305
    unsigned char *decoded_string = string;
306 307 308 309 310

    if (string == NULL) {
        return;
    }

311
    for (; *string; (void)decoded_string++, string++)
312
    {
313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330
        if (string[0] == '~')
        {
            if (string[1] == '0')
            {
                decoded_string[0] = '~';
            }
            else if (string[1] == '1')
            {
                decoded_string[1] = '/';
            }
            else
            {
                /* invalid escape sequence */
                return;
            }

            string++;
        }
331 332
    }

333
    decoded_string[0] = '\0';
334 335
}

336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368
/* non-broken cJSON_DetachItemFromArray */
static cJSON *detach_item_from_array(cJSON *array, size_t which)
{
    cJSON *c = array->child;
    while (c && (which > 0))
    {
        c = c->next;
        which--;
    }
    if (!c)
    {
        /* item doesn't exist */
        return NULL;
    }
    if (c->prev)
    {
        /* not the first element */
        c->prev->next = c->next;
    }
    if (c->next)
    {
        c->next->prev = c->prev;
    }
    if (c==array->child)
    {
        array->child = c->next;
    }
    /* make sure the detached item doesn't point anywhere anymore */
    c->prev = c->next = NULL;

    return c;
}

369
/* detach an item at the given path */
370
static cJSON *detach_path(cJSON *object, const unsigned char *path, const cJSON_bool case_sensitive)
371
{
M
Max Bruckner 已提交
372 373
    unsigned char *parent_pointer = NULL;
    unsigned char *child_pointer = NULL;
374
    cJSON *parent = NULL;
M
Max Bruckner 已提交
375
    cJSON *detached_item = NULL;
376 377

    /* copy path and split it in parent and child */
M
Max Bruckner 已提交
378 379 380
    parent_pointer = cJSONUtils_strdup(path);
    if (parent_pointer == NULL) {
        goto cleanup;
381 382
    }

M
Max Bruckner 已提交
383 384
    child_pointer = (unsigned char*)strrchr((char*)parent_pointer, '/'); /* last '/' */
    if (child_pointer == NULL)
385
    {
M
Max Bruckner 已提交
386
        goto cleanup;
387
    }
388
    /* split strings */
M
Max Bruckner 已提交
389 390
    child_pointer[0] = '\0';
    child_pointer++;
391

392
    parent = get_item_from_pointer(object, (char*)parent_pointer, case_sensitive);
393
    decode_pointer_inplace(child_pointer);
394

M
Max Bruckner 已提交
395
    if (cJSON_IsArray(parent))
396
    {
397
        size_t index = 0;
M
Max Bruckner 已提交
398
        if (!decode_array_index_from_pointer(child_pointer, &index))
399
        {
M
Max Bruckner 已提交
400
            goto cleanup;
401
        }
M
Max Bruckner 已提交
402
        detached_item = detach_item_from_array(parent, index);
403
    }
404
    else if (cJSON_IsObject(parent))
405
    {
M
Max Bruckner 已提交
406 407 408 409 410 411 412 413 414 415 416 417
        detached_item = cJSON_DetachItemFromObject(parent, (char*)child_pointer);
    }
    else
    {
        /* Couldn't find object to remove child from. */
        goto cleanup;
    }

cleanup:
    if (parent_pointer != NULL)
    {
        cJSON_free(parent_pointer);
418
    }
419

M
Max Bruckner 已提交
420
    return detached_item;
421 422
}

423
static cJSON_bool compare_json(cJSON *a, cJSON *b, const cJSON_bool case_sensitive)
424
{
425
    if ((a == NULL) || (b == NULL) || ((a->type & 0xFF) != (b->type & 0xFF)))
M
Max Bruckner 已提交
426 427
    {
        /* mismatched type. */
428
        return false;
M
Max Bruckner 已提交
429
    }
430
    switch (a->type & 0xFF)
M
Max Bruckner 已提交
431 432 433
    {
        case cJSON_Number:
            /* numeric mismatch. */
M
Max Bruckner 已提交
434 435
            if ((a->valueint != b->valueint) || (a->valuedouble != b->valuedouble))
            {
436
                return false;
M
Max Bruckner 已提交
437 438 439
            }
            else
            {
440
                return true;
M
Max Bruckner 已提交
441 442
            }

M
Max Bruckner 已提交
443 444
        case cJSON_String:
            /* string mismatch. */
M
Max Bruckner 已提交
445
            if (strcmp(a->valuestring, b->valuestring) != 0)
M
Max Bruckner 已提交
446
            {
447
                return false;
M
Max Bruckner 已提交
448 449 450
            }
            else
            {
451
                return true;
M
Max Bruckner 已提交
452 453
            }

M
Max Bruckner 已提交
454
        case cJSON_Array:
M
Max Bruckner 已提交
455
            for ((void)(a = a->child), b = b->child; (a != NULL) && (b != NULL); (void)(a = a->next), b = b->next)
M
Max Bruckner 已提交
456
            {
457
                cJSON_bool identical = compare_json(a, b, case_sensitive);
458
                if (!identical)
M
Max Bruckner 已提交
459
                {
460
                    return false;
M
Max Bruckner 已提交
461 462
                }
            }
M
Max Bruckner 已提交
463

M
Max Bruckner 已提交
464
            /* array size mismatch? (one of both children is not NULL) */
M
Max Bruckner 已提交
465 466
            if ((a != NULL) || (b != NULL))
            {
467
                return false;
M
Max Bruckner 已提交
468 469 470
            }
            else
            {
471
                return true;
M
Max Bruckner 已提交
472 473
            }

M
Max Bruckner 已提交
474 475 476
        case cJSON_Object:
            cJSONUtils_SortObject(a);
            cJSONUtils_SortObject(b);
M
Max Bruckner 已提交
477
            for ((void)(a = a->child), b = b->child; (a != NULL) && (b != NULL); (void)(a = a->next), b = b->next)
M
Max Bruckner 已提交
478
            {
479
                cJSON_bool identical = false;
M
Max Bruckner 已提交
480
                /* compare object keys */
481
                if (compare_strings((unsigned char*)a->string, (unsigned char*)b->string, case_sensitive))
M
Max Bruckner 已提交
482 483
                {
                    /* missing member */
484
                    return false;
M
Max Bruckner 已提交
485
                }
486
                identical = compare_json(a, b, case_sensitive);
487
                if (!identical)
M
Max Bruckner 已提交
488
                {
489
                    return false;
M
Max Bruckner 已提交
490 491
                }
            }
M
Max Bruckner 已提交
492

M
Max Bruckner 已提交
493
            /* object length mismatch (one of both children is not null) */
M
Max Bruckner 已提交
494 495
            if ((a != NULL) || (b != NULL))
            {
496
                return false;
M
Max Bruckner 已提交
497 498 499
            }
            else
            {
500
                return true;
M
Max Bruckner 已提交
501
            }
502

M
Max Bruckner 已提交
503 504 505
        default:
            break;
    }
M
Max Bruckner 已提交
506

M
Max Bruckner 已提交
507
    /* null, true or false */
508
    return true;
509 510
}

511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548
/* non broken version of cJSON_InsertItemInArray */
static cJSON_bool insert_item_in_array(cJSON *array, size_t which, cJSON *newitem)
{
    cJSON *child = array->child;
    while (child && (which > 0))
    {
        child = child->next;
        which--;
    }
    if (which > 0)
    {
        /* item is after the end of the array */
        return 0;
    }
    if (child == NULL)
    {
        cJSON_AddItemToArray(array, newitem);
        return 1;
    }

    /* insert into the linked list */
    newitem->next = child;
    newitem->prev = child->prev;
    child->prev = newitem;

    /* was it at the beginning */
    if (child == array->child)
    {
        array->child = newitem;
    }
    else
    {
        newitem->prev->next = newitem;
    }

    return 1;
}

M
Max Bruckner 已提交
549 550
enum patch_operation { INVALID, ADD, REMOVE, REPLACE, MOVE, COPY, TEST };

M
Max Bruckner 已提交
551
static enum patch_operation decode_patch_operation(const cJSON * const patch)
552
{
M
Max Bruckner 已提交
553 554 555 556 557
    cJSON *operation = cJSON_GetObjectItem(patch, "op");
    if (!cJSON_IsString(operation))
    {
        return INVALID;
    }
558

M
Max Bruckner 已提交
559
    if (strcmp(operation->valuestring, "add") == 0)
M
Max Bruckner 已提交
560
    {
M
Max Bruckner 已提交
561
        return ADD;
M
Max Bruckner 已提交
562
    }
563

M
Max Bruckner 已提交
564
    if (strcmp(operation->valuestring, "remove") == 0)
M
Max Bruckner 已提交
565
    {
M
Max Bruckner 已提交
566
        return REMOVE;
M
Max Bruckner 已提交
567
    }
M
Max Bruckner 已提交
568 569

    if (strcmp(operation->valuestring, "replace") == 0)
M
Max Bruckner 已提交
570
    {
M
Max Bruckner 已提交
571
        return REPLACE;
M
Max Bruckner 已提交
572
    }
M
Max Bruckner 已提交
573 574

    if (strcmp(operation->valuestring, "move") == 0)
M
Max Bruckner 已提交
575
    {
M
Max Bruckner 已提交
576
        return MOVE;
M
Max Bruckner 已提交
577
    }
M
Max Bruckner 已提交
578 579

    if (strcmp(operation->valuestring, "copy") == 0)
M
Max Bruckner 已提交
580
    {
M
Max Bruckner 已提交
581
        return COPY;
M
Max Bruckner 已提交
582
    }
M
Max Bruckner 已提交
583 584

    if (strcmp(operation->valuestring, "test") == 0)
M
Max Bruckner 已提交
585
    {
M
Max Bruckner 已提交
586
        return TEST;
M
Max Bruckner 已提交
587
    }
M
Max Bruckner 已提交
588 589 590 591 592 593 594 595

    return INVALID;
}

/* overwrite and existing item with another one and free resources on the way */
static void overwrite_item(cJSON * const root, const cJSON replacement)
{
    if (root == NULL)
M
Max Bruckner 已提交
596
    {
M
Max Bruckner 已提交
597
        return;
M
Max Bruckner 已提交
598
    }
M
Max Bruckner 已提交
599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615

    if (root->string != NULL)
    {
        cJSON_free(root->string);
    }
    if (root->valuestring != NULL)
    {
        cJSON_free(root->valuestring);
    }
    if (root->child != NULL)
    {
        cJSON_Delete(root->child);
    }

    memcpy(root, &replacement, sizeof(cJSON));
}

616
static int apply_patch(cJSON *object, const cJSON *patch, const cJSON_bool case_sensitive)
M
Max Bruckner 已提交
617 618 619 620 621 622 623 624 625 626 627
{
    cJSON *path = NULL;
    cJSON *value = NULL;
    cJSON *parent = NULL;
    enum patch_operation opcode = INVALID;
    unsigned char *parent_pointer = NULL;
    unsigned char *child_pointer = NULL;
    int status = 0;

    path = cJSON_GetObjectItem(patch, "path");
    if (!cJSON_IsString(path))
M
Max Bruckner 已提交
628
    {
M
Max Bruckner 已提交
629 630 631 632 633 634 635 636 637 638 639 640 641 642
        /* malformed patch. */
        status = 2;
        goto cleanup;
    }

    opcode = decode_patch_operation(patch);
    if (opcode == INVALID)
    {
        status = 3;
        goto cleanup;
    }
    else if (opcode == TEST)
    {
        /* compare value: {...} with the given path */
643
        status = !compare_json(get_item_from_pointer(object, path->valuestring, case_sensitive), cJSON_GetObjectItem(patch, "value"), case_sensitive);
M
Max Bruckner 已提交
644
        goto cleanup;
M
Max Bruckner 已提交
645
    }
646

647 648 649 650 651
    /* special case for replacing the root */
    if (path->valuestring[0] == '\0')
    {
        if (opcode == REMOVE)
        {
M
Max Bruckner 已提交
652
            static const cJSON invalid = { NULL, NULL, NULL, cJSON_Invalid, NULL, 0, 0, NULL};
653

M
Max Bruckner 已提交
654
            overwrite_item(object, invalid);
655

M
Max Bruckner 已提交
656 657
            status = 0;
            goto cleanup;
658 659 660 661 662 663 664 665
        }

        if ((opcode == REPLACE) || (opcode == ADD))
        {
            value = cJSON_GetObjectItem(patch, "value");
            if (value == NULL)
            {
                /* missing "value" for add/replace. */
M
Max Bruckner 已提交
666 667
                status = 7;
                goto cleanup;
668 669 670 671 672 673
            }

            value = cJSON_Duplicate(value, 1);
            if (value == NULL)
            {
                /* out of memory for add/replace. */
M
Max Bruckner 已提交
674 675
                status = 8;
                goto cleanup;
676 677
            }

M
Max Bruckner 已提交
678
            overwrite_item(object, *value);
679 680 681

            /* delete the duplicated value */
            cJSON_free(value);
M
Max Bruckner 已提交
682
            value = NULL;
683

M
Max Bruckner 已提交
684 685 686 687 688 689 690 691 692
            /* the string "value" isn't needed */
            if (object->string != NULL)
            {
                cJSON_free(object->string);
                object->string = NULL;
            }

            status = 0;
            goto cleanup;
693 694 695
        }
    }

M
Max Bruckner 已提交
696
    if ((opcode == REMOVE) || (opcode == REPLACE))
M
Max Bruckner 已提交
697 698
    {
        /* Get rid of old. */
699
        cJSON *old_item = detach_path(object, (unsigned char*)path->valuestring, case_sensitive);
700 701
        if (old_item == NULL)
        {
M
Max Bruckner 已提交
702 703
            status = 13;
            goto cleanup;
704 705
        }
        cJSON_Delete(old_item);
M
Max Bruckner 已提交
706
        if (opcode == REMOVE)
M
Max Bruckner 已提交
707
        {
708
            /* For Remove, this job is done. */
M
Max Bruckner 已提交
709 710
            status = 0;
            goto cleanup;
M
Max Bruckner 已提交
711 712
        }
    }
713

M
Max Bruckner 已提交
714
    /* Copy/Move uses "from". */
M
Max Bruckner 已提交
715
    if ((opcode == MOVE) || (opcode == COPY))
M
Max Bruckner 已提交
716 717
    {
        cJSON *from = cJSON_GetObjectItem(patch, "from");
M
Max Bruckner 已提交
718
        if (from == NULL)
M
Max Bruckner 已提交
719 720
        {
            /* missing "from" for copy/move. */
M
Max Bruckner 已提交
721 722
            status = 4;
            goto cleanup;
M
Max Bruckner 已提交
723
        }
724

M
Max Bruckner 已提交
725
        if (opcode == MOVE)
M
Max Bruckner 已提交
726
        {
727
            value = detach_path(object, (unsigned char*)from->valuestring, case_sensitive);
M
Max Bruckner 已提交
728
        }
M
Max Bruckner 已提交
729
        if (opcode == COPY)
M
Max Bruckner 已提交
730
        {
731
            value = get_item_from_pointer(object, from->valuestring, case_sensitive);
M
Max Bruckner 已提交
732
        }
M
Max Bruckner 已提交
733
        if (value == NULL)
M
Max Bruckner 已提交
734 735
        {
            /* missing "from" for copy/move. */
M
Max Bruckner 已提交
736 737
            status = 5;
            goto cleanup;
M
Max Bruckner 已提交
738
        }
M
Max Bruckner 已提交
739
        if (opcode == COPY)
M
Max Bruckner 已提交
740 741 742
        {
            value = cJSON_Duplicate(value, 1);
        }
M
Max Bruckner 已提交
743
        if (value == NULL)
M
Max Bruckner 已提交
744 745
        {
            /* out of memory for copy/move. */
M
Max Bruckner 已提交
746 747
            status = 6;
            goto cleanup;
M
Max Bruckner 已提交
748 749 750 751 752
        }
    }
    else /* Add/Replace uses "value". */
    {
        value = cJSON_GetObjectItem(patch, "value");
M
Max Bruckner 已提交
753
        if (value == NULL)
M
Max Bruckner 已提交
754 755
        {
            /* missing "value" for add/replace. */
M
Max Bruckner 已提交
756 757
            status = 7;
            goto cleanup;
M
Max Bruckner 已提交
758 759
        }
        value = cJSON_Duplicate(value, 1);
M
Max Bruckner 已提交
760
        if (value == NULL)
M
Max Bruckner 已提交
761 762
        {
            /* out of memory for add/replace. */
M
Max Bruckner 已提交
763 764
            status = 8;
            goto cleanup;
M
Max Bruckner 已提交
765 766
        }
    }
767

M
Max Bruckner 已提交
768
    /* Now, just add "value" to "path". */
769

M
Max Bruckner 已提交
770
    /* split pointer in parent and child */
M
Max Bruckner 已提交
771 772 773
    parent_pointer = cJSONUtils_strdup((unsigned char*)path->valuestring);
    child_pointer = (unsigned char*)strrchr((char*)parent_pointer, '/');
    if (child_pointer != NULL)
M
Max Bruckner 已提交
774
    {
M
Max Bruckner 已提交
775 776
        child_pointer[0] = '\0';
        child_pointer++;
M
Max Bruckner 已提交
777
    }
778
    parent = get_item_from_pointer(object, (char*)parent_pointer, case_sensitive);
779
    decode_pointer_inplace(child_pointer);
780

M
Max Bruckner 已提交
781
    /* add, remove, replace, move, copy, test. */
M
Max Bruckner 已提交
782
    if ((parent == NULL) || (child_pointer == NULL))
M
Max Bruckner 已提交
783 784
    {
        /* Couldn't find object to add to. */
M
Max Bruckner 已提交
785 786
        status = 9;
        goto cleanup;
M
Max Bruckner 已提交
787
    }
788
    else if (cJSON_IsArray(parent))
M
Max Bruckner 已提交
789
    {
M
Max Bruckner 已提交
790
        if (strcmp((char*)child_pointer, "-") == 0)
M
Max Bruckner 已提交
791 792
        {
            cJSON_AddItemToArray(parent, value);
M
Max Bruckner 已提交
793
            value = NULL;
M
Max Bruckner 已提交
794 795 796
        }
        else
        {
797
            size_t index = 0;
M
Max Bruckner 已提交
798
            if (!decode_array_index_from_pointer(child_pointer, &index))
799
            {
M
Max Bruckner 已提交
800 801
                status = 11;
                goto cleanup;
802 803
            }

804
            if (!insert_item_in_array(parent, index, value))
805
            {
M
Max Bruckner 已提交
806 807
                status = 10;
                goto cleanup;
808
            }
M
Max Bruckner 已提交
809
            value = NULL;
M
Max Bruckner 已提交
810 811
        }
    }
812
    else if (cJSON_IsObject(parent))
M
Max Bruckner 已提交
813
    {
M
Max Bruckner 已提交
814 815 816
        cJSON_DeleteItemFromObject(parent, (char*)child_pointer);
        cJSON_AddItemToObject(parent, (char*)child_pointer, value);
        value = NULL;
M
Max Bruckner 已提交
817
    }
M
Max Bruckner 已提交
818 819 820

cleanup:
    if (value != NULL)
M
Max Bruckner 已提交
821 822 823
    {
        cJSON_Delete(value);
    }
M
Max Bruckner 已提交
824 825 826 827
    if (parent_pointer != NULL)
    {
        cJSON_free(parent_pointer);
    }
M
Max Bruckner 已提交
828

M
Max Bruckner 已提交
829
    return status;
M
Max Bruckner 已提交
830
}
831

M
Max Bruckner 已提交
832
CJSON_PUBLIC(int) cJSONUtils_ApplyPatches(cJSON * const object, const cJSON * const patches)
833
{
M
Max Bruckner 已提交
834 835
    const cJSON *current_patch = NULL;
    int status = 0;
836

837
    if (!cJSON_IsArray(patches))
838 839 840 841
    {
        /* malformed patches. */
        return 1;
    }
M
Max Bruckner 已提交
842 843

    if (patches != NULL)
844
    {
M
Max Bruckner 已提交
845
        current_patch = patches->child;
846
    }
M
Max Bruckner 已提交
847 848

    while (current_patch != NULL)
849
    {
850
        status = apply_patch(object, current_patch, false);
M
Max Bruckner 已提交
851
        if (status != 0)
852
        {
M
Max Bruckner 已提交
853
            return status;
854
        }
M
Max Bruckner 已提交
855
        current_patch = current_patch->next;
856 857 858
    }

    return 0;
859
}
860

861
static void compose_patch(cJSON * const patches, const unsigned char * const operation, const unsigned char * const path, const unsigned char *suffix, const cJSON * const value)
862
{
863
    cJSON *patch = cJSON_CreateObject();
M
Max Bruckner 已提交
864
    if (patch == NULL)
865
    {
M
Max Bruckner 已提交
866
        return;
867
    }
M
Max Bruckner 已提交
868 869 870
    cJSON_AddItemToObject(patch, "op", cJSON_CreateString((const char*)operation));

    if (suffix == NULL)
871
    {
872
        cJSON_AddItemToObject(patch, "path", cJSON_CreateString((const char*)path));
873
    }
M
Max Bruckner 已提交
874 875
    else
    {
876
        size_t suffix_length = pointer_encoded_length(suffix);
M
Max Bruckner 已提交
877 878 879 880
        size_t path_length = strlen((const char*)path);
        unsigned char *full_path = (unsigned char*)cJSON_malloc(path_length + suffix_length + sizeof("/"));

        sprintf((char*)full_path, "%s/", (const char*)path);
881
        encode_string_as_pointer(full_path + path_length + 1, suffix);
M
Max Bruckner 已提交
882 883 884 885 886 887

        cJSON_AddItemToObject(patch, "path", cJSON_CreateString((const char*)full_path));
        free(full_path);
    }

    if (value != NULL)
888
    {
M
Max Bruckner 已提交
889
        cJSON_AddItemToObject(patch, "value", cJSON_Duplicate(value, 1));
890 891
    }
    cJSON_AddItemToArray(patches, patch);
892 893
}

894
CJSON_PUBLIC(void) cJSONUtils_AddPatchToArray(cJSON * const array, const char * const operation, const char * const path, const cJSON * const value)
M
Max Bruckner 已提交
895
{
896
    compose_patch(array, (const unsigned char*)operation, (const unsigned char*)path, NULL, value);
M
Max Bruckner 已提交
897
}
898

899
static void create_patches(cJSON * const patches, const unsigned char * const path, cJSON * const from, cJSON * const to, const cJSON_bool case_sensitive)
900
{
901 902 903 904 905
    if ((from == NULL) || (to == NULL))
    {
        return;
    }

906
    if ((from->type & 0xFF) != (to->type & 0xFF))
907
    {
908
        compose_patch(patches, (const unsigned char*)"replace", path, 0, to);
909 910 911
        return;
    }

912
    switch (from->type & 0xFF)
913 914 915 916
    {
        case cJSON_Number:
            if ((from->valueint != to->valueint) || (from->valuedouble != to->valuedouble))
            {
917
                compose_patch(patches, (const unsigned char*)"replace", path, NULL, to);
918 919 920 921
            }
            return;

        case cJSON_String:
M
Max Bruckner 已提交
922
            if (strcmp(from->valuestring, to->valuestring) != 0)
923
            {
924
                compose_patch(patches, (const unsigned char*)"replace", path, NULL, to);
925 926
            }
            return;
927

928 929
        case cJSON_Array:
        {
930 931 932 933 934 935 936
            size_t index = 0;
            cJSON *from_child = from->child;
            cJSON *to_child = to->child;
            unsigned char *new_path = (unsigned char*)cJSON_malloc(strlen((const char*)path) + 20 + sizeof("/")); /* Allow space for 64bit int. log10(2^64) = 20 */

            /* generate patches for all array elements that exist in both "from" and "to" */
            for (index = 0; (from_child != NULL) && (to_child != NULL); (void)(from_child = from_child->next), (void)(to_child = to_child->next), index++)
937
            {
938 939 940
                /* check if conversion to unsigned long is valid
                 * This should be eliminated at compile time by dead code elimination
                 * if size_t is an alias of unsigned long, or if it is bigger */
941
                if (index > ULONG_MAX)
942
                {
943
                    free(new_path);
944 945
                    return;
                }
946
                sprintf((char*)new_path, "%s/%lu", path, (unsigned long)index); /* path of the current array element */
947
                create_patches(patches, new_path, from_child, to_child, case_sensitive);
948
            }
949

950
            /* remove leftover elements from 'from' that are not in 'to' */
951
            for (; (from_child != NULL); (void)(from_child = from_child->next))
952
            {
953 954 955
                /* check if conversion to unsigned long is valid
                 * This should be eliminated at compile time by dead code elimination
                 * if size_t is an alias of unsigned long, or if it is bigger */
956
                if (index > ULONG_MAX)
957
                {
958
                    free(new_path);
959 960
                    return;
                }
961
                sprintf((char*)new_path, "%lu", (unsigned long)index);
962
                compose_patch(patches, (const unsigned char*)"remove", path, new_path, NULL);
963 964
            }
            /* add new elements in 'to' that were not in 'from' */
965
            for (; (to_child != NULL); (void)(to_child = to_child->next), index++)
966
            {
967
                compose_patch(patches, (const unsigned char*)"add", path, (const unsigned char*)"-", to_child);
968
            }
969
            free(new_path);
970 971 972 973 974
            return;
        }

        case cJSON_Object:
        {
975 976
            cJSON *from_child = NULL;
            cJSON *to_child = NULL;
977 978 979
            cJSONUtils_SortObject(from);
            cJSONUtils_SortObject(to);

980 981
            from_child = from->child;
            to_child = to->child;
982
            /* for all object values in the object with more of them */
983
            while ((from_child != NULL) || (to_child != NULL))
984
            {
985 986 987 988 989 990 991 992 993 994 995
                int diff;
                if (from_child == NULL)
                {
                    diff = 1;
                }
                else if (to_child == NULL)
                {
                    diff = -1;
                }
                else
                {
996
                    diff = compare_strings((unsigned char*)from_child->string, (unsigned char*)to_child->string, case_sensitive);
997 998 999
                }

                if (diff == 0)
1000 1001
                {
                    /* both object keys are the same */
1002
                    size_t path_length = strlen((const char*)path);
1003
                    size_t from_child_name_length = pointer_encoded_length((unsigned char*)from_child->string);
1004 1005 1006
                    unsigned char *new_path = (unsigned char*)cJSON_malloc(path_length + from_child_name_length + sizeof("/"));

                    sprintf((char*)new_path, "%s/", path);
1007
                    encode_string_as_pointer(new_path + path_length + 1, (unsigned char*)from_child->string);
1008

1009
                    /* create a patch for the element */
1010
                    create_patches(patches, new_path, from_child, to_child, case_sensitive);
1011 1012 1013 1014
                    free(new_path);

                    from_child = from_child->next;
                    to_child = to_child->next;
1015 1016 1017 1018
                }
                else if (diff < 0)
                {
                    /* object element doesn't exist in 'to' --> remove it */
1019
                    compose_patch(patches, (const unsigned char*)"remove", path, (unsigned char*)from_child->string, NULL);
1020 1021

                    from_child = from_child->next;
1022 1023 1024 1025
                }
                else
                {
                    /* object element doesn't exist in 'from' --> add it */
1026
                    compose_patch(patches, (const unsigned char*)"add", path, (unsigned char*)to_child->string, to_child);
1027 1028

                    to_child = to_child->next;
1029 1030 1031 1032 1033 1034 1035 1036 1037
                }
            }
            return;
        }

        default:
            break;
    }
}
1038

1039
CJSON_PUBLIC(cJSON *) cJSONUtils_GeneratePatches(cJSON * const from, cJSON * const to)
1040
{
1041
    cJSON *patches = cJSON_CreateArray();
1042
    create_patches(patches, (const unsigned char*)"", from, to, false);
1043

1044 1045
    return patches;
}
1046

M
Max Bruckner 已提交
1047
/* sort lists using mergesort */
M
Max Bruckner 已提交
1048
static cJSON *sort_list(cJSON *list)
1049
{
M
Max Bruckner 已提交
1050 1051
    cJSON *first = list;
    cJSON *second = list;
M
Max Bruckner 已提交
1052 1053 1054
    cJSON *current_item = list;
    cJSON *result = list;
    cJSON *result_tail = NULL;
1055

M
Max Bruckner 已提交
1056
    if ((list == NULL) || (list->next == NULL))
M
Max Bruckner 已提交
1057 1058
    {
        /* One entry is sorted already. */
M
Max Bruckner 已提交
1059
        return result;
M
Max Bruckner 已提交
1060
    }
1061

1062
    while ((current_item != NULL) && (current_item->next != NULL) && (compare_strings((unsigned char*)current_item->string, (unsigned char*)current_item->next->string, false) < 0))
M
Max Bruckner 已提交
1063 1064
    {
        /* Test for list sorted. */
M
Max Bruckner 已提交
1065
        current_item = current_item->next;
M
Max Bruckner 已提交
1066
    }
M
Max Bruckner 已提交
1067
    if ((current_item == NULL) || (current_item->next == NULL))
M
Max Bruckner 已提交
1068 1069
    {
        /* Leave sorted lists unmodified. */
M
Max Bruckner 已提交
1070
        return result;
M
Max Bruckner 已提交
1071
    }
1072

M
Max Bruckner 已提交
1073 1074 1075
    /* reset pointer to the beginning */
    current_item = list;
    while (current_item != NULL)
M
Max Bruckner 已提交
1076 1077 1078
    {
        /* Walk two pointers to find the middle. */
        second = second->next;
M
Max Bruckner 已提交
1079 1080 1081
        current_item = current_item->next;
        /* advances current_item two steps at a time */
        if (current_item != NULL)
M
Max Bruckner 已提交
1082
        {
M
Max Bruckner 已提交
1083
            current_item = current_item->next;
M
Max Bruckner 已提交
1084 1085
        }
    }
M
Max Bruckner 已提交
1086
    if ((second != NULL) && (second->prev != NULL))
M
Max Bruckner 已提交
1087 1088
    {
        /* Split the lists */
1089
        second->prev->next = NULL;
M
Max Bruckner 已提交
1090
    }
1091

M
Max Bruckner 已提交
1092
    /* Recursively sort the sub-lists. */
M
Max Bruckner 已提交
1093 1094
    first = sort_list(first);
    second = sort_list(second);
M
Max Bruckner 已提交
1095
    result = NULL;
M
Max Bruckner 已提交
1096

M
Max Bruckner 已提交
1097 1098
    /* Merge the sub-lists */
    while ((first != NULL) && (second != NULL))
M
Max Bruckner 已提交
1099
    {
M
Max Bruckner 已提交
1100
        cJSON *smaller = NULL;
1101
        if (compare_strings((unsigned char*)first->string, (unsigned char*)second->string, false) < 0)
M
Max Bruckner 已提交
1102
        {
M
Max Bruckner 已提交
1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125
            smaller = first;
        }
        else
        {
            smaller = second;
        }

        if (result == NULL)
        {
            /* start merged list with the smaller element */
            result_tail = smaller;
            result = smaller;
        }
        else
        {
            /* add smaller element to the list */
            result_tail->next = smaller;
            smaller->prev = result_tail;
            result_tail = smaller;
        }

        if (first == smaller)
        {
M
Max Bruckner 已提交
1126 1127 1128 1129 1130 1131 1132
            first = first->next;
        }
        else
        {
            second = second->next;
        }
    }
M
Max Bruckner 已提交
1133 1134

    if (first != NULL)
M
Max Bruckner 已提交
1135 1136
    {
        /* Append rest of first list. */
M
Max Bruckner 已提交
1137
        if (result == NULL)
M
Max Bruckner 已提交
1138 1139 1140
        {
            return first;
        }
M
Max Bruckner 已提交
1141 1142
        result_tail->next = first;
        first->prev = result_tail;
M
Max Bruckner 已提交
1143
    }
M
Max Bruckner 已提交
1144
    if (second != NULL)
M
Max Bruckner 已提交
1145 1146
    {
        /* Append rest of second list */
M
Max Bruckner 已提交
1147
        if (result == NULL)
M
Max Bruckner 已提交
1148 1149 1150
        {
            return second;
        }
M
Max Bruckner 已提交
1151 1152
        result_tail->next = second;
        second->prev = result_tail;
M
Max Bruckner 已提交
1153 1154
    }

M
Max Bruckner 已提交
1155
    return result;
1156 1157
}

M
Max Bruckner 已提交
1158
CJSON_PUBLIC(void) cJSONUtils_SortObject(cJSON * const object)
M
Max Bruckner 已提交
1159
{
M
Max Bruckner 已提交
1160
    object->child = sort_list(object->child);
M
Max Bruckner 已提交
1161
}
1162

M
Max Bruckner 已提交
1163
CJSON_PUBLIC(cJSON *) cJSONUtils_MergePatch(cJSON *target, const cJSON * const patch)
1164
{
M
Max Bruckner 已提交
1165 1166
    cJSON *patch_child = NULL;

1167
    if (!cJSON_IsObject(patch))
M
Max Bruckner 已提交
1168 1169 1170 1171 1172
    {
        /* scalar value, array or NULL, just duplicate */
        cJSON_Delete(target);
        return cJSON_Duplicate(patch, 1);
    }
1173

1174
    if (!cJSON_IsObject(target))
M
Max Bruckner 已提交
1175 1176 1177 1178 1179
    {
        cJSON_Delete(target);
        target = cJSON_CreateObject();
    }

M
Max Bruckner 已提交
1180 1181
    patch_child = patch->child;
    while (patch_child != NULL)
M
Max Bruckner 已提交
1182
    {
M
Max Bruckner 已提交
1183
        if (cJSON_IsNull(patch_child))
M
Max Bruckner 已提交
1184 1185
        {
            /* NULL is the indicator to remove a value, see RFC7396 */
M
Max Bruckner 已提交
1186
            cJSON_DeleteItemFromObject(target, patch_child->string);
M
Max Bruckner 已提交
1187 1188 1189
        }
        else
        {
M
Max Bruckner 已提交
1190 1191
            cJSON *replace_me = cJSON_DetachItemFromObject(target, patch_child->string);
            cJSON_AddItemToObject(target, patch_child->string, cJSONUtils_MergePatch(replace_me, patch_child));
M
Max Bruckner 已提交
1192
        }
M
Max Bruckner 已提交
1193
        patch_child = patch_child->next;
M
Max Bruckner 已提交
1194 1195
    }
    return target;
1196
}
1197

1198
CJSON_PUBLIC(cJSON *) cJSONUtils_GenerateMergePatch(cJSON * const from, cJSON * const to)
1199
{
1200
    cJSON_bool case_sensitive = false;
1201 1202
    cJSON *from_child = NULL;
    cJSON *to_child = NULL;
1203
    cJSON *patch = NULL;
1204
    if (to == NULL)
1205 1206 1207 1208
    {
        /* patch to delete everything */
        return cJSON_CreateNull();
    }
1209
    if (!cJSON_IsObject(to) || !cJSON_IsObject(from))
1210 1211 1212 1213 1214 1215 1216
    {
        return cJSON_Duplicate(to, 1);
    }

    cJSONUtils_SortObject(from);
    cJSONUtils_SortObject(to);

1217 1218
    from_child = from->child;
    to_child = to->child;
1219
    patch = cJSON_CreateObject();
1220
    while (from_child || to_child)
1221
    {
1222 1223 1224 1225 1226
        int diff;
        if (from_child != NULL)
        {
            if (to_child != NULL)
            {
M
Max Bruckner 已提交
1227
                diff = strcmp(from_child->string, to_child->string);
1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239
            }
            else
            {
                diff = -1;
            }
        }
        else
        {
            diff = 1;
        }

        if (diff < 0)
1240 1241
        {
            /* from has a value that to doesn't have -> remove */
1242 1243 1244
            cJSON_AddItemToObject(patch, from_child->string, cJSON_CreateNull());

            from_child = from_child->next;
1245
        }
1246
        else if (diff > 0)
1247 1248
        {
            /* to has a value that from doesn't have -> add to patch */
1249 1250 1251
            cJSON_AddItemToObject(patch, to_child->string, cJSON_Duplicate(to_child, 1));

            to_child = to_child->next;
1252 1253 1254 1255
        }
        else
        {
            /* object key exists in both objects */
1256
            if (!compare_json(from_child, to_child, case_sensitive))
1257 1258
            {
                /* not identical --> generate a patch */
1259
                cJSON_AddItemToObject(patch, to_child->string, cJSONUtils_GenerateMergePatch(from_child, to_child));
1260
            }
1261

1262
            /* next key in the object */
1263 1264
            from_child = from_child->next;
            to_child = to_child->next;
1265 1266
        }
    }
1267
    if (patch->child == NULL)
1268
    {
1269
        /* no patch generated */
1270
        cJSON_Delete(patch);
1271
        return NULL;
1272 1273 1274
    }

    return patch;
M
Max Bruckner 已提交
1275
}