ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/CBOR-XS/XS.xs
(Generate patch)

Comparing CBOR-XS/XS.xs (file contents):
Revision 1.59 by root, Fri Nov 25 23:37:27 2016 UTC vs.
Revision 1.66 by root, Sun Nov 29 21:32:01 2020 UTC

6#include <string.h> 6#include <string.h>
7#include <stdlib.h> 7#include <stdlib.h>
8#include <stdio.h> 8#include <stdio.h>
9#include <limits.h> 9#include <limits.h>
10#include <float.h> 10#include <float.h>
11#include <inttypes.h>
11 12
12#define ECB_NO_THREADS 1 13#define ECB_NO_THREADS 1
13#include "ecb.h" 14#include "ecb.h"
14 15
15// compatibility with perl <5.18 16// compatibility with perl <5.18
20# define HvNAMELEN(hv) HvNAMELEN_get (hv) 21# define HvNAMELEN(hv) HvNAMELEN_get (hv)
21#endif 22#endif
22#ifndef HvNAMEUTF8 23#ifndef HvNAMEUTF8
23# define HvNAMEUTF8(hv) 0 24# define HvNAMEUTF8(hv) 0
24#endif 25#endif
26#ifndef SvREFCNT_inc_NN
27# define SvREFCNT_inc_NN(sv) SvREFCNT_inc (sv)
28#endif
25#ifndef SvREFCNT_dec_NN 29#ifndef SvREFCNT_dec_NN
26# define SvREFCNT_dec_NN(sv) SvREFCNT_dec (sv) 30# define SvREFCNT_dec_NN(sv) SvREFCNT_dec (sv)
27#endif 31#endif
28 32
29// known major and minor types 33// known major and minor types
95 CBOR_TAG_MIME = 36, // mime message rfc2045, utf-8 99 CBOR_TAG_MIME = 36, // mime message rfc2045, utf-8
96 100
97 CBOR_TAG_MAGIC = 55799, // self-describe cbor 101 CBOR_TAG_MAGIC = 55799, // self-describe cbor
98}; 102};
99 103
104// known forced types, also hardcoded in CBOR.pm
105enum
106{
107 AS_CBOR = 0,
108 AS_BYTES = 1,
109 AS_TEXT = 2,
110 AS_FLOAT16 = 3,
111 AS_FLOAT32 = 4,
112 AS_FLOAT64 = 5,
113 // possibly future enhancements: float, integer
114};
115
100#define F_SHRINK 0x00000001UL 116#define F_SHRINK 0x00000001UL
101#define F_ALLOW_UNKNOWN 0x00000002UL 117#define F_ALLOW_UNKNOWN 0x00000002UL
102#define F_ALLOW_SHARING 0x00000004UL 118#define F_ALLOW_SHARING 0x00000004UL
103#define F_ALLOW_CYCLES 0x00000008UL 119#define F_ALLOW_CYCLES 0x00000008UL
120#define F_FORBID_OBJECTS 0x00000010UL
104#define F_PACK_STRINGS 0x00000010UL 121#define F_PACK_STRINGS 0x00000020UL
105#define F_TEXT_KEYS 0x00000020UL 122#define F_TEXT_KEYS 0x00000040UL
106#define F_TEXT_STRINGS 0x00000040UL 123#define F_TEXT_STRINGS 0x00000080UL
107#define F_VALIDATE_UTF8 0x00000080UL 124#define F_VALIDATE_UTF8 0x00000100UL
108 125
109#define INIT_SIZE 32 // initial scalar size to be allocated 126#define INIT_SIZE 32 // initial scalar size to be allocated
110 127
111#define SB do { 128#define SB do {
112#define SE } while (0) 129#define SE } while (0)
185 202
186// minimum length of a string to be registered for stringref 203// minimum length of a string to be registered for stringref
187ecb_inline int 204ecb_inline int
188minimum_string_length (UV idx) 205minimum_string_length (UV idx)
189{ 206{
190 return idx > 23 207 return idx <= 23 ? 3
191 ? idx > 0xffU 208 : idx <= 0xffU ? 4
192 ? idx > 0xffffU 209 : idx <= 0xffffU ? 5
193 ? idx > 0xffffffffU 210 : idx <= 0xffffffffU ? 7
194 ? 11 211 : 11;
195 : 7
196 : 5
197 : 4
198 : 3;
199} 212}
200 213
201///////////////////////////////////////////////////////////////////////////// 214/////////////////////////////////////////////////////////////////////////////
202// encoder 215// encoder
203 216
216} enc_t; 229} enc_t;
217 230
218ecb_inline void 231ecb_inline void
219need (enc_t *enc, STRLEN len) 232need (enc_t *enc, STRLEN len)
220{ 233{
221 if (ecb_expect_false (enc->cur + len >= enc->end)) 234 if (ecb_expect_false ((uintptr_t)(enc->end - enc->cur) < len))
222 { 235 {
223 STRLEN cur = enc->cur - (char *)SvPVX (enc->sv); 236 STRLEN cur = enc->cur - (char *)SvPVX (enc->sv);
224 SvGROW (enc->sv, cur + (len < (cur >> 2) ? cur >> 2 : len) + 1); 237 SvGROW (enc->sv, cur + (len < (cur >> 2) ? cur >> 2 : len) + 1);
225 enc->cur = SvPVX (enc->sv) + cur; 238 enc->cur = SvPVX (enc->sv) + cur;
226 enc->end = SvPVX (enc->sv) + SvLEN (enc->sv) - 1; 239 enc->end = SvPVX (enc->sv) + SvLEN (enc->sv) - 1;
232{ 245{
233 need (enc, 1); 246 need (enc, 1);
234 *enc->cur++ = ch; 247 *enc->cur++ = ch;
235} 248}
236 249
250// used for tags, intregers, element counts and so on
237static void 251static void
238encode_uint (enc_t *enc, int major, UV len) 252encode_uint (enc_t *enc, int major, UV len)
239{ 253{
240 need (enc, 9); 254 need (enc, 9);
241 255
272 *enc->cur++ = len >> 8; 286 *enc->cur++ = len >> 8;
273 *enc->cur++ = len; 287 *enc->cur++ = len;
274 } 288 }
275} 289}
276 290
291// encodes a perl value into a CBOR integer
292ecb_inline
293encode_int (enc_t *enc, SV *sv)
294{
295 if (SvIsUV (sv))
296 encode_uint (enc, MAJOR_POS_INT, SvUVX (sv));
297 else if (SvIVX (sv) >= 0)
298 encode_uint (enc, MAJOR_POS_INT, SvIVX (sv));
299 else
300 encode_uint (enc, MAJOR_NEG_INT, -(SvIVX (sv) + 1));
301}
302
277ecb_inline void 303ecb_inline void
278encode_tag (enc_t *enc, UV tag) 304encode_tag (enc_t *enc, UV tag)
279{ 305{
280 encode_uint (enc, MAJOR_TAG, tag); 306 encode_uint (enc, MAJOR_TAG, tag);
281} 307}
342 } 368 }
343 369
344 encode_str (enc, upgrade_utf8, utf8, str, len); 370 encode_str (enc, upgrade_utf8, utf8, str, len);
345} 371}
346 372
373ecb_inline void
374encode_float16 (enc_t *enc, NV nv)
375{
376 need (enc, 1+2);
377
378 *enc->cur++ = MAJOR_MISC | MISC_FLOAT16;
379
380 uint16_t fp = ecb_float_to_binary16 (nv);
381
382 if (!ecb_big_endian ())
383 fp = ecb_bswap16 (fp);
384
385 memcpy (enc->cur, &fp, 2);
386 enc->cur += 2;
387}
388
389ecb_inline void
390encode_float32 (enc_t *enc, NV nv)
391{
392 need (enc, 1+4);
393
394 *enc->cur++ = MAJOR_MISC | MISC_FLOAT32;
395
396 uint32_t fp = ecb_float_to_binary32 (nv);
397
398 if (!ecb_big_endian ())
399 fp = ecb_bswap32 (fp);
400
401 memcpy (enc->cur, &fp, 4);
402 enc->cur += 4;
403}
404
405ecb_inline void
406encode_float64 (enc_t *enc, NV nv)
407{
408 need (enc, 1+8);
409
410 *enc->cur++ = MAJOR_MISC | MISC_FLOAT64;
411
412 uint64_t fp = ecb_double_to_binary64 (nv);
413
414 if (!ecb_big_endian ())
415 fp = ecb_bswap64 (fp);
416
417 memcpy (enc->cur, &fp, 8);
418 enc->cur += 8;
419}
420
421ecb_inline void
422encode_forced (enc_t *enc, UV type, SV *sv)
423{
424 switch (type)
425 {
426 case AS_CBOR:
427 {
428 STRLEN len;
429 char *str = SvPVbyte (sv, len);
430
431 need (enc, len);
432 memcpy (enc->cur, str, len);
433 enc->cur += len;
434 }
435 break;
436
437 case AS_BYTES:
438 {
439 STRLEN len;
440 char *str = SvPVbyte (sv, len);
441 encode_strref (enc, 0, 0, str, len);
442 }
443 break;
444
445 case AS_TEXT:
446 {
447 STRLEN len;
448 char *str = SvPVutf8 (sv, len);
449 encode_strref (enc, 1, 1, str, len);
450 }
451 break;
452
453 case AS_FLOAT16: encode_float16 (enc, SvNV (sv)); break;
454 case AS_FLOAT32: encode_float32 (enc, SvNV (sv)); break;
455 case AS_FLOAT64: encode_float64 (enc, SvNV (sv)); break;
456
457 default:
458 croak ("encountered malformed CBOR::XS::Tagged object");
459 }
460}
461
347static void encode_sv (enc_t *enc, SV *sv); 462static void encode_sv (enc_t *enc, SV *sv);
348 463
349static void 464static void
350encode_av (enc_t *enc, AV *av) 465encode_av (enc_t *enc, AV *av)
351{ 466{
356 471
357 ++enc->depth; 472 ++enc->depth;
358 473
359 encode_uint (enc, MAJOR_ARRAY, len + 1); 474 encode_uint (enc, MAJOR_ARRAY, len + 1);
360 475
361 if (SvMAGICAL (av)) 476 if (ecb_expect_false (SvMAGICAL (av)))
362 for (i = 0; i <= len; ++i) 477 for (i = 0; i <= len; ++i)
363 { 478 {
364 SV **svp = av_fetch (av, i, 0); 479 SV **svp = av_fetch (av, i, 0);
365 encode_sv (enc, svp ? *svp : &PL_sv_undef); 480 encode_sv (enc, svp ? *svp : &PL_sv_undef);
366 } 481 }
385 ++enc->depth; 500 ++enc->depth;
386 501
387 int pairs = hv_iterinit (hv); 502 int pairs = hv_iterinit (hv);
388 int mg = SvMAGICAL (hv); 503 int mg = SvMAGICAL (hv);
389 504
390 if (mg) 505 if (ecb_expect_false (mg))
391 encode_ch (enc, MAJOR_MAP | MINOR_INDEF); 506 encode_ch (enc, MAJOR_MAP | MINOR_INDEF);
392 else 507 else
393 encode_uint (enc, MAJOR_MAP, pairs); 508 encode_uint (enc, MAJOR_MAP, pairs);
394 509
395 while ((he = hv_iternext (hv))) 510 while ((he = hv_iternext (hv)))
400 encode_strref (enc, enc->cbor.flags & (F_TEXT_KEYS | F_TEXT_STRINGS), HeKUTF8 (he), HeKEY (he), HeKLEN (he)); 515 encode_strref (enc, enc->cbor.flags & (F_TEXT_KEYS | F_TEXT_STRINGS), HeKUTF8 (he), HeKEY (he), HeKLEN (he));
401 516
402 encode_sv (enc, ecb_expect_false (mg) ? hv_iterval (hv, he) : HeVAL (he)); 517 encode_sv (enc, ecb_expect_false (mg) ? hv_iterval (hv, he) : HeVAL (he));
403 } 518 }
404 519
405 if (mg) 520 if (ecb_expect_false (mg))
406 encode_ch (enc, MAJOR_MISC | MINOR_INDEF); 521 encode_ch (enc, MAJOR_MISC | MINOR_INDEF);
407 522
408 --enc->depth; 523 --enc->depth;
409} 524}
410 525
443 else if (stash == tagged_stash) 558 else if (stash == tagged_stash)
444 { 559 {
445 if (svt != SVt_PVAV) 560 if (svt != SVt_PVAV)
446 croak ("encountered CBOR::XS::Tagged object that isn't an array"); 561 croak ("encountered CBOR::XS::Tagged object that isn't an array");
447 562
563 switch (av_len ((AV *)sv))
564 {
565 case 2-1:
566 // actually a tagged value
448 encode_uint (enc, MAJOR_TAG, SvUV (*av_fetch ((AV *)sv, 0, 1))); 567 encode_uint (enc, MAJOR_TAG, SvUV (*av_fetch ((AV *)sv, 0, 1)));
449 encode_sv (enc, *av_fetch ((AV *)sv, 1, 1)); 568 encode_sv (enc, *av_fetch ((AV *)sv, 1, 1));
569 break;
570
571 case 3-1:
572 // a forced type [value, type, undef]
573 encode_forced (enc, SvUV (*av_fetch ((AV *)sv, 1, 1)), *av_fetch ((AV *)sv, 0, 1));
574 break;
575
576 default:
577 croak ("encountered malformed CBOR::XS::Tagged object");
578 }
450 579
451 return; 580 return;
452 } 581 }
453 } 582 }
454 583
455 if (ecb_expect_false (SvREFCNT (sv) > 1) 584 if (ecb_expect_false (SvREFCNT (sv) > 1)
456 && ecb_expect_false (enc->cbor.flags & F_ALLOW_SHARING)) 585 && ecb_expect_false (enc->cbor.flags & F_ALLOW_SHARING))
457 { 586 {
458 if (!enc->shareable) 587 if (ecb_expect_false (!enc->shareable))
459 enc->shareable = (HV *)sv_2mortal ((SV *)newHV ()); 588 enc->shareable = (HV *)sv_2mortal ((SV *)newHV ());
460 589
461 SV **svp = hv_fetch (enc->shareable, (char *)&sv, sizeof (sv), 1); 590 SV **svp = hv_fetch (enc->shareable, (char *)&sv, sizeof (sv), 1);
462 591
463 if (SvOK (*svp)) 592 if (SvOK (*svp))
477 if (ecb_expect_false (SvOBJECT (sv))) 606 if (ecb_expect_false (SvOBJECT (sv)))
478 { 607 {
479 HV *stash = SvSTASH (sv); 608 HV *stash = SvSTASH (sv);
480 GV *method; 609 GV *method;
481 610
611 if (enc->cbor.flags & F_FORBID_OBJECTS)
612 croak ("encountered object '%s', but forbid_objects is enabled",
613 SvPV_nolen (sv_2mortal (newRV_inc (sv))));
482 if ((method = gv_fetchmethod_autoload (stash, "TO_CBOR", 0))) 614 else if ((method = gv_fetchmethod_autoload (stash, "TO_CBOR", 0)))
483 { 615 {
484 dSP; 616 dSP;
485 617
486 ENTER; SAVETMPS; 618 ENTER; SAVETMPS;
487 PUSHMARK (SP); 619 PUSHMARK (SP);
506 else if ((method = gv_fetchmethod_autoload (stash, "FREEZE", 0)) != 0) 638 else if ((method = gv_fetchmethod_autoload (stash, "FREEZE", 0)) != 0)
507 { 639 {
508 dSP; 640 dSP;
509 641
510 ENTER; SAVETMPS; 642 ENTER; SAVETMPS;
511 SAVESTACK_POS ();
512 PUSHMARK (SP); 643 PUSHMARK (SP);
513 EXTEND (SP, 2); 644 EXTEND (SP, 2);
514 // we re-bless the reference to get overload and other niceties right 645 // we re-bless the reference to get overload and other niceties right
515 PUSHs (sv_bless (sv_2mortal (newRV_inc (sv)), stash)); 646 PUSHs (sv_bless (sv_2mortal (newRV_inc (sv)), stash));
516 PUSHs (sv_cbor); 647 PUSHs (sv_cbor);
525 656
526 encode_tag (enc, CBOR_TAG_PERL_OBJECT); 657 encode_tag (enc, CBOR_TAG_PERL_OBJECT);
527 encode_uint (enc, MAJOR_ARRAY, count + 1); 658 encode_uint (enc, MAJOR_ARRAY, count + 1);
528 encode_strref (enc, 0, HvNAMEUTF8 (stash), HvNAME (stash), HvNAMELEN (stash)); 659 encode_strref (enc, 0, HvNAMEUTF8 (stash), HvNAME (stash), HvNAMELEN (stash));
529 660
530 while (count) 661 {
662 int i;
663
664 for (i = 0; i < count; ++i)
531 encode_sv (enc, SP[1 - count--]); 665 encode_sv (enc, SP[i + 1 - count]);
666
667 SP -= count;
668 }
532 669
533 PUTBACK; 670 PUTBACK;
534 671
535 FREETMPS; LEAVE; 672 FREETMPS; LEAVE;
536 } 673 }
558 695
559 if (ecb_expect_false (nv == (NV)(U32)nv)) 696 if (ecb_expect_false (nv == (NV)(U32)nv))
560 encode_uint (enc, MAJOR_POS_INT, (U32)nv); 697 encode_uint (enc, MAJOR_POS_INT, (U32)nv);
561 //TODO: maybe I32? 698 //TODO: maybe I32?
562 else if (ecb_expect_false (nv == (float)nv)) 699 else if (ecb_expect_false (nv == (float)nv))
563 { 700 encode_float32 (enc, nv);
564 uint32_t fp = ecb_float_to_binary32 (nv);
565
566 *enc->cur++ = MAJOR_MISC | MISC_FLOAT32;
567
568 if (!ecb_big_endian ())
569 fp = ecb_bswap32 (fp);
570
571 memcpy (enc->cur, &fp, 4);
572 enc->cur += 4;
573 }
574 else 701 else
575 { 702 encode_float64 (enc, nv);
576 uint64_t fp = ecb_double_to_binary64 (nv);
577
578 *enc->cur++ = MAJOR_MISC | MISC_FLOAT64;
579
580 if (!ecb_big_endian ())
581 fp = ecb_bswap64 (fp);
582
583 memcpy (enc->cur, &fp, 8);
584 enc->cur += 8;
585 }
586} 703}
587 704
588static void 705static void
589encode_sv (enc_t *enc, SV *sv) 706encode_sv (enc_t *enc, SV *sv)
590{ 707{
597 encode_strref (enc, enc->cbor.flags & F_TEXT_STRINGS, SvUTF8 (sv), str, len); 714 encode_strref (enc, enc->cbor.flags & F_TEXT_STRINGS, SvUTF8 (sv), str, len);
598 } 715 }
599 else if (SvNOKp (sv)) 716 else if (SvNOKp (sv))
600 encode_nv (enc, sv); 717 encode_nv (enc, sv);
601 else if (SvIOKp (sv)) 718 else if (SvIOKp (sv))
602 { 719 encode_int (e,v sv);
603 if (SvIsUV (sv))
604 encode_uint (enc, MAJOR_POS_INT, SvUVX (sv));
605 else if (SvIVX (sv) >= 0)
606 encode_uint (enc, MAJOR_POS_INT, SvIVX (sv));
607 else
608 encode_uint (enc, MAJOR_NEG_INT, -(SvIVX (sv) + 1));
609 }
610 else if (SvROK (sv)) 720 else if (SvROK (sv))
611 encode_rv (enc, SvRV (sv)); 721 encode_rv (enc, SvRV (sv));
612 else if (!SvOK (sv)) 722 else if (!SvOK (sv))
613 encode_ch (enc, MAJOR_MISC | SIMPLE_NULL); 723 encode_ch (enc, MAJOR_MISC | SIMPLE_NULL);
614 else if (enc->cbor.flags & F_ALLOW_UNKNOWN) 724 else if (enc->cbor.flags & F_ALLOW_UNKNOWN)
621static SV * 731static SV *
622encode_cbor (SV *scalar, CBOR *cbor) 732encode_cbor (SV *scalar, CBOR *cbor)
623{ 733{
624 enc_t enc = { 0 }; 734 enc_t enc = { 0 };
625 735
626 enc.cbor = *cbor; 736 enc.cbor = *cbor;
627 enc.sv = sv_2mortal (NEWSV (0, INIT_SIZE)); 737 enc.sv = sv_2mortal (NEWSV (0, INIT_SIZE));
628 enc.cur = SvPVX (enc.sv); 738 enc.cur = SvPVX (enc.sv);
629 enc.end = SvEND (enc.sv); 739 enc.end = SvEND (enc.sv);
630 740
631 SvPOK_only (enc.sv); 741 SvPOK_only (enc.sv);
632 742
633 if (cbor->flags & F_PACK_STRINGS) 743 if (cbor->flags & F_PACK_STRINGS)
634 { 744 {
694err_unexpected_end (dec_t *dec) 804err_unexpected_end (dec_t *dec)
695{ 805{
696 err_set (dec, "unexpected end of CBOR data"); 806 err_set (dec, "unexpected end of CBOR data");
697} 807}
698 808
699ecb_cold static void
700err_nesting_exceeded (dec_t *dec)
701{
702 err_set (dec, ERR_NESTING_EXCEEDED);
703}
704
705#define ERR_DO(do) SB do; goto fail; SE 809#define ERR_DO(do) SB do; goto fail; SE
706#define ERR(reason) ERR_DO (err_set (dec, reason)) 810#define ERR(reason) ERR_DO (err_set (dec, reason))
707#define ERR_ERRSV ERR_DO (err_errsv (dec)) 811#define ERR_ERRSV ERR_DO (err_errsv (dec))
708 812
709#define WANT(len) if (ecb_expect_false ((UV)(dec->end - dec->cur) < (UV)len)) ERR_DO (err_unexpected_end (dec)) 813#define WANT(len) if (ecb_expect_false ((uintptr_t)(dec->end - dec->cur) < (STRLEN)len)) ERR_DO (err_unexpected_end (dec))
710 814
711#define DEC_INC_DEPTH if (ecb_expect_false (++dec->depth > dec->cbor.max_depth)) ERR (ERR_NESTING_EXCEEDED) 815#define DEC_INC_DEPTH if (ecb_expect_false (++dec->depth > dec->cbor.max_depth)) ERR (ERR_NESTING_EXCEEDED)
712#define DEC_DEC_DEPTH --dec->depth 816#define DEC_DEC_DEPTH --dec->depth
713 817
714static UV 818static UV
782 886
783 for (;;) 887 for (;;)
784 { 888 {
785 WANT (1); 889 WANT (1);
786 890
787 if (*dec->cur == (MAJOR_MISC | MINOR_INDEF)) 891 if (*dec->cur == (MAJOR_MISC | MINOR_INDEF) || dec->err)
788 { 892 {
789 ++dec->cur; 893 ++dec->cur;
790 break; 894 break;
791 } 895 }
792 896
806 910
807 DEC_DEC_DEPTH; 911 DEC_DEC_DEPTH;
808 return newRV_noinc ((SV *)av); 912 return newRV_noinc ((SV *)av);
809 913
810fail: 914fail:
811 SvREFCNT_dec (av); 915 SvREFCNT_dec_NN (av);
812 DEC_DEC_DEPTH; 916 DEC_DEC_DEPTH;
813 return &PL_sv_undef; 917 return &PL_sv_undef;
814} 918}
815 919
816static void 920static void
879 983
880 return; 984 return;
881 } 985 }
882 986
883 hv_store_ent (hv, k, v, 0); 987 hv_store_ent (hv, k, v, 0);
884 SvREFCNT_dec (k); 988 SvREFCNT_dec_NN (k);
885 989
886fail: 990fail:
887 ; 991 ;
888} 992}
889 993
900 1004
901 for (;;) 1005 for (;;)
902 { 1006 {
903 WANT (1); 1007 WANT (1);
904 1008
905 if (*dec->cur == (MAJOR_MISC | MINOR_INDEF)) 1009 if (*dec->cur == (MAJOR_MISC | MINOR_INDEF) || dec->err)
906 { 1010 {
907 ++dec->cur; 1011 ++dec->cur;
908 break; 1012 break;
909 } 1013 }
910 1014
923 1027
924 DEC_DEC_DEPTH; 1028 DEC_DEC_DEPTH;
925 return newRV_noinc ((SV *)hv); 1029 return newRV_noinc ((SV *)hv);
926 1030
927fail: 1031fail:
928 SvREFCNT_dec (hv); 1032 SvREFCNT_dec_NN (hv);
929 DEC_DEC_DEPTH; 1033 DEC_DEC_DEPTH;
930 return &PL_sv_undef; 1034 return &PL_sv_undef;
931} 1035}
932 1036
933static SV * 1037static SV *
934decode_str (dec_t *dec, int utf8) 1038decode_str (dec_t *dec, int utf8)
935{ 1039{
936 SV *sv = 0; 1040 SV *sv = 0;
937 1041
938 if ((*dec->cur & MINOR_MASK) == MINOR_INDEF) 1042 if (ecb_expect_false ((*dec->cur & MINOR_MASK) == MINOR_INDEF))
939 { 1043 {
940 // indefinite length strings 1044 // indefinite length strings
941 ++dec->cur; 1045 ++dec->cur;
942 1046
943 U8 major = *dec->cur & MAJOR_MISC; 1047 U8 major = *dec->cur & MAJOR_MISC;
1011 sv = newRV_noinc (decode_sv (dec)); 1115 sv = newRV_noinc (decode_sv (dec));
1012 break; 1116 break;
1013 1117
1014 case CBOR_TAG_STRINGREF_NAMESPACE: 1118 case CBOR_TAG_STRINGREF_NAMESPACE:
1015 { 1119 {
1016 // do nmot use SAVETMPS/FREETMPS, as these will 1120 // do not use SAVETMPS/FREETMPS, as these will
1017 // erase mortalised caches, e.g. "shareable" 1121 // erase mortalised caches, e.g. "shareable"
1018 ENTER; 1122 ENTER;
1019 1123
1020 SAVESPTR (dec->stringref); 1124 SAVESPTR (dec->stringref);
1021 dec->stringref = (AV *)sv_2mortal ((SV *)newAV ()); 1125 dec->stringref = (AV *)sv_2mortal ((SV *)newAV ());
1031 if ((*dec->cur >> MAJOR_SHIFT) != (MAJOR_POS_INT >> MAJOR_SHIFT)) 1135 if ((*dec->cur >> MAJOR_SHIFT) != (MAJOR_POS_INT >> MAJOR_SHIFT))
1032 ERR ("corrupted CBOR data (stringref index not an unsigned integer)"); 1136 ERR ("corrupted CBOR data (stringref index not an unsigned integer)");
1033 1137
1034 UV idx = decode_uint (dec); 1138 UV idx = decode_uint (dec);
1035 1139
1036 if (!dec->stringref || (int)idx > AvFILLp (dec->stringref)) 1140 if (!dec->stringref || idx >= (UV)(1 + AvFILLp (dec->stringref)))
1037 ERR ("corrupted CBOR data (stringref index out of bounds or outside namespace)"); 1141 ERR ("corrupted CBOR data (stringref index out of bounds or outside namespace)");
1038 1142
1039 sv = newSVsv (AvARRAY (dec->stringref)[idx]); 1143 sv = newSVsv (AvARRAY (dec->stringref)[idx]);
1040 } 1144 }
1041 break; 1145 break;
1069 if ((*dec->cur >> MAJOR_SHIFT) != (MAJOR_POS_INT >> MAJOR_SHIFT)) 1173 if ((*dec->cur >> MAJOR_SHIFT) != (MAJOR_POS_INT >> MAJOR_SHIFT))
1070 ERR ("corrupted CBOR data (sharedref index not an unsigned integer)"); 1174 ERR ("corrupted CBOR data (sharedref index not an unsigned integer)");
1071 1175
1072 UV idx = decode_uint (dec); 1176 UV idx = decode_uint (dec);
1073 1177
1074 if (!dec->shareable || (int)idx > AvFILLp (dec->shareable)) 1178 if (!dec->shareable || idx >= (UV)(1 + AvFILLp (dec->shareable)))
1075 ERR ("corrupted CBOR data (sharedref index out of bounds)"); 1179 ERR ("corrupted CBOR data (sharedref index out of bounds)");
1076 1180
1077 sv = SvREFCNT_inc_NN (AvARRAY (dec->shareable)[idx]); 1181 sv = SvREFCNT_inc_NN (AvARRAY (dec->shareable)[idx]);
1078 1182
1079 if (sv == &PL_sv_undef) 1183 if (sv == &PL_sv_undef)
1081 } 1185 }
1082 break; 1186 break;
1083 1187
1084 case CBOR_TAG_PERL_OBJECT: 1188 case CBOR_TAG_PERL_OBJECT:
1085 { 1189 {
1190 if (dec->cbor.flags & F_FORBID_OBJECTS)
1191 goto filter;
1192
1086 sv = decode_sv (dec); 1193 sv = decode_sv (dec);
1087 1194
1088 if (!SvROK (sv) || SvTYPE (SvRV (sv)) != SVt_PVAV) 1195 if (!SvROK (sv) || SvTYPE (SvRV (sv)) != SVt_PVAV)
1089 ERR ("corrupted CBOR data (non-array perl object)"); 1196 ERR ("corrupted CBOR data (non-array perl object)");
1090 1197
1122 { 1229 {
1123 FREETMPS; LEAVE; 1230 FREETMPS; LEAVE;
1124 ERR_ERRSV; 1231 ERR_ERRSV;
1125 } 1232 }
1126 1233
1127 SvREFCNT_dec (sv); 1234 SvREFCNT_dec_NN (sv);
1128 sv = SvREFCNT_inc (POPs); 1235 sv = SvREFCNT_inc (POPs);
1129 1236
1130 PUTBACK; 1237 PUTBACK;
1131 1238
1132 FREETMPS; LEAVE; 1239 FREETMPS; LEAVE;
1133 } 1240 }
1134 break; 1241 break;
1135 1242
1136 default: 1243 default:
1244 filter:
1137 { 1245 {
1138 SV *tag_sv = newSVuv (tag); 1246 SV *tag_sv = newSVuv (tag);
1139 1247
1140 sv = decode_sv (dec); 1248 sv = decode_sv (dec);
1141 1249
1142 dSP; 1250 dSP;
1143 ENTER; SAVETMPS; 1251 ENTER; SAVETMPS;
1144 SAVESTACK_POS ();
1145 PUSHMARK (SP); 1252 PUSHMARK (SP);
1146 EXTEND (SP, 2); 1253 EXTEND (SP, 2);
1147 PUSHs (tag_sv); 1254 PUSHs (tag_sv);
1148 PUSHs (sv); 1255 PUSHs (sv);
1149 1256
1151 int count = call_sv (dec->cbor.filter ? dec->cbor.filter : default_filter, G_ARRAY | G_EVAL); 1258 int count = call_sv (dec->cbor.filter ? dec->cbor.filter : default_filter, G_ARRAY | G_EVAL);
1152 SPAGAIN; 1259 SPAGAIN;
1153 1260
1154 if (SvTRUE (ERRSV)) 1261 if (SvTRUE (ERRSV))
1155 { 1262 {
1156 SvREFCNT_dec (tag_sv); 1263 SvREFCNT_dec_NN (tag_sv);
1157 FREETMPS; LEAVE; 1264 FREETMPS; LEAVE;
1158 ERR_ERRSV; 1265 ERR_ERRSV;
1159 } 1266 }
1160 1267
1161 if (count) 1268 if (count)
1162 { 1269 {
1163 SvREFCNT_dec (tag_sv); 1270 SvREFCNT_dec_NN (tag_sv);
1164 SvREFCNT_dec (sv); 1271 SvREFCNT_dec_NN (sv);
1165 sv = SvREFCNT_inc (POPs); 1272 sv = SvREFCNT_inc_NN (TOPs);
1273 SP -= count;
1166 } 1274 }
1167 else 1275 else
1168 { 1276 {
1169 AV *av = newAV (); 1277 AV *av = newAV ();
1170 av_push (av, tag_sv); 1278 av_push (av, tag_sv);
1313 for (i = av_len (dec.shareable) + 1; i--; ) 1421 for (i = av_len (dec.shareable) + 1; i--; )
1314 if ((svp = av_fetch (dec.shareable, i, 0))) 1422 if ((svp = av_fetch (dec.shareable, i, 0)))
1315 sv_setsv (*svp, &PL_sv_undef); 1423 sv_setsv (*svp, &PL_sv_undef);
1316 } 1424 }
1317 1425
1318 SvREFCNT_dec (sv); 1426 SvREFCNT_dec_NN (sv);
1319 1427
1320 if (dec.err_sv) 1428 if (dec.err_sv)
1321 sv_2mortal (dec.err_sv); 1429 sv_2mortal (dec.err_sv);
1322 1430
1323 croak ("%s, at offset %d (octet 0x%02x)", dec.err, dec.cur - (U8 *)data, (int)(uint8_t)*dec.cur); 1431 croak ("%s, at offset %d (octet 0x%02x)", dec.err, dec.cur - (U8 *)data, (int)(uint8_t)*dec.cur);
1502 ALIAS: 1610 ALIAS:
1503 shrink = F_SHRINK 1611 shrink = F_SHRINK
1504 allow_unknown = F_ALLOW_UNKNOWN 1612 allow_unknown = F_ALLOW_UNKNOWN
1505 allow_sharing = F_ALLOW_SHARING 1613 allow_sharing = F_ALLOW_SHARING
1506 allow_cycles = F_ALLOW_CYCLES 1614 allow_cycles = F_ALLOW_CYCLES
1615 forbid_objects = F_FORBID_OBJECTS
1507 pack_strings = F_PACK_STRINGS 1616 pack_strings = F_PACK_STRINGS
1508 text_keys = F_TEXT_KEYS 1617 text_keys = F_TEXT_KEYS
1509 text_strings = F_TEXT_STRINGS 1618 text_strings = F_TEXT_STRINGS
1510 validate_utf8 = F_VALIDATE_UTF8 1619 validate_utf8 = F_VALIDATE_UTF8
1511 PPCODE: 1620 PPCODE:
1522 ALIAS: 1631 ALIAS:
1523 get_shrink = F_SHRINK 1632 get_shrink = F_SHRINK
1524 get_allow_unknown = F_ALLOW_UNKNOWN 1633 get_allow_unknown = F_ALLOW_UNKNOWN
1525 get_allow_sharing = F_ALLOW_SHARING 1634 get_allow_sharing = F_ALLOW_SHARING
1526 get_allow_cycles = F_ALLOW_CYCLES 1635 get_allow_cycles = F_ALLOW_CYCLES
1636 get_forbid_objects = F_FORBID_OBJECTS
1527 get_pack_strings = F_PACK_STRINGS 1637 get_pack_strings = F_PACK_STRINGS
1528 get_text_keys = F_TEXT_KEYS 1638 get_text_keys = F_TEXT_KEYS
1529 get_text_strings = F_TEXT_STRINGS 1639 get_text_strings = F_TEXT_STRINGS
1530 get_validate_utf8 = F_VALIDATE_UTF8 1640 get_validate_utf8 = F_VALIDATE_UTF8
1531 PPCODE: 1641 PPCODE:
1664 cbor_init (&cbor); 1774 cbor_init (&cbor);
1665 PUTBACK; cborstr = decode_cbor (cborstr, &cbor, 0); SPAGAIN; 1775 PUTBACK; cborstr = decode_cbor (cborstr, &cbor, 0); SPAGAIN;
1666 XPUSHs (cborstr); 1776 XPUSHs (cborstr);
1667} 1777}
1668 1778
1779#ifdef __AFL_COMPILER
1780
1781void
1782afl_init ()
1783 CODE:
1784 __AFL_INIT ();
1785
1786int
1787afl_loop (unsigned int count = 10000)
1788 CODE:
1789 RETVAL = __AFL_LOOP (count);
1790 OUTPUT:
1791 RETVAL
1792
1793#endif
1794

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines