cJSON_Utils.c 35.5 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;
}

549 550 551 552 553 554 555 556 557 558
static cJSON *get_object_item(const cJSON * const object, const char* name, const cJSON_bool case_sensitive)
{
    if (case_sensitive)
    {
        return cJSON_GetObjectItemCaseSensitive(object, name);
    }

    return cJSON_GetObjectItem(object, name);
}

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

561
static enum patch_operation decode_patch_operation(const cJSON * const patch, const cJSON_bool case_sensitive)
562
{
563
    cJSON *operation = get_object_item(patch, "op", case_sensitive);
M
Max Bruckner 已提交
564 565 566 567
    if (!cJSON_IsString(operation))
    {
        return INVALID;
    }
568

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

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

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

    if (strcmp(operation->valuestring, "move") == 0)
M
Max Bruckner 已提交
585
    {
M
Max Bruckner 已提交
586
        return MOVE;
M
Max Bruckner 已提交
587
    }
M
Max Bruckner 已提交
588 589

    if (strcmp(operation->valuestring, "copy") == 0)
M
Max Bruckner 已提交
590
    {
M
Max Bruckner 已提交
591
        return COPY;
M
Max Bruckner 已提交
592
    }
M
Max Bruckner 已提交
593 594

    if (strcmp(operation->valuestring, "test") == 0)
M
Max Bruckner 已提交
595
    {
M
Max Bruckner 已提交
596
        return TEST;
M
Max Bruckner 已提交
597
    }
M
Max Bruckner 已提交
598 599 600 601 602 603 604 605

    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 已提交
606
    {
M
Max Bruckner 已提交
607
        return;
M
Max Bruckner 已提交
608
    }
M
Max Bruckner 已提交
609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625

    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));
}

626
static int apply_patch(cJSON *object, const cJSON *patch, const cJSON_bool case_sensitive)
M
Max Bruckner 已提交
627 628 629 630 631 632 633 634 635
{
    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;

636
    path = get_object_item(patch, "path", case_sensitive);
M
Max Bruckner 已提交
637
    if (!cJSON_IsString(path))
M
Max Bruckner 已提交
638
    {
M
Max Bruckner 已提交
639 640 641 642 643
        /* malformed patch. */
        status = 2;
        goto cleanup;
    }

644
    opcode = decode_patch_operation(patch, case_sensitive);
M
Max Bruckner 已提交
645 646 647 648 649 650 651 652
    if (opcode == INVALID)
    {
        status = 3;
        goto cleanup;
    }
    else if (opcode == TEST)
    {
        /* compare value: {...} with the given path */
653
        status = !compare_json(get_item_from_pointer(object, path->valuestring, case_sensitive), get_object_item(patch, "value", case_sensitive), case_sensitive);
M
Max Bruckner 已提交
654
        goto cleanup;
M
Max Bruckner 已提交
655
    }
656

657 658 659 660 661
    /* special case for replacing the root */
    if (path->valuestring[0] == '\0')
    {
        if (opcode == REMOVE)
        {
M
Max Bruckner 已提交
662
            static const cJSON invalid = { NULL, NULL, NULL, cJSON_Invalid, NULL, 0, 0, NULL};
663

M
Max Bruckner 已提交
664
            overwrite_item(object, invalid);
665

M
Max Bruckner 已提交
666 667
            status = 0;
            goto cleanup;
668 669 670 671
        }

        if ((opcode == REPLACE) || (opcode == ADD))
        {
672
            value = get_object_item(patch, "value", case_sensitive);
673 674 675
            if (value == NULL)
            {
                /* missing "value" for add/replace. */
M
Max Bruckner 已提交
676 677
                status = 7;
                goto cleanup;
678 679 680 681 682 683
            }

            value = cJSON_Duplicate(value, 1);
            if (value == NULL)
            {
                /* out of memory for add/replace. */
M
Max Bruckner 已提交
684 685
                status = 8;
                goto cleanup;
686 687
            }

M
Max Bruckner 已提交
688
            overwrite_item(object, *value);
689 690 691

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

M
Max Bruckner 已提交
694 695 696 697 698 699 700 701 702
            /* the string "value" isn't needed */
            if (object->string != NULL)
            {
                cJSON_free(object->string);
                object->string = NULL;
            }

            status = 0;
            goto cleanup;
703 704 705
        }
    }

M
Max Bruckner 已提交
706
    if ((opcode == REMOVE) || (opcode == REPLACE))
M
Max Bruckner 已提交
707 708
    {
        /* Get rid of old. */
709
        cJSON *old_item = detach_path(object, (unsigned char*)path->valuestring, case_sensitive);
710 711
        if (old_item == NULL)
        {
M
Max Bruckner 已提交
712 713
            status = 13;
            goto cleanup;
714 715
        }
        cJSON_Delete(old_item);
M
Max Bruckner 已提交
716
        if (opcode == REMOVE)
M
Max Bruckner 已提交
717
        {
718
            /* For Remove, this job is done. */
M
Max Bruckner 已提交
719 720
            status = 0;
            goto cleanup;
M
Max Bruckner 已提交
721 722
        }
    }
723

M
Max Bruckner 已提交
724
    /* Copy/Move uses "from". */
M
Max Bruckner 已提交
725
    if ((opcode == MOVE) || (opcode == COPY))
M
Max Bruckner 已提交
726
    {
727
        cJSON *from = get_object_item(patch, "from", case_sensitive);
M
Max Bruckner 已提交
728
        if (from == NULL)
M
Max Bruckner 已提交
729 730
        {
            /* missing "from" for copy/move. */
M
Max Bruckner 已提交
731 732
            status = 4;
            goto cleanup;
M
Max Bruckner 已提交
733
        }
734

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

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

M
Max Bruckner 已提交
780
    /* split pointer in parent and child */
M
Max Bruckner 已提交
781 782 783
    parent_pointer = cJSONUtils_strdup((unsigned char*)path->valuestring);
    child_pointer = (unsigned char*)strrchr((char*)parent_pointer, '/');
    if (child_pointer != NULL)
M
Max Bruckner 已提交
784
    {
M
Max Bruckner 已提交
785 786
        child_pointer[0] = '\0';
        child_pointer++;
M
Max Bruckner 已提交
787
    }
788
    parent = get_item_from_pointer(object, (char*)parent_pointer, case_sensitive);
789
    decode_pointer_inplace(child_pointer);
790

M
Max Bruckner 已提交
791
    /* add, remove, replace, move, copy, test. */
M
Max Bruckner 已提交
792
    if ((parent == NULL) || (child_pointer == NULL))
M
Max Bruckner 已提交
793 794
    {
        /* Couldn't find object to add to. */
M
Max Bruckner 已提交
795 796
        status = 9;
        goto cleanup;
M
Max Bruckner 已提交
797
    }
798
    else if (cJSON_IsArray(parent))
M
Max Bruckner 已提交
799
    {
M
Max Bruckner 已提交
800
        if (strcmp((char*)child_pointer, "-") == 0)
M
Max Bruckner 已提交
801 802
        {
            cJSON_AddItemToArray(parent, value);
M
Max Bruckner 已提交
803
            value = NULL;
M
Max Bruckner 已提交
804 805 806
        }
        else
        {
807
            size_t index = 0;
M
Max Bruckner 已提交
808
            if (!decode_array_index_from_pointer(child_pointer, &index))
809
            {
M
Max Bruckner 已提交
810 811
                status = 11;
                goto cleanup;
812 813
            }

814
            if (!insert_item_in_array(parent, index, value))
815
            {
M
Max Bruckner 已提交
816 817
                status = 10;
                goto cleanup;
818
            }
M
Max Bruckner 已提交
819
            value = NULL;
M
Max Bruckner 已提交
820 821
        }
    }
822
    else if (cJSON_IsObject(parent))
M
Max Bruckner 已提交
823
    {
M
Max Bruckner 已提交
824 825 826
        cJSON_DeleteItemFromObject(parent, (char*)child_pointer);
        cJSON_AddItemToObject(parent, (char*)child_pointer, value);
        value = NULL;
M
Max Bruckner 已提交
827
    }
M
Max Bruckner 已提交
828 829 830

cleanup:
    if (value != NULL)
M
Max Bruckner 已提交
831 832 833
    {
        cJSON_Delete(value);
    }
M
Max Bruckner 已提交
834 835 836 837
    if (parent_pointer != NULL)
    {
        cJSON_free(parent_pointer);
    }
M
Max Bruckner 已提交
838

M
Max Bruckner 已提交
839
    return status;
M
Max Bruckner 已提交
840
}
841

M
Max Bruckner 已提交
842
CJSON_PUBLIC(int) cJSONUtils_ApplyPatches(cJSON * const object, const cJSON * const patches)
843
{
M
Max Bruckner 已提交
844 845
    const cJSON *current_patch = NULL;
    int status = 0;
846

847
    if (!cJSON_IsArray(patches))
848 849 850 851
    {
        /* malformed patches. */
        return 1;
    }
M
Max Bruckner 已提交
852 853

    if (patches != NULL)
854
    {
M
Max Bruckner 已提交
855
        current_patch = patches->child;
856
    }
M
Max Bruckner 已提交
857 858

    while (current_patch != NULL)
859
    {
860
        status = apply_patch(object, current_patch, false);
M
Max Bruckner 已提交
861
        if (status != 0)
862
        {
M
Max Bruckner 已提交
863
            return status;
864
        }
M
Max Bruckner 已提交
865
        current_patch = current_patch->next;
866 867 868
    }

    return 0;
869
}
870

871
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)
872
{
873
    cJSON *patch = cJSON_CreateObject();
M
Max Bruckner 已提交
874
    if (patch == NULL)
875
    {
M
Max Bruckner 已提交
876
        return;
877
    }
M
Max Bruckner 已提交
878 879 880
    cJSON_AddItemToObject(patch, "op", cJSON_CreateString((const char*)operation));

    if (suffix == NULL)
881
    {
882
        cJSON_AddItemToObject(patch, "path", cJSON_CreateString((const char*)path));
883
    }
M
Max Bruckner 已提交
884 885
    else
    {
886
        size_t suffix_length = pointer_encoded_length(suffix);
M
Max Bruckner 已提交
887 888 889 890
        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);
891
        encode_string_as_pointer(full_path + path_length + 1, suffix);
M
Max Bruckner 已提交
892 893 894 895 896 897

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

    if (value != NULL)
898
    {
M
Max Bruckner 已提交
899
        cJSON_AddItemToObject(patch, "value", cJSON_Duplicate(value, 1));
900 901
    }
    cJSON_AddItemToArray(patches, patch);
902 903
}

904
CJSON_PUBLIC(void) cJSONUtils_AddPatchToArray(cJSON * const array, const char * const operation, const char * const path, const cJSON * const value)
M
Max Bruckner 已提交
905
{
906
    compose_patch(array, (const unsigned char*)operation, (const unsigned char*)path, NULL, value);
M
Max Bruckner 已提交
907
}
908

909
static void create_patches(cJSON * const patches, const unsigned char * const path, cJSON * const from, cJSON * const to, const cJSON_bool case_sensitive)
910
{
911 912 913 914 915
    if ((from == NULL) || (to == NULL))
    {
        return;
    }

916
    if ((from->type & 0xFF) != (to->type & 0xFF))
917
    {
918
        compose_patch(patches, (const unsigned char*)"replace", path, 0, to);
919 920 921
        return;
    }

922
    switch (from->type & 0xFF)
923 924 925 926
    {
        case cJSON_Number:
            if ((from->valueint != to->valueint) || (from->valuedouble != to->valuedouble))
            {
927
                compose_patch(patches, (const unsigned char*)"replace", path, NULL, to);
928 929 930 931
            }
            return;

        case cJSON_String:
M
Max Bruckner 已提交
932
            if (strcmp(from->valuestring, to->valuestring) != 0)
933
            {
934
                compose_patch(patches, (const unsigned char*)"replace", path, NULL, to);
935 936
            }
            return;
937

938 939
        case cJSON_Array:
        {
940 941 942 943 944 945 946
            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++)
947
            {
948 949 950
                /* 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 */
951
                if (index > ULONG_MAX)
952
                {
953
                    free(new_path);
954 955
                    return;
                }
956
                sprintf((char*)new_path, "%s/%lu", path, (unsigned long)index); /* path of the current array element */
957
                create_patches(patches, new_path, from_child, to_child, case_sensitive);
958
            }
959

960
            /* remove leftover elements from 'from' that are not in 'to' */
961
            for (; (from_child != NULL); (void)(from_child = from_child->next))
962
            {
963 964 965
                /* 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 */
966
                if (index > ULONG_MAX)
967
                {
968
                    free(new_path);
969 970
                    return;
                }
971
                sprintf((char*)new_path, "%lu", (unsigned long)index);
972
                compose_patch(patches, (const unsigned char*)"remove", path, new_path, NULL);
973 974
            }
            /* add new elements in 'to' that were not in 'from' */
975
            for (; (to_child != NULL); (void)(to_child = to_child->next), index++)
976
            {
977
                compose_patch(patches, (const unsigned char*)"add", path, (const unsigned char*)"-", to_child);
978
            }
979
            free(new_path);
980 981 982 983 984
            return;
        }

        case cJSON_Object:
        {
985 986
            cJSON *from_child = NULL;
            cJSON *to_child = NULL;
987 988 989
            cJSONUtils_SortObject(from);
            cJSONUtils_SortObject(to);

990 991
            from_child = from->child;
            to_child = to->child;
992
            /* for all object values in the object with more of them */
993
            while ((from_child != NULL) || (to_child != NULL))
994
            {
995 996 997 998 999 1000 1001 1002 1003 1004 1005
                int diff;
                if (from_child == NULL)
                {
                    diff = 1;
                }
                else if (to_child == NULL)
                {
                    diff = -1;
                }
                else
                {
1006
                    diff = compare_strings((unsigned char*)from_child->string, (unsigned char*)to_child->string, case_sensitive);
1007 1008 1009
                }

                if (diff == 0)
1010 1011
                {
                    /* both object keys are the same */
1012
                    size_t path_length = strlen((const char*)path);
1013
                    size_t from_child_name_length = pointer_encoded_length((unsigned char*)from_child->string);
1014 1015 1016
                    unsigned char *new_path = (unsigned char*)cJSON_malloc(path_length + from_child_name_length + sizeof("/"));

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

1019
                    /* create a patch for the element */
1020
                    create_patches(patches, new_path, from_child, to_child, case_sensitive);
1021 1022 1023 1024
                    free(new_path);

                    from_child = from_child->next;
                    to_child = to_child->next;
1025 1026 1027 1028
                }
                else if (diff < 0)
                {
                    /* object element doesn't exist in 'to' --> remove it */
1029
                    compose_patch(patches, (const unsigned char*)"remove", path, (unsigned char*)from_child->string, NULL);
1030 1031

                    from_child = from_child->next;
1032 1033 1034 1035
                }
                else
                {
                    /* object element doesn't exist in 'from' --> add it */
1036
                    compose_patch(patches, (const unsigned char*)"add", path, (unsigned char*)to_child->string, to_child);
1037 1038

                    to_child = to_child->next;
1039 1040 1041 1042 1043 1044 1045 1046 1047
                }
            }
            return;
        }

        default:
            break;
    }
}
1048

