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

M
Max Bruckner 已提交
257
CJSON_PUBLIC(cJSON *) cJSONUtils_GetPointer(cJSON * const object, const char *pointer)
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, false))
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
/* JSON Patch implementation. */
298
static void decode_pointer_inplace(unsigned char *string)
299
{
300
    unsigned char *decoded_string = string;
301 302 303 304 305

    if (string == NULL) {
        return;
    }

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

            string++;
        }
326 327
    }

328
    decoded_string[0] = '\0';
329 330
}

331 332 333 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
/* 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;
}

364 365
/* detach an item at the given path */
static cJSON *detach_path(cJSON *object, const unsigned char *path)
366
{
M
Max Bruckner 已提交
367 368
    unsigned char *parent_pointer = NULL;
    unsigned char *child_pointer = NULL;
369
    cJSON *parent = NULL;
M
Max Bruckner 已提交
370
    cJSON *detached_item = NULL;
371 372

    /* copy path and split it in parent and child */
M
Max Bruckner 已提交
373 374 375
    parent_pointer = cJSONUtils_strdup(path);
    if (parent_pointer == NULL) {
        goto cleanup;
376 377
    }

M
Max Bruckner 已提交
378 379
    child_pointer = (unsigned char*)strrchr((char*)parent_pointer, '/'); /* last '/' */
    if (child_pointer == NULL)
380
    {
M
Max Bruckner 已提交
381
        goto cleanup;
382
    }
383
    /* split strings */
M
Max Bruckner 已提交
384 385
    child_pointer[0] = '\0';
    child_pointer++;
386

M
Max Bruckner 已提交
387
    parent = cJSONUtils_GetPointer(object, (char*)parent_pointer);
388
    decode_pointer_inplace(child_pointer);
389

M
Max Bruckner 已提交
390
    if (cJSON_IsArray(parent))
391
    {
392
        size_t index = 0;
M
Max Bruckner 已提交
393
        if (!decode_array_index_from_pointer(child_pointer, &index))
394
        {
M
Max Bruckner 已提交
395
            goto cleanup;
396
        }
M
Max Bruckner 已提交
397
        detached_item = detach_item_from_array(parent, index);
398
    }
399
    else if (cJSON_IsObject(parent))
400
    {
M
Max Bruckner 已提交
401 402 403 404 405 406 407 408 409 410 411 412
        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);
413
    }
414

M
Max Bruckner 已提交
415
    return detached_item;
416 417
}

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

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

M
Max Bruckner 已提交
449
        case cJSON_Array:
M
Max Bruckner 已提交
450
            for ((void)(a = a->child), b = b->child; (a != NULL) && (b != NULL); (void)(a = a->next), b = b->next)
M
Max Bruckner 已提交
451
            {
452 453
                cJSON_bool identical = compare_json(a, b);
                if (!identical)
M
Max Bruckner 已提交
454
                {
455
                    return false;
M
Max Bruckner 已提交
456 457
                }
            }
M
Max Bruckner 已提交
458

M
Max Bruckner 已提交
459
            /* array size mismatch? (one of both children is not NULL) */
M
Max Bruckner 已提交
460 461
            if ((a != NULL) || (b != NULL))
            {
462
                return false;
M
Max Bruckner 已提交
463 464 465
            }
            else
            {
466
                return true;
M
Max Bruckner 已提交
467 468
            }

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

M
Max Bruckner 已提交
488
            /* object length mismatch (one of both children is not null) */
M
Max Bruckner 已提交
489 490
            if ((a != NULL) || (b != NULL))
            {
491
                return false;
M
Max Bruckner 已提交
492 493 494
            }
            else
            {
495
                return true;
M
Max Bruckner 已提交
496
            }
497

M
Max Bruckner 已提交
498 499 500
        default:
            break;
    }
M
Max Bruckner 已提交
501

M
Max Bruckner 已提交
502
    /* null, true or false */
503
    return true;
504 505
}

