1
2
3
4
5
6
7
8
9
10
11#include <glib.h>
12
13#include "qapi/qmp/qstring.h"
14#include "qapi/qmp/qint.h"
15#include "qapi/qmp/qdict.h"
16#include "qapi/qmp/qlist.h"
17#include "qapi/qmp/qfloat.h"
18#include "qapi/qmp/qbool.h"
19#include "qapi/qmp/qjson.h"
20
21#include "qemu-common.h"
22
23static void escaped_string(void)
24{
25 int i;
26 struct {
27 const char *encoded;
28 const char *decoded;
29 int skip;
30 } test_cases[] = {
31 { "\"\\b\"", "\b" },
32 { "\"\\f\"", "\f" },
33 { "\"\\n\"", "\n" },
34 { "\"\\r\"", "\r" },
35 { "\"\\t\"", "\t" },
36 { "\"/\"", "/" },
37 { "\"\\/\"", "/", .skip = 1 },
38 { "\"\\\\\"", "\\" },
39 { "\"\\\"\"", "\"" },
40 { "\"hello world \\\"embedded string\\\"\"",
41 "hello world \"embedded string\"" },
42 { "\"hello world\\nwith new line\"", "hello world\nwith new line" },
43 { "\"single byte utf-8 \\u0020\"", "single byte utf-8 ", .skip = 1 },
44 { "\"double byte utf-8 \\u00A2\"", "double byte utf-8 \xc2\xa2" },
45 { "\"triple byte utf-8 \\u20AC\"", "triple byte utf-8 \xe2\x82\xac" },
46 {}
47 };
48
49 for (i = 0; test_cases[i].encoded; i++) {
50 QObject *obj;
51 QString *str;
52
53 obj = qobject_from_json(test_cases[i].encoded);
54
55 g_assert(obj != NULL);
56 g_assert(qobject_type(obj) == QTYPE_QSTRING);
57
58 str = qobject_to_qstring(obj);
59 g_assert_cmpstr(qstring_get_str(str), ==, test_cases[i].decoded);
60
61 if (test_cases[i].skip == 0) {
62 str = qobject_to_json(obj);
63 g_assert_cmpstr(qstring_get_str(str), ==, test_cases[i].encoded);
64 qobject_decref(obj);
65 }
66
67 QDECREF(str);
68 }
69}
70
71static void simple_string(void)
72{
73 int i;
74 struct {
75 const char *encoded;
76 const char *decoded;
77 } test_cases[] = {
78 { "\"hello world\"", "hello world" },
79 { "\"the quick brown fox jumped over the fence\"",
80 "the quick brown fox jumped over the fence" },
81 {}
82 };
83
84 for (i = 0; test_cases[i].encoded; i++) {
85 QObject *obj;
86 QString *str;
87
88 obj = qobject_from_json(test_cases[i].encoded);
89
90 g_assert(obj != NULL);
91 g_assert(qobject_type(obj) == QTYPE_QSTRING);
92
93 str = qobject_to_qstring(obj);
94 g_assert(strcmp(qstring_get_str(str), test_cases[i].decoded) == 0);
95
96 str = qobject_to_json(obj);
97 g_assert(strcmp(qstring_get_str(str), test_cases[i].encoded) == 0);
98
99 qobject_decref(obj);
100
101 QDECREF(str);
102 }
103}
104
105static void single_quote_string(void)
106{
107 int i;
108 struct {
109 const char *encoded;
110 const char *decoded;
111 } test_cases[] = {
112 { "'hello world'", "hello world" },
113 { "'the quick brown fox \\' jumped over the fence'",
114 "the quick brown fox ' jumped over the fence" },
115 {}
116 };
117
118 for (i = 0; test_cases[i].encoded; i++) {
119 QObject *obj;
120 QString *str;
121
122 obj = qobject_from_json(test_cases[i].encoded);
123
124 g_assert(obj != NULL);
125 g_assert(qobject_type(obj) == QTYPE_QSTRING);
126
127 str = qobject_to_qstring(obj);
128 g_assert(strcmp(qstring_get_str(str), test_cases[i].decoded) == 0);
129
130 QDECREF(str);
131 }
132}
133
134static void vararg_string(void)
135{
136 int i;
137 struct {
138 const char *decoded;
139 } test_cases[] = {
140 { "hello world" },
141 { "the quick brown fox jumped over the fence" },
142 {}
143 };
144
145 for (i = 0; test_cases[i].decoded; i++) {
146 QObject *obj;
147 QString *str;
148
149 obj = qobject_from_jsonf("%s", test_cases[i].decoded);
150
151 g_assert(obj != NULL);
152 g_assert(qobject_type(obj) == QTYPE_QSTRING);
153
154 str = qobject_to_qstring(obj);
155 g_assert(strcmp(qstring_get_str(str), test_cases[i].decoded) == 0);
156
157 QDECREF(str);
158 }
159}
160
161static void simple_number(void)
162{
163 int i;
164 struct {
165 const char *encoded;
166 int64_t decoded;
167 int skip;
168 } test_cases[] = {
169 { "0", 0 },
170 { "1234", 1234 },
171 { "1", 1 },
172 { "-32", -32 },
173 { "-0", 0, .skip = 1 },
174 { },
175 };
176
177 for (i = 0; test_cases[i].encoded; i++) {
178 QObject *obj;
179 QInt *qint;
180
181 obj = qobject_from_json(test_cases[i].encoded);
182 g_assert(obj != NULL);
183 g_assert(qobject_type(obj) == QTYPE_QINT);
184
185 qint = qobject_to_qint(obj);
186 g_assert(qint_get_int(qint) == test_cases[i].decoded);
187 if (test_cases[i].skip == 0) {
188 QString *str;
189
190 str = qobject_to_json(obj);
191 g_assert(strcmp(qstring_get_str(str), test_cases[i].encoded) == 0);
192 QDECREF(str);
193 }
194
195 QDECREF(qint);
196 }
197}
198
199static void float_number(void)
200{
201 int i;
202 struct {
203 const char *encoded;
204 double decoded;
205 int skip;
206 } test_cases[] = {
207 { "32.43", 32.43 },
208 { "0.222", 0.222 },
209 { "-32.12313", -32.12313 },
210 { "-32.20e-10", -32.20e-10, .skip = 1 },
211 { },
212 };
213
214 for (i = 0; test_cases[i].encoded; i++) {
215 QObject *obj;
216 QFloat *qfloat;
217
218 obj = qobject_from_json(test_cases[i].encoded);
219 g_assert(obj != NULL);
220 g_assert(qobject_type(obj) == QTYPE_QFLOAT);
221
222 qfloat = qobject_to_qfloat(obj);
223 g_assert(qfloat_get_double(qfloat) == test_cases[i].decoded);
224
225 if (test_cases[i].skip == 0) {
226 QString *str;
227
228 str = qobject_to_json(obj);
229 g_assert(strcmp(qstring_get_str(str), test_cases[i].encoded) == 0);
230 QDECREF(str);
231 }
232
233 QDECREF(qfloat);
234 }
235}
236
237static void vararg_number(void)
238{
239 QObject *obj;
240 QInt *qint;
241 QFloat *qfloat;
242 int value = 0x2342;
243 int64_t value64 = 0x2342342343LL;
244 double valuef = 2.323423423;
245
246 obj = qobject_from_jsonf("%d", value);
247 g_assert(obj != NULL);
248 g_assert(qobject_type(obj) == QTYPE_QINT);
249
250 qint = qobject_to_qint(obj);
251 g_assert(qint_get_int(qint) == value);
252
253 QDECREF(qint);
254
255 obj = qobject_from_jsonf("%" PRId64, value64);
256 g_assert(obj != NULL);
257 g_assert(qobject_type(obj) == QTYPE_QINT);
258
259 qint = qobject_to_qint(obj);
260 g_assert(qint_get_int(qint) == value64);
261
262 QDECREF(qint);
263
264 obj = qobject_from_jsonf("%f", valuef);
265 g_assert(obj != NULL);
266 g_assert(qobject_type(obj) == QTYPE_QFLOAT);
267
268 qfloat = qobject_to_qfloat(obj);
269 g_assert(qfloat_get_double(qfloat) == valuef);
270
271 QDECREF(qfloat);
272}
273
274static void keyword_literal(void)
275{
276 QObject *obj;
277 QBool *qbool;
278 QString *str;
279
280 obj = qobject_from_json("true");
281 g_assert(obj != NULL);
282 g_assert(qobject_type(obj) == QTYPE_QBOOL);
283
284 qbool = qobject_to_qbool(obj);
285 g_assert(qbool_get_int(qbool) != 0);
286
287 str = qobject_to_json(obj);
288 g_assert(strcmp(qstring_get_str(str), "true") == 0);
289 QDECREF(str);
290
291 QDECREF(qbool);
292
293 obj = qobject_from_json("false");
294 g_assert(obj != NULL);
295 g_assert(qobject_type(obj) == QTYPE_QBOOL);
296
297 qbool = qobject_to_qbool(obj);
298 g_assert(qbool_get_int(qbool) == 0);
299
300 str = qobject_to_json(obj);
301 g_assert(strcmp(qstring_get_str(str), "false") == 0);
302 QDECREF(str);
303
304 QDECREF(qbool);
305
306 obj = qobject_from_jsonf("%i", false);
307 g_assert(obj != NULL);
308 g_assert(qobject_type(obj) == QTYPE_QBOOL);
309
310 qbool = qobject_to_qbool(obj);
311 g_assert(qbool_get_int(qbool) == 0);
312
313 QDECREF(qbool);
314
315 obj = qobject_from_jsonf("%i", true);
316 g_assert(obj != NULL);
317 g_assert(qobject_type(obj) == QTYPE_QBOOL);
318
319 qbool = qobject_to_qbool(obj);
320 g_assert(qbool_get_int(qbool) != 0);
321
322 QDECREF(qbool);
323}
324
325typedef struct LiteralQDictEntry LiteralQDictEntry;
326typedef struct LiteralQObject LiteralQObject;
327
328struct LiteralQObject
329{
330 int type;
331 union {
332 int64_t qint;
333 const char *qstr;
334 LiteralQDictEntry *qdict;
335 LiteralQObject *qlist;
336 } value;
337};
338
339struct LiteralQDictEntry
340{
341 const char *key;
342 LiteralQObject value;
343};
344
345#define QLIT_QINT(val) (LiteralQObject){.type = QTYPE_QINT, .value.qint = (val)}
346#define QLIT_QSTR(val) (LiteralQObject){.type = QTYPE_QSTRING, .value.qstr = (val)}
347#define QLIT_QDICT(val) (LiteralQObject){.type = QTYPE_QDICT, .value.qdict = (val)}
348#define QLIT_QLIST(val) (LiteralQObject){.type = QTYPE_QLIST, .value.qlist = (val)}
349
350typedef struct QListCompareHelper
351{
352 int index;
353 LiteralQObject *objs;
354 int result;
355} QListCompareHelper;
356
357static int compare_litqobj_to_qobj(LiteralQObject *lhs, QObject *rhs);
358
359static void compare_helper(QObject *obj, void *opaque)
360{
361 QListCompareHelper *helper = opaque;
362
363 if (helper->result == 0) {
364 return;
365 }
366
367 if (helper->objs[helper->index].type == QTYPE_NONE) {
368 helper->result = 0;
369 return;
370 }
371
372 helper->result = compare_litqobj_to_qobj(&helper->objs[helper->index++], obj);
373}
374
375static int compare_litqobj_to_qobj(LiteralQObject *lhs, QObject *rhs)
376{
377 if (lhs->type != qobject_type(rhs)) {
378 return 0;
379 }
380
381 switch (lhs->type) {
382 case QTYPE_QINT:
383 return lhs->value.qint == qint_get_int(qobject_to_qint(rhs));
384 case QTYPE_QSTRING:
385 return (strcmp(lhs->value.qstr, qstring_get_str(qobject_to_qstring(rhs))) == 0);
386 case QTYPE_QDICT: {
387 int i;
388
389 for (i = 0; lhs->value.qdict[i].key; i++) {
390 QObject *obj = qdict_get(qobject_to_qdict(rhs), lhs->value.qdict[i].key);
391
392 if (!compare_litqobj_to_qobj(&lhs->value.qdict[i].value, obj)) {
393 return 0;
394 }
395 }
396
397 return 1;
398 }
399 case QTYPE_QLIST: {
400 QListCompareHelper helper;
401
402 helper.index = 0;
403 helper.objs = lhs->value.qlist;
404 helper.result = 1;
405
406 qlist_iter(qobject_to_qlist(rhs), compare_helper, &helper);
407
408 return helper.result;
409 }
410 default:
411 break;
412 }
413
414 return 0;
415}
416
417static void simple_dict(void)
418{
419 int i;
420 struct {
421 const char *encoded;
422 LiteralQObject decoded;
423 } test_cases[] = {
424 {
425 .encoded = "{\"foo\": 42, \"bar\": \"hello world\"}",
426 .decoded = QLIT_QDICT(((LiteralQDictEntry[]){
427 { "foo", QLIT_QINT(42) },
428 { "bar", QLIT_QSTR("hello world") },
429 { }
430 })),
431 }, {
432 .encoded = "{}",
433 .decoded = QLIT_QDICT(((LiteralQDictEntry[]){
434 { }
435 })),
436 }, {
437 .encoded = "{\"foo\": 43}",
438 .decoded = QLIT_QDICT(((LiteralQDictEntry[]){
439 { "foo", QLIT_QINT(43) },
440 { }
441 })),
442 },
443 { }
444 };
445
446 for (i = 0; test_cases[i].encoded; i++) {
447 QObject *obj;
448 QString *str;
449
450 obj = qobject_from_json(test_cases[i].encoded);
451 g_assert(obj != NULL);
452 g_assert(qobject_type(obj) == QTYPE_QDICT);
453
454 g_assert(compare_litqobj_to_qobj(&test_cases[i].decoded, obj) == 1);
455
456 str = qobject_to_json(obj);
457 qobject_decref(obj);
458
459 obj = qobject_from_json(qstring_get_str(str));
460 g_assert(obj != NULL);
461 g_assert(qobject_type(obj) == QTYPE_QDICT);
462
463 g_assert(compare_litqobj_to_qobj(&test_cases[i].decoded, obj) == 1);
464 qobject_decref(obj);
465 QDECREF(str);
466 }
467}
468
469
470
471
472
473
474
475
476
477
478
479static void gen_test_json(GString *gstr, int nest_level_max,
480 int elem_count)
481{
482 int i;
483
484 g_assert(gstr);
485 if (nest_level_max == 0) {
486 g_string_append(gstr, "[");
487 for (i = 0; i < elem_count; i++) {
488 g_string_append_printf(gstr, "%d", i);
489 if (i < elem_count - 1) {
490 g_string_append_printf(gstr, ", ");
491 }
492 }
493 g_string_append(gstr, "]");
494 return;
495 }
496
497 g_string_append(gstr, "{");
498 for (i = 0; i < nest_level_max; i++) {
499 g_string_append_printf(gstr, "'key%d': ", i);
500 gen_test_json(gstr, i, elem_count);
501 if (i < nest_level_max - 1) {
502 g_string_append(gstr, ",");
503 }
504 }
505 g_string_append(gstr, "}");
506}
507
508static void large_dict(void)
509{
510 GString *gstr = g_string_new("");
511 QObject *obj;
512
513 gen_test_json(gstr, 10, 100);
514 obj = qobject_from_json(gstr->str);
515 g_assert(obj != NULL);
516
517 qobject_decref(obj);
518 g_string_free(gstr, true);
519}
520
521static void simple_list(void)
522{
523 int i;
524 struct {
525 const char *encoded;
526 LiteralQObject decoded;
527 } test_cases[] = {
528 {
529 .encoded = "[43,42]",
530 .decoded = QLIT_QLIST(((LiteralQObject[]){
531 QLIT_QINT(43),
532 QLIT_QINT(42),
533 { }
534 })),
535 },
536 {
537 .encoded = "[43]",
538 .decoded = QLIT_QLIST(((LiteralQObject[]){
539 QLIT_QINT(43),
540 { }
541 })),
542 },
543 {
544 .encoded = "[]",
545 .decoded = QLIT_QLIST(((LiteralQObject[]){
546 { }
547 })),
548 },
549 {
550 .encoded = "[{}]",
551 .decoded = QLIT_QLIST(((LiteralQObject[]){
552 QLIT_QDICT(((LiteralQDictEntry[]){
553 {},
554 })),
555 {},
556 })),
557 },
558 { }
559 };
560
561 for (i = 0; test_cases[i].encoded; i++) {
562 QObject *obj;
563 QString *str;
564
565 obj = qobject_from_json(test_cases[i].encoded);
566 g_assert(obj != NULL);
567 g_assert(qobject_type(obj) == QTYPE_QLIST);
568
569 g_assert(compare_litqobj_to_qobj(&test_cases[i].decoded, obj) == 1);
570
571 str = qobject_to_json(obj);
572 qobject_decref(obj);
573
574 obj = qobject_from_json(qstring_get_str(str));
575 g_assert(obj != NULL);
576 g_assert(qobject_type(obj) == QTYPE_QLIST);
577
578 g_assert(compare_litqobj_to_qobj(&test_cases[i].decoded, obj) == 1);
579 qobject_decref(obj);
580 QDECREF(str);
581 }
582}
583
584static void simple_whitespace(void)
585{
586 int i;
587 struct {
588 const char *encoded;
589 LiteralQObject decoded;
590 } test_cases[] = {
591 {
592 .encoded = " [ 43 , 42 ]",
593 .decoded = QLIT_QLIST(((LiteralQObject[]){
594 QLIT_QINT(43),
595 QLIT_QINT(42),
596 { }
597 })),
598 },
599 {
600 .encoded = " [ 43 , { 'h' : 'b' }, [ ], 42 ]",
601 .decoded = QLIT_QLIST(((LiteralQObject[]){
602 QLIT_QINT(43),
603 QLIT_QDICT(((LiteralQDictEntry[]){
604 { "h", QLIT_QSTR("b") },
605 { }})),
606 QLIT_QLIST(((LiteralQObject[]){
607 { }})),
608 QLIT_QINT(42),
609 { }
610 })),
611 },
612 {
613 .encoded = " [ 43 , { 'h' : 'b' , 'a' : 32 }, [ ], 42 ]",
614 .decoded = QLIT_QLIST(((LiteralQObject[]){
615 QLIT_QINT(43),
616 QLIT_QDICT(((LiteralQDictEntry[]){
617 { "h", QLIT_QSTR("b") },
618 { "a", QLIT_QINT(32) },
619 { }})),
620 QLIT_QLIST(((LiteralQObject[]){
621 { }})),
622 QLIT_QINT(42),
623 { }
624 })),
625 },
626 { }
627 };
628
629 for (i = 0; test_cases[i].encoded; i++) {
630 QObject *obj;
631 QString *str;
632
633 obj = qobject_from_json(test_cases[i].encoded);
634 g_assert(obj != NULL);
635 g_assert(qobject_type(obj) == QTYPE_QLIST);
636
637 g_assert(compare_litqobj_to_qobj(&test_cases[i].decoded, obj) == 1);
638
639 str = qobject_to_json(obj);
640 qobject_decref(obj);
641
642 obj = qobject_from_json(qstring_get_str(str));
643 g_assert(obj != NULL);
644 g_assert(qobject_type(obj) == QTYPE_QLIST);
645
646 g_assert(compare_litqobj_to_qobj(&test_cases[i].decoded, obj) == 1);
647
648 qobject_decref(obj);
649 QDECREF(str);
650 }
651}
652
653static void simple_varargs(void)
654{
655 QObject *embedded_obj;
656 QObject *obj;
657 LiteralQObject decoded = QLIT_QLIST(((LiteralQObject[]){
658 QLIT_QINT(1),
659 QLIT_QINT(2),
660 QLIT_QLIST(((LiteralQObject[]){
661 QLIT_QINT(32),
662 QLIT_QINT(42),
663 {}})),
664 {}}));
665
666 embedded_obj = qobject_from_json("[32, 42]");
667 g_assert(embedded_obj != NULL);
668
669 obj = qobject_from_jsonf("[%d, 2, %p]", 1, embedded_obj);
670 g_assert(obj != NULL);
671
672 g_assert(compare_litqobj_to_qobj(&decoded, obj) == 1);
673
674 qobject_decref(obj);
675}
676
677static void empty_input(void)
678{
679 const char *empty = "";
680
681 QObject *obj = qobject_from_json(empty);
682 g_assert(obj == NULL);
683}
684
685static void unterminated_string(void)
686{
687 QObject *obj = qobject_from_json("\"abc");
688 g_assert(obj == NULL);
689}
690
691static void unterminated_sq_string(void)
692{
693 QObject *obj = qobject_from_json("'abc");
694 g_assert(obj == NULL);
695}
696
697static void unterminated_escape(void)
698{
699 QObject *obj = qobject_from_json("\"abc\\\"");
700 g_assert(obj == NULL);
701}
702
703static void unterminated_array(void)
704{
705 QObject *obj = qobject_from_json("[32");
706 g_assert(obj == NULL);
707}
708
709static void unterminated_array_comma(void)
710{
711 QObject *obj = qobject_from_json("[32,");
712 g_assert(obj == NULL);
713}
714
715static void invalid_array_comma(void)
716{
717 QObject *obj = qobject_from_json("[32,}");
718 g_assert(obj == NULL);
719}
720
721static void unterminated_dict(void)
722{
723 QObject *obj = qobject_from_json("{'abc':32");
724 g_assert(obj == NULL);
725}
726
727static void unterminated_dict_comma(void)
728{
729 QObject *obj = qobject_from_json("{'abc':32,");
730 g_assert(obj == NULL);
731}
732
733static void invalid_dict_comma(void)
734{
735 QObject *obj = qobject_from_json("{'abc':32,}");
736 g_assert(obj == NULL);
737}
738
739static void unterminated_literal(void)
740{
741 QObject *obj = qobject_from_json("nul");
742 g_assert(obj == NULL);
743}
744
745int main(int argc, char **argv)
746{
747 g_test_init(&argc, &argv, NULL);
748
749 g_test_add_func("/literals/string/simple", simple_string);
750 g_test_add_func("/literals/string/escaped", escaped_string);
751 g_test_add_func("/literals/string/single_quote", single_quote_string);
752 g_test_add_func("/literals/string/vararg", vararg_string);
753
754 g_test_add_func("/literals/number/simple", simple_number);
755 g_test_add_func("/literals/number/float", float_number);
756 g_test_add_func("/literals/number/vararg", vararg_number);
757
758 g_test_add_func("/literals/keyword", keyword_literal);
759
760 g_test_add_func("/dicts/simple_dict", simple_dict);
761 g_test_add_func("/dicts/large_dict", large_dict);
762 g_test_add_func("/lists/simple_list", simple_list);
763
764 g_test_add_func("/whitespace/simple_whitespace", simple_whitespace);
765
766 g_test_add_func("/varargs/simple_varargs", simple_varargs);
767
768 g_test_add_func("/errors/empty_input", empty_input);
769 g_test_add_func("/errors/unterminated/string", unterminated_string);
770 g_test_add_func("/errors/unterminated/escape", unterminated_escape);
771 g_test_add_func("/errors/unterminated/sq_string", unterminated_sq_string);
772 g_test_add_func("/errors/unterminated/array", unterminated_array);
773 g_test_add_func("/errors/unterminated/array_comma", unterminated_array_comma);
774 g_test_add_func("/errors/unterminated/dict", unterminated_dict);
775 g_test_add_func("/errors/unterminated/dict_comma", unterminated_dict_comma);
776 g_test_add_func("/errors/invalid_array_comma", invalid_array_comma);
777 g_test_add_func("/errors/invalid_dict_comma", invalid_dict_comma);
778 g_test_add_func("/errors/unterminated/literal", unterminated_literal);
779
780 return g_test_run();
781}
782