1049
CJSON_PUBLIC(cJSON *) cJSONUtils_GeneratePatches(cJSON * const from, cJSON * const to)
1050
{
1051
    cJSON *patches = cJSON_CreateArray();
1052
    create_patches(patches, (const unsigned char*)"", from, to, false);
1053

1054 1055
    return patches;
}
1056

M
Max Bruckner 已提交
1057
/* sort lists using mergesort */
1058
static cJSON *sort_list(cJSON *list, const cJSON_bool case_sensitive)
1059
{
M
Max Bruckner 已提交
1060 1061
    cJSON *first = list;
    cJSON *second = list;
M
Max Bruckner 已提交
1062 1063 1064
    cJSON *current_item = list;
    cJSON *result = list;
    cJSON *result_tail = NULL;
1065

M
Max Bruckner 已提交
1066
    if ((list == NULL) || (list->next == NULL))
M
Max Bruckner 已提交
1067 1068
    {
        /* One entry is sorted already. */
M
Max Bruckner 已提交
1069
        return result;
M
Max Bruckner 已提交
1070
    }
1071

1072
    while ((current_item != NULL) && (current_item->next != NULL) && (compare_strings((unsigned char*)current_item->string, (unsigned char*)current_item->next->string, case_sensitive) < 0))
M
Max Bruckner 已提交
1073 1074
    {
        /* Test for list sorted. */
M
Max Bruckner 已提交
1075
        current_item = current_item->next;
M
Max Bruckner 已提交
1076
    }
M
Max Bruckner 已提交
1077
    if ((current_item == NULL) || (current_item->next == NULL))
M
Max Bruckner 已提交
1078 1079
    {
        /* Leave sorted lists unmodified. */
M
Max Bruckner 已提交
1080
        return result;
M
Max Bruckner 已提交
1081
    }
1082

M
Max Bruckner 已提交
1083 1084 1085
    /* reset pointer to the beginning */
    current_item = list;
    while (current_item != NULL)
M
Max Bruckner 已提交
1086 1087 1088
    {
        /* Walk two pointers to find the middle. */
        second = second->next;
M
Max Bruckner 已提交
1089 1090 1091
        current_item = current_item->next;
        /* advances current_item two steps at a time */
        if (current_item != NULL)
M
Max Bruckner 已提交
1092
        {
M
Max Bruckner 已提交
1093
            current_item = current_item->next;
M
Max Bruckner 已提交
1094 1095
        }
    }
M
Max Bruckner 已提交
1096
    if ((second != NULL) && (second->prev != NULL))
M
Max Bruckner 已提交
1097 1098
    {
        /* Split the lists */
1099
        second->prev->next = NULL;
M
Max Bruckner 已提交
1100
    }
1101

M
Max Bruckner 已提交
1102
    /* Recursively sort the sub-lists. */
1103 1104
    first = sort_list(first, case_sensitive);
    second = sort_list(second, case_sensitive);
M
Max Bruckner 已提交
1105
    result = NULL;
M
Max Bruckner 已提交
1106

M
Max Bruckner 已提交
1107 1108
    /* Merge the sub-lists */
    while ((first != NULL) && (second != NULL))
M
Max Bruckner 已提交
1109
    {
M
Max Bruckner 已提交
1110
        cJSON *smaller = NULL;
1111
        if (compare_strings((unsigned char*)first->string, (unsigned char*)second->string, false) < 0)
M
Max Bruckner 已提交
1112
        {
M
Max Bruckner 已提交
1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135
            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 已提交
1136 1137 1138 1139 1140 1141 1142
            first = first->next;
        }
        else
        {
            second = second->next;
        }
    }
M
Max Bruckner 已提交
1143 1144

    if (first != NULL)
M
Max Bruckner 已提交
1145 1146
    {
        /* Append rest of first list. */
M
Max Bruckner 已提交
1147
        if (result == NULL)
M
Max Bruckner 已提交
1148 1149 1150
        {
            return first;
        }
M
Max Bruckner 已提交
1151 1152
        result_tail->next = first;
        first->prev = result_tail;
M
Max Bruckner 已提交
1153
    }
M
Max Bruckner 已提交
1154
    if (second != NULL)
M
Max Bruckner 已提交
1155 1156
    {
        /* Append rest of second list */
M
Max Bruckner 已提交
1157
        if (result == NULL)
M
Max Bruckner 已提交
1158 1159 1160
        {
            return second;
        }
M
Max Bruckner 已提交
1161 1162
        result_tail->next = second;
        second->prev = result_tail;
M
Max Bruckner 已提交
1163 1164
    }

M
Max Bruckner 已提交
1165
    return result;
1166 1167
}