506 507 508 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
/* 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 已提交
544 545
enum patch_operation { INVALID, ADD, REMOVE, REPLACE, MOVE, COPY, TEST };

M
Max Bruckner 已提交
546
static enum patch_operation decode_patch_operation(const cJSON * const patch)
547
{
M
Max Bruckner 已提交
548 549 550 551 552
    cJSON *operation = cJSON_GetObjectItem(patch, "op");
    if (!cJSON_IsString(operation))
    {
        return INVALID;
    }
553

M
Max Bruckner 已提交
554
    if (strcmp(operation->valuestring, "add") == 0)
M
Max Bruckner 已提交
555
    {
M
Max Bruckner 已提交
556
        return ADD;
M
Max Bruckner 已提交
557
    }
558

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

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

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

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

    if (strcmp(operation->valuestring, "test") == 0)
M
Max Bruckner 已提交
580
    {
M
Max Bruckner 已提交
581
        return TEST;
M
Max Bruckner 已提交
582
    }
M
Max Bruckner 已提交
583 584 585 586 587 588 589 590

    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 已提交
591
    {
M
Max Bruckner 已提交
592
        return;
M
Max Bruckner 已提交
593
    }
M
Max Bruckner 已提交
594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610

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

611
static int apply_patch(cJSON *object, const cJSON *patch)
M
Max Bruckner 已提交
612 613 614 615 616 617 618 619 620 621 622
{
    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 已提交
623
    {
M
Max Bruckner 已提交
624 625 626 627 628 629 630 631 632 633 634 635 636 637
        /* 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 */
638
        status = !compare_json(cJSONUtils_GetPointer(object, path->valuestring), cJSON_GetObjectItem(patch, "value"));
M
Max Bruckner 已提交
639
        goto cleanup;
M
Max Bruckner 已提交
640
    }
641

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

M
Max Bruckner 已提交
649
            overwrite_item(object, invalid);
650

M
Max Bruckner 已提交
651 652
            status = 0;
            goto cleanup;
653 654 655 656 657 658 659 660
        }

        if ((opcode == REPLACE) || (opcode == ADD))
        {
            value = cJSON_GetObjectItem(patch, "value");
            if (value == NULL)
            {
                /* missing "value" for add/replace. */
M
Max Bruckner 已提交
661 662
                status = 7;
                goto cleanup;
663 664 665 666 667 668
            }

            value = cJSON_Duplicate(value, 1);
            if (value == NULL)
            {
                /* out of memory for add/replace. */
M
Max Bruckner 已提交
669 670
                status = 8;
                goto cleanup;
671 672
            }

M
Max Bruckner 已提交
673
            overwrite_item(object, *value);
674 675 676

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

M
Max Bruckner 已提交
679 680 681 682 683 684 685 686 687
            /* the string "value" isn't needed */
            if (object->string != NULL)
            {
                cJSON_free(object->string);
                object->string = NULL;
            }

            status = 0;
            goto cleanup;
688 689 690
        }
    }

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

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

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

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

M
Max Bruckner 已提交
765
    /* split pointer in parent and child */
M
Max Bruckner 已提交
766 767 768
    parent_pointer = cJSONUtils_strdup((unsigned char*)path->valuestring);
    child_pointer = (unsigned char*)strrchr((char*)parent_pointer, '/');
    if (child_pointer != NULL)
M
Max Bruckner 已提交
769
    {
M
Max Bruckner 已提交
770 771
        child_pointer[0] = '\0';
        child_pointer++;
M
Max Bruckner 已提交
772
    }
M
Max Bruckner 已提交
773
    parent = cJSONUtils_GetPointer(object, (char*)parent_pointer);
774
    decode_pointer_inplace(child_pointer);
775

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

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

cleanup:
    if (value != NULL)
M
Max Bruckner 已提交
816 817 818
    {
        cJSON_Delete(value);
    }
M
Max Bruckner 已提交
819 820 821 822
    if (parent_pointer != NULL)
    {
        cJSON_free(parent_pointer);
    }
M
Max Bruckner 已提交
823

M
Max Bruckner 已提交
824
    return status;
M
Max Bruckner 已提交
825
}
826

M
Max Bruckner 已提交
827
CJSON_PUBLIC(int) cJSONUtils_ApplyPatches(cJSON * const object, const cJSON * const patches)
828
{
M
Max Bruckner 已提交
829 830
    const cJSON *current_patch = NULL;
    int status = 0;
831

832
    if (!cJSON_IsArray(patches))
833 834 835 836
    {
        /* malformed patches. */
        return 1;
    }
M
Max Bruckner 已提交
837 838

    if (patches != NULL)
839
    {
M
Max Bruckner 已提交
840
        current_patch = patches->child;
841
    }
M
Max Bruckner 已提交
842 843

    while (current_patch != NULL)
844
    {
845
        status = apply_patch(object, current_patch);
M
Max Bruckner 已提交
846
        if (status != 0)
847
        {
M
Max Bruckner 已提交
848
            return status;
849
        }
M
Max Bruckner 已提交
850
        current_patch = current_patch->next;
851 852 853
    }

    return 0;
854
}
855

856
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)
857
{
858
    cJSON *patch = cJSON_CreateObject();
M
Max Bruckner 已提交
859
    if (patch == NULL)
860
    {
M
Max Bruckner 已提交
861
        return;
862
    }
M
Max Bruckner 已提交
863 864 865
    cJSON_AddItemToObject(patch, "op", cJSON_CreateString((const char*)operation));

    if (suffix == NULL)
866
    {
867
        cJSON_AddItemToObject(patch, "path", cJSON_CreateString((const char*)path));
868
    }
M
Max Bruckner 已提交
869 870
    else
    {
871
        size_t suffix_length = pointer_encoded_length(suffix);
M
Max Bruckner 已提交
872 873 874 875
        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);
876
        encode_string_as_pointer(full_path + path_length + 1, suffix);
M
Max Bruckner 已提交
877 878 879 880 881 882

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

    if (value != NULL)
883
    {
M
Max Bruckner 已提交
884
        cJSON_AddItemToObject(patch, "value", cJSON_Duplicate(value, 1));
885 886
    }
    cJSON_AddItemToArray(patches, patch);
887 888
}

889
CJSON_PUBLIC(void) cJSONUtils_AddPatchToArray(cJSON * const array, const char * const operation, const char * const path, const cJSON * const value)
M
Max Bruckner 已提交
890
{
891
    compose_patch(array, (const unsigned char*)operation, (const unsigned char*)path, NULL, value);
M
Max Bruckner 已提交
892
}
893

894
static void create_patches(cJSON * const patches, const unsigned char * const path, cJSON * const from, cJSON * const to)
895
{
896 897 898 899 900
    if ((from == NULL) || (to == NULL))
    {
        return;
    }

901
    if ((from->type & 0xFF) != (to->type & 0xFF))
902
    {
903
        compose_patch(patches, (const unsigned char*)"replace", path, 0, to);
904 905 906
        return;
    }

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

        case cJSON_String:
M
Max Bruckner 已提交
917
            if (strcmp(from->valuestring, to->valuestring) != 0)
918
            {
919
                compose_patch(patches, (const unsigned char*)"replace", path, NULL, to);
920 921
            }
            return;
922

923 924
        case cJSON_Array:
        {
925 926 927 928 929 930 931
            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++)
932
            {
933 934 935
                /* 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 */
936
                if (index > ULONG_MAX)
937
                {
938
                    free(new_path);
939 940
                    return;
                }
941
                sprintf((char*)new_path, "%s/%lu", path, (unsigned long)index); /* path of the current array element */
942
                create_patches(patches, new_path, from_child, to_child);
943
            }
944

945
            /* remove leftover elements from 'from' that are not in 'to' */
946
            for (; (from_child != NULL); (void)(from_child = from_child->next))
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, "%lu", (unsigned long)index);
957
                compose_patch(patches, (const unsigned char*)"remove", path, new_path, NULL);
958 959
            }
            /* add new elements in 'to' that were not in 'from' */
960
            for (; (to_child != NULL); (void)(to_child = to_child->next), index++)
961
            {
962
                compose_patch(patches, (const unsigned char*)"add", path, (const unsigned char*)"-", to_child);
963
            }
964
            free(new_path);
965 966 967 968 969
            return;
        }

        case cJSON_Object:
        {
970 971
            cJSON *from_child = NULL;
            cJSON *to_child = NULL;
972 973 974
            cJSONUtils_SortObject(from);
            cJSONUtils_SortObject(to);

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

                if (diff == 0)
995 996
                {
                    /* both object keys are the same */
997
                    size_t path_length = strlen((const char*)path);
998
                    size_t from_child_name_length = pointer_encoded_length((unsigned char*)from_child->string);
999 1000 1001
                    unsigned char *new_path = (unsigned char*)cJSON_malloc(path_length + from_child_name_length + sizeof("/"));

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

1004
                    /* create a patch for the element */
1005
                    create_patches(patches, new_path, from_child, to_child);
1006 1007 1008 1009
                    free(new_path);

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

                    from_child = from_child->next;
1017 1018 1019 1020
                }
                else
                {
                    /* object element doesn't exist in 'from' --> add it */
1021
                    compose_patch(patches, (const unsigned char*)"add", path, (unsigned char*)to_child->string, to_child);
1022 1023

                    to_child = to_child->next;
1024 1025 1026 1027 1028 1029 1030 1031 1032
                }
            }
            return;
        }

        default:
            break;
    }
}
1033

1034
CJSON_PUBLIC(cJSON *) cJSONUtils_GeneratePatches(cJSON * const from, cJSON * const to)
1035
{
1036
    cJSON *patches = cJSON_CreateArray();
1037
    create_patches(patches, (const unsigned char*)"", from, to);
1038

1039 1040
    return patches;
}
1041

M
Max Bruckner 已提交
1042
/* sort lists using mergesort */
M
Max Bruckner 已提交
1043
static cJSON *sort_list(cJSON *list)
1044
{
M
Max Bruckner 已提交
1045 1046
    cJSON *first = list;
    cJSON *second = list;
M
Max Bruckner 已提交
1047 1048 1049
    cJSON *current_item = list;
    cJSON *result = list;
    cJSON *result_tail = NULL;
1050

M
Max Bruckner 已提交
1051
    if ((list == NULL) || (list->next == NULL))
M
Max Bruckner 已提交
1052 1053
    {
        /* One entry is sorted already. */
M
Max Bruckner 已提交
1054
        return result;
M
Max Bruckner 已提交
1055
    }
1056

1057
    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 已提交
1058 1059
    {
        /* Test for list sorted. */
M
Max Bruckner 已提交
1060
        current_item = current_item->next;
M
Max Bruckner 已提交
1061
    }
M
Max Bruckner 已提交
1062
    if ((current_item == NULL) || (current_item->next == NULL))
M
Max Bruckner 已提交
1063 1064
    {
        /* Leave sorted lists unmodified. */
M
Max Bruckner 已提交
1065
        return result;
M
Max Bruckner 已提交
1066
    }
1067

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

M
Max Bruckner 已提交
1087
    /* Recursively sort the sub-lists. */
M
Max Bruckner 已提交
1088 1089
    first = sort_list(first);
    second = sort_list(second);
M
Max Bruckner 已提交
1090
    result = NULL;
M
Max Bruckner 已提交
1091

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

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

M
Max Bruckner 已提交
1150
    return result;
1151 1152
}

M
Max Bruckner 已提交
1153
CJSON_PUBLIC(void) cJSONUtils_SortObject(cJSON * const object)
M
Max Bruckner 已提交
1154
{
M
Max Bruckner 已提交
1155
    object->child = sort_list(object->child);
M
Max Bruckner 已提交
1156
}
1157

M
Max Bruckner 已提交
1158
CJSON_PUBLIC(cJSON *) cJSONUtils_MergePatch(cJSON *target, const cJSON * const patch)
1159
{
M
Max Bruckner 已提交
1160 1161
    cJSON *patch_child = NULL;

1162
    if (!cJSON_IsObject(patch))
M
Max Bruckner 已提交
1163 1164 1165 1166 1167
    {
        /* scalar value, array or NULL, just duplicate */
        cJSON_Delete(target);
        return cJSON_Duplicate(patch, 1);
    }
1168

1169
    if (!cJSON_IsObject(target))
M
Max Bruckner 已提交
1170 1171 1172 1173 1174
    {
        cJSON_Delete(target);
        target = cJSON_CreateObject();
    }

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

1193
CJSON_PUBLIC(cJSON *) cJSONUtils_GenerateMergePatch(cJSON * const from, cJSON * const to)
1194
{
1195 1196
    cJSON *from_child = NULL;
    cJSON *to_child = NULL;
1197
    cJSON *patch = NULL;
1198
    if (to == NULL)
1199 1200 1201 1202
    {
        /* patch to delete everything */
        return cJSON_CreateNull();
    }
1203
    if (!cJSON_IsObject(to) || !cJSON_IsObject(from))
1204 1205 1206 1207 1208 1209 1210
    {
        return cJSON_Duplicate(to, 1);
    }

    cJSONUtils_SortObject(from);
    cJSONUtils_SortObject(to);

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

        if (diff < 0)
1234 1235
        {
            /* from has a value that to doesn't have -> remove */
1236 1237 1238
            cJSON_AddItemToObject(patch, from_child->string, cJSON_CreateNull());

            from_child = from_child->next;
1239
        }
1240
        else if (diff > 0)
1241 1242
        {
            /* to has a value that from doesn't have -> add to patch */
1243 1244 1245
            cJSON_AddItemToObject(patch, to_child->string, cJSON_Duplicate(to_child, 1));

            to_child = to_child->next;
1246 1247 1248 1249
        }
        else
        {
            /* object key exists in both objects */
1250
            if (!compare_json(from_child, to_child))
1251 1252
            {
                /* not identical --> generate a patch */
1253
                cJSON_AddItemToObject(patch, to_child->string, cJSONUtils_GenerateMergePatch(from_child, to_child));
1254
            }
1255

1256
            /* next key in the object */
1257 1258
            from_child = from_child->next;
            to_child = to_child->next;
1259 1260
        }
    }
1261
    if (patch->child == NULL)
1262
    {
1263
        /* no patch generated */
1264
        cJSON_Delete(patch);
1265
        return NULL;
1266 1267 1268
    }

    return patch;
M
Max Bruckner 已提交
1269
}