… | |
… | |
99 | |
99 | |
100 | #define F_SHRINK 0x00000001UL |
100 | #define F_SHRINK 0x00000001UL |
101 | #define F_ALLOW_UNKNOWN 0x00000002UL |
101 | #define F_ALLOW_UNKNOWN 0x00000002UL |
102 | #define F_ALLOW_SHARING 0x00000004UL |
102 | #define F_ALLOW_SHARING 0x00000004UL |
103 | #define F_ALLOW_CYCLES 0x00000008UL |
103 | #define F_ALLOW_CYCLES 0x00000008UL |
|
|
104 | #define F_FORBID_OBJECTS 0x00000010UL |
104 | #define F_PACK_STRINGS 0x00000010UL |
105 | #define F_PACK_STRINGS 0x00000020UL |
105 | #define F_TEXT_KEYS 0x00000020UL |
106 | #define F_TEXT_KEYS 0x00000040UL |
106 | #define F_TEXT_STRINGS 0x00000040UL |
107 | #define F_TEXT_STRINGS 0x00000080UL |
107 | #define F_VALIDATE_UTF8 0x00000080UL |
108 | #define F_VALIDATE_UTF8 0x00000100UL |
108 | |
109 | |
109 | #define INIT_SIZE 32 // initial scalar size to be allocated |
110 | #define INIT_SIZE 32 // initial scalar size to be allocated |
110 | |
111 | |
111 | #define SB do { |
112 | #define SB do { |
112 | #define SE } while (0) |
113 | #define SE } while (0) |
… | |
… | |
477 | if (ecb_expect_false (SvOBJECT (sv))) |
478 | if (ecb_expect_false (SvOBJECT (sv))) |
478 | { |
479 | { |
479 | HV *stash = SvSTASH (sv); |
480 | HV *stash = SvSTASH (sv); |
480 | GV *method; |
481 | GV *method; |
481 | |
482 | |
|
|
483 | if (enc->cbor.flags & F_FORBID_OBJECTS) |
|
|
484 | croak ("encountered object '%s', but forbid_objects is enabled", |
|
|
485 | SvPV_nolen (sv_2mortal (newRV_inc (sv)))); |
482 | if ((method = gv_fetchmethod_autoload (stash, "TO_CBOR", 0))) |
486 | else if ((method = gv_fetchmethod_autoload (stash, "TO_CBOR", 0))) |
483 | { |
487 | { |
484 | dSP; |
488 | dSP; |
485 | |
489 | |
486 | ENTER; SAVETMPS; |
490 | ENTER; SAVETMPS; |
487 | PUSHMARK (SP); |
491 | PUSHMARK (SP); |
… | |
… | |
661 | U32 depth; // recursion depth |
665 | U32 depth; // recursion depth |
662 | U32 maxdepth; // recursion depth limit |
666 | U32 maxdepth; // recursion depth limit |
663 | AV *shareable; |
667 | AV *shareable; |
664 | AV *stringref; |
668 | AV *stringref; |
665 | SV *decode_tagged; |
669 | SV *decode_tagged; |
|
|
670 | SV *err_sv; // optional sv for error, needs to be freed |
666 | } dec_t; |
671 | } dec_t; |
667 | |
672 | |
668 | #define ERR(reason) SB if (!dec->err) dec->err = reason; goto fail; SE |
673 | // set dec->err to ERRSV |
|
|
674 | ecb_cold static void |
|
|
675 | err_errsv (dec_t *dec) |
|
|
676 | { |
|
|
677 | if (!dec->err) |
|
|
678 | { |
|
|
679 | dec->err_sv = newSVsv (ERRSV); |
669 | |
680 | |
|
|
681 | // chop off the trailing \n |
|
|
682 | SvCUR_set (dec->err_sv, SvCUR (dec->err_sv) - 1); |
|
|
683 | *SvEND (dec->err_sv) = 0; |
|
|
684 | |
|
|
685 | dec->err = SvPVutf8_nolen (dec->err_sv); |
|
|
686 | } |
|
|
687 | } |
|
|
688 | |
|
|
689 | // the following functions are used to reduce code size and help the compiler to optimise |
|
|
690 | ecb_cold static void |
|
|
691 | err_set (dec_t *dec, const char *reason) |
|
|
692 | { |
|
|
693 | if (!dec->err) |
|
|
694 | dec->err = reason; |
|
|
695 | } |
|
|
696 | |
|
|
697 | ecb_cold static void |
|
|
698 | err_unexpected_end (dec_t *dec) |
|
|
699 | { |
|
|
700 | err_set (dec, "unexpected end of CBOR data"); |
|
|
701 | } |
|
|
702 | |
|
|
703 | ecb_cold static void |
|
|
704 | err_nesting_exceeded (dec_t *dec) |
|
|
705 | { |
|
|
706 | err_set (dec, ERR_NESTING_EXCEEDED); |
|
|
707 | } |
|
|
708 | |
|
|
709 | #define ERR_DO(do) SB do; goto fail; SE |
|
|
710 | #define ERR(reason) ERR_DO (err_set (dec, reason)) |
|
|
711 | #define ERR_ERRSV ERR_DO (err_errsv (dec)) |
|
|
712 | |
670 | #define WANT(len) if (ecb_expect_false ((UV)(dec->end - dec->cur) < (UV)len)) ERR ("unexpected end of CBOR data") |
713 | #define WANT(len) if (ecb_expect_false ((UV)(dec->end - dec->cur) < (UV)len)) ERR_DO (err_unexpected_end (dec)) |
671 | |
714 | |
672 | #define DEC_INC_DEPTH if (ecb_expect_false (++dec->depth > dec->cbor.max_depth)) ERR (ERR_NESTING_EXCEEDED) |
715 | #define DEC_INC_DEPTH if (ecb_expect_false (++dec->depth > dec->cbor.max_depth)) ERR (ERR_NESTING_EXCEEDED) |
673 | #define DEC_DEC_DEPTH --dec->depth |
716 | #define DEC_DEC_DEPTH --dec->depth |
674 | |
717 | |
675 | static UV |
718 | static UV |
… | |
… | |
811 | } |
854 | } |
812 | |
855 | |
813 | SV *k = decode_sv (dec); |
856 | SV *k = decode_sv (dec); |
814 | SV *v = decode_sv (dec); |
857 | SV *v = decode_sv (dec); |
815 | |
858 | |
|
|
859 | // we leak memory if uncaught exceptions are thrown by random magical |
|
|
860 | // methods, and this is hopefully the only place where it can happen, |
|
|
861 | // so if there is a chance of an exception, take the very slow path. |
|
|
862 | // since catching exceptions is "undocumented/internal/forbidden" by |
|
|
863 | // the new p5p powers, we need to call out to a perl function :/ |
|
|
864 | if (ecb_expect_false (SvAMAGIC (k))) |
|
|
865 | { |
|
|
866 | dSP; |
|
|
867 | |
|
|
868 | ENTER; SAVETMPS; |
|
|
869 | PUSHMARK (SP); |
|
|
870 | EXTEND (SP, 3); |
|
|
871 | PUSHs (sv_2mortal (newRV_inc ((SV *)hv))); |
|
|
872 | PUSHs (sv_2mortal (k)); |
|
|
873 | PUSHs (sv_2mortal (v)); |
|
|
874 | |
|
|
875 | PUTBACK; |
|
|
876 | call_pv ("CBOR::XS::_hv_store", G_VOID | G_DISCARD | G_EVAL); |
|
|
877 | SPAGAIN; |
|
|
878 | |
|
|
879 | FREETMPS; LEAVE; |
|
|
880 | |
|
|
881 | if (SvTRUE (ERRSV)) |
|
|
882 | ERR_ERRSV; |
|
|
883 | |
|
|
884 | return; |
|
|
885 | } |
|
|
886 | |
816 | hv_store_ent (hv, k, v, 0); |
887 | hv_store_ent (hv, k, v, 0); |
817 | SvREFCNT_dec (k); |
888 | SvREFCNT_dec (k); |
818 | |
889 | |
819 | fail: |
890 | fail: |
820 | ; |
891 | ; |
… | |
… | |
1014 | } |
1085 | } |
1015 | break; |
1086 | break; |
1016 | |
1087 | |
1017 | case CBOR_TAG_PERL_OBJECT: |
1088 | case CBOR_TAG_PERL_OBJECT: |
1018 | { |
1089 | { |
|
|
1090 | if (dec->cbor.flags & F_FORBID_OBJECTS) |
|
|
1091 | goto filter; |
|
|
1092 | |
1019 | sv = decode_sv (dec); |
1093 | sv = decode_sv (dec); |
1020 | |
1094 | |
1021 | if (!SvROK (sv) || SvTYPE (SvRV (sv)) != SVt_PVAV) |
1095 | if (!SvROK (sv) || SvTYPE (SvRV (sv)) != SVt_PVAV) |
1022 | ERR ("corrupted CBOR data (non-array perl object)"); |
1096 | ERR ("corrupted CBOR data (non-array perl object)"); |
1023 | |
1097 | |
… | |
… | |
1052 | SPAGAIN; |
1126 | SPAGAIN; |
1053 | |
1127 | |
1054 | if (SvTRUE (ERRSV)) |
1128 | if (SvTRUE (ERRSV)) |
1055 | { |
1129 | { |
1056 | FREETMPS; LEAVE; |
1130 | FREETMPS; LEAVE; |
1057 | ERR (SvPVutf8_nolen (sv_2mortal (SvREFCNT_inc (ERRSV)))); |
1131 | ERR_ERRSV; |
1058 | } |
1132 | } |
1059 | |
1133 | |
1060 | SvREFCNT_dec (sv); |
1134 | SvREFCNT_dec (sv); |
1061 | sv = SvREFCNT_inc (POPs); |
1135 | sv = SvREFCNT_inc (POPs); |
1062 | |
1136 | |
… | |
… | |
1065 | FREETMPS; LEAVE; |
1139 | FREETMPS; LEAVE; |
1066 | } |
1140 | } |
1067 | break; |
1141 | break; |
1068 | |
1142 | |
1069 | default: |
1143 | default: |
|
|
1144 | filter: |
1070 | { |
1145 | { |
|
|
1146 | SV *tag_sv = newSVuv (tag); |
|
|
1147 | |
1071 | sv = decode_sv (dec); |
1148 | sv = decode_sv (dec); |
1072 | |
1149 | |
1073 | dSP; |
1150 | dSP; |
1074 | ENTER; SAVETMPS; |
1151 | ENTER; SAVETMPS; |
1075 | SAVESTACK_POS (); |
1152 | SAVESTACK_POS (); |
1076 | PUSHMARK (SP); |
1153 | PUSHMARK (SP); |
1077 | EXTEND (SP, 2); |
1154 | EXTEND (SP, 2); |
1078 | PUSHs (newSVuv (tag)); |
1155 | PUSHs (tag_sv); |
1079 | PUSHs (sv); |
1156 | PUSHs (sv); |
1080 | |
1157 | |
1081 | PUTBACK; |
1158 | PUTBACK; |
1082 | int count = call_sv (dec->cbor.filter ? dec->cbor.filter : default_filter, G_ARRAY | G_EVAL); |
1159 | int count = call_sv (dec->cbor.filter ? dec->cbor.filter : default_filter, G_ARRAY | G_EVAL); |
1083 | SPAGAIN; |
1160 | SPAGAIN; |
1084 | |
1161 | |
1085 | if (SvTRUE (ERRSV)) |
1162 | if (SvTRUE (ERRSV)) |
1086 | { |
1163 | { |
|
|
1164 | SvREFCNT_dec (tag_sv); |
1087 | FREETMPS; LEAVE; |
1165 | FREETMPS; LEAVE; |
1088 | ERR (SvPVutf8_nolen (sv_2mortal (SvREFCNT_inc (ERRSV)))); |
1166 | ERR_ERRSV; |
1089 | } |
1167 | } |
1090 | |
1168 | |
1091 | if (count) |
1169 | if (count) |
1092 | { |
1170 | { |
|
|
1171 | SvREFCNT_dec (tag_sv); |
1093 | SvREFCNT_dec (sv); |
1172 | SvREFCNT_dec (sv); |
1094 | sv = SvREFCNT_inc (POPs); |
1173 | sv = SvREFCNT_inc (POPs); |
1095 | } |
1174 | } |
1096 | else |
1175 | else |
1097 | { |
1176 | { |
1098 | AV *av = newAV (); |
1177 | AV *av = newAV (); |
1099 | av_push (av, newSVuv (tag)); |
1178 | av_push (av, tag_sv); |
1100 | av_push (av, sv); |
1179 | av_push (av, sv); |
1101 | |
1180 | |
1102 | HV *tagged_stash = !CBOR_SLOW || cbor_tagged_stash |
1181 | HV *tagged_stash = !CBOR_SLOW || cbor_tagged_stash |
1103 | ? cbor_tagged_stash |
1182 | ? cbor_tagged_stash |
1104 | : gv_stashpv ("CBOR::XS::Tagged" , 1); |
1183 | : gv_stashpv ("CBOR::XS::Tagged" , 1); |
… | |
… | |
1233 | |
1312 | |
1234 | if (dec.err) |
1313 | if (dec.err) |
1235 | { |
1314 | { |
1236 | if (dec.shareable) |
1315 | if (dec.shareable) |
1237 | { |
1316 | { |
1238 | // need to break cyclic links, which whould all be in shareable |
1317 | // need to break cyclic links, which would all be in shareable |
1239 | int i; |
1318 | int i; |
1240 | SV **svp; |
1319 | SV **svp; |
1241 | |
1320 | |
1242 | for (i = av_len (dec.shareable) + 1; i--; ) |
1321 | for (i = av_len (dec.shareable) + 1; i--; ) |
1243 | if ((svp = av_fetch (dec.shareable, i, 0))) |
1322 | if ((svp = av_fetch (dec.shareable, i, 0))) |
1244 | sv_setsv (*svp, &PL_sv_undef); |
1323 | sv_setsv (*svp, &PL_sv_undef); |
1245 | } |
1324 | } |
1246 | |
1325 | |
1247 | SvREFCNT_dec (sv); |
1326 | SvREFCNT_dec (sv); |
|
|
1327 | |
|
|
1328 | if (dec.err_sv) |
|
|
1329 | sv_2mortal (dec.err_sv); |
|
|
1330 | |
1248 | croak ("%s, at offset %d (octet 0x%02x)", dec.err, dec.cur - (U8 *)data, (int)(uint8_t)*dec.cur); |
1331 | croak ("%s, at offset %d (octet 0x%02x)", dec.err, dec.cur - (U8 *)data, (int)(uint8_t)*dec.cur); |
1249 | } |
1332 | } |
1250 | |
1333 | |
1251 | sv = sv_2mortal (sv); |
1334 | sv = sv_2mortal (sv); |
1252 | |
1335 | |
… | |
… | |
1427 | ALIAS: |
1510 | ALIAS: |
1428 | shrink = F_SHRINK |
1511 | shrink = F_SHRINK |
1429 | allow_unknown = F_ALLOW_UNKNOWN |
1512 | allow_unknown = F_ALLOW_UNKNOWN |
1430 | allow_sharing = F_ALLOW_SHARING |
1513 | allow_sharing = F_ALLOW_SHARING |
1431 | allow_cycles = F_ALLOW_CYCLES |
1514 | allow_cycles = F_ALLOW_CYCLES |
|
|
1515 | forbid_objects = F_FORBID_OBJECTS |
1432 | pack_strings = F_PACK_STRINGS |
1516 | pack_strings = F_PACK_STRINGS |
1433 | text_keys = F_TEXT_KEYS |
1517 | text_keys = F_TEXT_KEYS |
1434 | text_strings = F_TEXT_STRINGS |
1518 | text_strings = F_TEXT_STRINGS |
1435 | validate_utf8 = F_VALIDATE_UTF8 |
1519 | validate_utf8 = F_VALIDATE_UTF8 |
1436 | PPCODE: |
1520 | PPCODE: |
… | |
… | |
1447 | ALIAS: |
1531 | ALIAS: |
1448 | get_shrink = F_SHRINK |
1532 | get_shrink = F_SHRINK |
1449 | get_allow_unknown = F_ALLOW_UNKNOWN |
1533 | get_allow_unknown = F_ALLOW_UNKNOWN |
1450 | get_allow_sharing = F_ALLOW_SHARING |
1534 | get_allow_sharing = F_ALLOW_SHARING |
1451 | get_allow_cycles = F_ALLOW_CYCLES |
1535 | get_allow_cycles = F_ALLOW_CYCLES |
|
|
1536 | get_forbid_objects = F_FORBID_OBJECTS |
1452 | get_pack_strings = F_PACK_STRINGS |
1537 | get_pack_strings = F_PACK_STRINGS |
1453 | get_text_keys = F_TEXT_KEYS |
1538 | get_text_keys = F_TEXT_KEYS |
1454 | get_text_strings = F_TEXT_STRINGS |
1539 | get_text_strings = F_TEXT_STRINGS |
1455 | get_validate_utf8 = F_VALIDATE_UTF8 |
1540 | get_validate_utf8 = F_VALIDATE_UTF8 |
1456 | PPCODE: |
1541 | PPCODE: |