M
Max Bruckner 已提交
1168
CJSON_PUBLIC(void) cJSONUtils_SortObject(cJSON * const object)
M
Max Bruckner 已提交
1169
{
1170
    object->child = sort_list(object->child, false);
M
Max Bruckner 已提交
1171
}
1172

M
Max Bruckner 已提交
1173
CJSON_PUBLIC(cJSON *) cJSONUtils_MergePatch(cJSON *target, const cJSON * const patch)
1174
{
M
Max Bruckner 已提交
1175 1176
    cJSON *patch_child = NULL;

1177
    if (!cJSON_IsObject(patch))
M
Max Bruckner 已提交
1178 1179 1180 1181 1182
    {
        /* scalar value, array or NULL, just duplicate */
        cJSON_Delete(target);
        return cJSON_Duplicate(patch, 1);
    }
1183

1184
    if (!cJSON_IsObject(target))
M
Max Bruckner 已提交
1185 1186 1187 1188 1189
    {
        cJSON_Delete(target);
        target = cJSON_CreateObject();
    }

M
Max Bruckner 已提交
1190 1191
    patch_child = patch->child;
    while (patch_child != NULL)
M
Max Bruckner 已提交
1192
    {
M
Max Bruckner 已提交
1193
        if (cJSON_IsNull(patch_child))
M
Max Bruckner 已提交
1194 1195
        {
            /* NULL is the indicator to remove a value, see RFC7396 */
M
Max Bruckner 已提交
1196
            cJSON_DeleteItemFromObject(target, patch_child->string);
M
Max Bruckner 已提交
1197 1198 1199
        }
        else
        {
M
Max Bruckner 已提交
1200 1201
            cJSON *replace_me = cJSON_DetachItemFromObject(target, patch_child->string);
            cJSON_AddItemToObject(target, patch_child->string, cJSONUtils_MergePatch(replace_me, patch_child));
M
Max Bruckner 已提交
1202
        }
M
Max Bruckner 已提交
1203
        patch_child = patch_child->next;
M
Max Bruckner 已提交
1204 1205
    }
    return target;
1206
}
1207

1208
CJSON_PUBLIC(cJSON *) cJSONUtils_GenerateMergePatch(cJSON * const from, cJSON * const to)
1209
{
1210
    cJSON_bool case_sensitive = false;
1211 1212
    cJSON *from_child = NULL;
    cJSON *to_child = NULL;
1213
    cJSON *patch = NULL;
1214
    if (to == NULL)
1215 1216 1217 1218
    {
        /* patch to delete everything */
        return cJSON_CreateNull();
    }
1219
    if (!cJSON_IsObject(to) || !cJSON_IsObject(from))
1220 1221 1222 1223 1224 1225 1226
    {
        return cJSON_Duplicate(to, 1);
    }

    cJSONUtils_SortObject(from);
    cJSONUtils_SortObject(to);

1227 1228
    from_child = from->child;
    to_child = to->child;
1229
    patch = cJSON_CreateObject();
1230
    while (from_child || to_child)
1231
    {
1232 1233 1234 1235 1236
        int diff;
        if (from_child != NULL)
        {
            if (to_child != NULL)
            {
M
Max Bruckner 已提交
1237
                diff = strcmp(from_child->string, to_child->string);
1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249
            }
            else
            {
                diff = -1;
            }
        }
        else
        {
            diff = 1;
        }

        if (diff < 0)
1250 1251
        {
            /* from has a value that to doesn't have -> remove */
1252 1253 1254
            cJSON_AddItemToObject(patch, from_child->string, cJSON_CreateNull());

            from_child = from_child->next;
1255
        }
1256
        else if (diff > 0)
1257 1258
        {
            /* to has a value that from doesn't have -> add to patch */
1259 1260 1261
            cJSON_AddItemToObject(patch, to_child->string, cJSON_Duplicate(to_child, 1));

            to_child = to_child->next;
1262 1263 1264 1265
        }
        else
        {
            /* object key exists in both objects */
1266
            if (!compare_json(from_child, to_child, case_sensitive))
1267 1268
            {
                /* not identical --> generate a patch */
1269
                cJSON_AddItemToObject(patch, to_child->string, cJSONUtils_GenerateMergePatch(from_child, to_child));
1270
            }
1271

1272
            /* next key in the object */
1273 1274
            from_child = from_child->next;
            to_child = to_child->next;
1275 1276
        }
    }
1277
    if (patch->child == NULL)
1278
    {
1279
        /* no patch generated */
1280
        cJSON_Delete(patch);
1281
        return NULL;
1282 1283 1284
    }

    return patch;
M
Max Bruckner 已提交
1285
}