Path: blob/main/crypto/heimdal/lib/asn1/check-gen.c
34879 views
/*1* Copyright (c) 1999 - 2005 Kungliga Tekniska Högskolan2* (Royal Institute of Technology, Stockholm, Sweden).3* All rights reserved.4*5* Portions Copyright (c) 2009 Apple Inc. All rights reserved.6*7* Redistribution and use in source and binary forms, with or without8* modification, are permitted provided that the following conditions9* are met:10*11* 1. Redistributions of source code must retain the above copyright12* notice, this list of conditions and the following disclaimer.13*14* 2. Redistributions in binary form must reproduce the above copyright15* notice, this list of conditions and the following disclaimer in the16* documentation and/or other materials provided with the distribution.17*18* 3. Neither the name of the Institute nor the names of its contributors19* may be used to endorse or promote products derived from this software20* without specific prior written permission.21*22* THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND23* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE24* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE25* ARE DISCLAIMED. IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE26* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL27* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS28* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)29* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT30* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY31* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF32* SUCH DAMAGE.33*/3435#ifdef HAVE_CONFIG_H36#include <config.h>37#endif38#include <stdio.h>39#include <string.h>40#include <err.h>41#include <roken.h>4243#include <asn1-common.h>44#include <asn1_err.h>45#include <der.h>46#include <krb5_asn1.h>47#include <heim_asn1.h>48#include <rfc2459_asn1.h>49#include <test_asn1.h>5051#include "check-common.h"5253RCSID("$Id$");5455static char *lha_principal[] = { "lha" };56static char *lharoot_princ[] = { "lha", "root" };57static char *datan_princ[] = { "host", "nutcracker.e.kth.se" };58static char *nada_tgt_principal[] = { "krbtgt", "NADA.KTH.SE" };596061#define IF_OPT_COMPARE(ac,bc,e) \62if (((ac)->e == NULL && (bc)->e != NULL) || (((ac)->e != NULL && (bc)->e == NULL))) return 1; if ((ab)->e)63#define COMPARE_OPT_STRING(ac,bc,e) \64do { if (strcmp(*(ac)->e, *(bc)->e) != 0) return 1; } while(0)65#define COMPARE_OPT_OCTECT_STRING(ac,bc,e) \66do { if ((ac)->e->length != (bc)->e->length || memcmp((ac)->e->data, (bc)->e->data, (ac)->e->length) != 0) return 1; } while(0)67#define COMPARE_STRING(ac,bc,e) \68do { if (strcmp((ac)->e, (bc)->e) != 0) return 1; } while(0)69#define COMPARE_INTEGER(ac,bc,e) \70do { if ((ac)->e != (bc)->e) return 1; } while(0)71#define COMPARE_OPT_INTEGER(ac,bc,e) \72do { if (*(ac)->e != *(bc)->e) return 1; } while(0)73#define COMPARE_MEM(ac,bc,e,len) \74do { if (memcmp((ac)->e, (bc)->e,len) != 0) return 1; } while(0)7576static int77cmp_principal (void *a, void *b)78{79Principal *pa = a;80Principal *pb = b;81int i;8283COMPARE_STRING(pa,pb,realm);84COMPARE_INTEGER(pa,pb,name.name_type);85COMPARE_INTEGER(pa,pb,name.name_string.len);8687for (i = 0; i < pa->name.name_string.len; i++)88COMPARE_STRING(pa,pb,name.name_string.val[i]);8990return 0;91}9293static int94test_principal (void)95{9697struct test_case tests[] = {98{ NULL, 29,99"\x30\x1b\xa0\x10\x30\x0e\xa0\x03\x02\x01\x01\xa1\x07\x30\x05\x1b"100"\x03\x6c\x68\x61\xa1\x07\x1b\x05\x53\x55\x2e\x53\x45"101},102{ NULL, 35,103"\x30\x21\xa0\x16\x30\x14\xa0\x03\x02\x01\x01\xa1\x0d\x30\x0b\x1b"104"\x03\x6c\x68\x61\x1b\x04\x72\x6f\x6f\x74\xa1\x07\x1b\x05\x53\x55"105"\x2e\x53\x45"106},107{ NULL, 54,108"\x30\x34\xa0\x26\x30\x24\xa0\x03\x02\x01\x03\xa1\x1d\x30\x1b\x1b"109"\x04\x68\x6f\x73\x74\x1b\x13\x6e\x75\x74\x63\x72\x61\x63\x6b\x65"110"\x72\x2e\x65\x2e\x6b\x74\x68\x2e\x73\x65\xa1\x0a\x1b\x08\x45\x2e"111"\x4b\x54\x48\x2e\x53\x45"112}113};114115116Principal values[] = {117{ { KRB5_NT_PRINCIPAL, { 1, lha_principal } }, "SU.SE" },118{ { KRB5_NT_PRINCIPAL, { 2, lharoot_princ } }, "SU.SE" },119{ { KRB5_NT_SRV_HST, { 2, datan_princ } }, "E.KTH.SE" }120};121int i, ret;122int ntests = sizeof(tests) / sizeof(*tests);123124for (i = 0; i < ntests; ++i) {125tests[i].val = &values[i];126if (asprintf (&tests[i].name, "Principal %d", i) < 0)127errx(1, "malloc");128if (tests[i].name == NULL)129errx(1, "malloc");130}131132ret = generic_test (tests, ntests, sizeof(Principal),133(generic_encode)encode_Principal,134(generic_length)length_Principal,135(generic_decode)decode_Principal,136(generic_free)free_Principal,137cmp_principal,138NULL);139for (i = 0; i < ntests; ++i)140free (tests[i].name);141142return ret;143}144145static int146cmp_authenticator (void *a, void *b)147{148Authenticator *aa = a;149Authenticator *ab = b;150int i;151152COMPARE_INTEGER(aa,ab,authenticator_vno);153COMPARE_STRING(aa,ab,crealm);154155COMPARE_INTEGER(aa,ab,cname.name_type);156COMPARE_INTEGER(aa,ab,cname.name_string.len);157158for (i = 0; i < aa->cname.name_string.len; i++)159COMPARE_STRING(aa,ab,cname.name_string.val[i]);160161return 0;162}163164static int165test_authenticator (void)166{167struct test_case tests[] = {168{ NULL, 63,169"\x62\x3d\x30\x3b\xa0\x03\x02\x01\x05\xa1\x0a\x1b\x08"170"\x45\x2e\x4b\x54\x48\x2e\x53\x45\xa2\x10\x30\x0e\xa0"171"\x03\x02\x01\x01\xa1\x07\x30\x05\x1b\x03\x6c\x68\x61"172"\xa4\x03\x02\x01\x0a\xa5\x11\x18\x0f\x31\x39\x37\x30"173"\x30\x31\x30\x31\x30\x30\x30\x31\x33\x39\x5a"174},175{ NULL, 67,176"\x62\x41\x30\x3f\xa0\x03\x02\x01\x05\xa1\x07\x1b\x05"177"\x53\x55\x2e\x53\x45\xa2\x16\x30\x14\xa0\x03\x02\x01"178"\x01\xa1\x0d\x30\x0b\x1b\x03\x6c\x68\x61\x1b\x04\x72"179"\x6f\x6f\x74\xa4\x04\x02\x02\x01\x24\xa5\x11\x18\x0f"180"\x31\x39\x37\x30\x30\x31\x30\x31\x30\x30\x31\x36\x33"181"\x39\x5a"182}183};184185Authenticator values[] = {186{ 5, "E.KTH.SE", { KRB5_NT_PRINCIPAL, { 1, lha_principal } },187NULL, 10, 99, NULL, NULL, NULL },188{ 5, "SU.SE", { KRB5_NT_PRINCIPAL, { 2, lharoot_princ } },189NULL, 292, 999, NULL, NULL, NULL }190};191int i, ret;192int ntests = sizeof(tests) / sizeof(*tests);193194for (i = 0; i < ntests; ++i) {195tests[i].val = &values[i];196if (asprintf (&tests[i].name, "Authenticator %d", i) < 0)197errx(1, "malloc");198if (tests[i].name == NULL)199errx(1, "malloc");200}201202ret = generic_test (tests, ntests, sizeof(Authenticator),203(generic_encode)encode_Authenticator,204(generic_length)length_Authenticator,205(generic_decode)decode_Authenticator,206(generic_free)free_Authenticator,207cmp_authenticator,208(generic_copy)copy_Authenticator);209for (i = 0; i < ntests; ++i)210free(tests[i].name);211212return ret;213}214215static int216cmp_KRB_ERROR (void *a, void *b)217{218KRB_ERROR *aa = a;219KRB_ERROR *ab = b;220int i;221222COMPARE_INTEGER(aa,ab,pvno);223COMPARE_INTEGER(aa,ab,msg_type);224225IF_OPT_COMPARE(aa,ab,ctime) {226COMPARE_INTEGER(aa,ab,ctime);227}228IF_OPT_COMPARE(aa,ab,cusec) {229COMPARE_INTEGER(aa,ab,cusec);230}231COMPARE_INTEGER(aa,ab,stime);232COMPARE_INTEGER(aa,ab,susec);233COMPARE_INTEGER(aa,ab,error_code);234235IF_OPT_COMPARE(aa,ab,crealm) {236COMPARE_OPT_STRING(aa,ab,crealm);237}238#if 0239IF_OPT_COMPARE(aa,ab,cname) {240COMPARE_OPT_STRING(aa,ab,cname);241}242#endif243COMPARE_STRING(aa,ab,realm);244245COMPARE_INTEGER(aa,ab,sname.name_string.len);246for (i = 0; i < aa->sname.name_string.len; i++)247COMPARE_STRING(aa,ab,sname.name_string.val[i]);248249IF_OPT_COMPARE(aa,ab,e_text) {250COMPARE_OPT_STRING(aa,ab,e_text);251}252IF_OPT_COMPARE(aa,ab,e_data) {253/* COMPARE_OPT_OCTECT_STRING(aa,ab,e_data); */254}255256return 0;257}258259static int260test_krb_error (void)261{262struct test_case tests[] = {263{ NULL, 127,264"\x7e\x7d\x30\x7b\xa0\x03\x02\x01\x05\xa1\x03\x02\x01\x1e\xa4\x11"265"\x18\x0f\x32\x30\x30\x33\x31\x31\x32\x34\x30\x30\x31\x31\x31\x39"266"\x5a\xa5\x05\x02\x03\x04\xed\xa5\xa6\x03\x02\x01\x1f\xa7\x0d\x1b"267"\x0b\x4e\x41\x44\x41\x2e\x4b\x54\x48\x2e\x53\x45\xa8\x10\x30\x0e"268"\xa0\x03\x02\x01\x01\xa1\x07\x30\x05\x1b\x03\x6c\x68\x61\xa9\x0d"269"\x1b\x0b\x4e\x41\x44\x41\x2e\x4b\x54\x48\x2e\x53\x45\xaa\x20\x30"270"\x1e\xa0\x03\x02\x01\x01\xa1\x17\x30\x15\x1b\x06\x6b\x72\x62\x74"271"\x67\x74\x1b\x0b\x4e\x41\x44\x41\x2e\x4b\x54\x48\x2e\x53\x45",272"KRB-ERROR Test 1"273}274};275int ntests = sizeof(tests) / sizeof(*tests);276KRB_ERROR e1;277PrincipalName lhaprincipalname = { 1, { 1, lha_principal } };278PrincipalName tgtprincipalname = { 1, { 2, nada_tgt_principal } };279char *realm = "NADA.KTH.SE";280281e1.pvno = 5;282e1.msg_type = 30;283e1.ctime = NULL;284e1.cusec = NULL;285e1.stime = 1069632679;286e1.susec = 322981;287e1.error_code = 31;288e1.crealm = &realm;289e1.cname = &lhaprincipalname;290e1.realm = "NADA.KTH.SE";291e1.sname = tgtprincipalname;292e1.e_text = NULL;293e1.e_data = NULL;294295tests[0].val = &e1;296297return generic_test (tests, ntests, sizeof(KRB_ERROR),298(generic_encode)encode_KRB_ERROR,299(generic_length)length_KRB_ERROR,300(generic_decode)decode_KRB_ERROR,301(generic_free)free_KRB_ERROR,302cmp_KRB_ERROR,303(generic_copy)copy_KRB_ERROR);304}305306static int307cmp_Name (void *a, void *b)308{309Name *aa = a;310Name *ab = b;311312COMPARE_INTEGER(aa,ab,element);313314return 0;315}316317static int318test_Name (void)319{320struct test_case tests[] = {321{ NULL, 35,322"\x30\x21\x31\x1f\x30\x0b\x06\x03\x55\x04\x03\x13\x04\x4c\x6f\x76"323"\x65\x30\x10\x06\x03\x55\x04\x07\x13\x09\x53\x54\x4f\x43\x4b\x48"324"\x4f\x4c\x4d",325"Name CN=Love+L=STOCKHOLM"326},327{ NULL, 35,328"\x30\x21\x31\x1f\x30\x0b\x06\x03\x55\x04\x03\x13\x04\x4c\x6f\x76"329"\x65\x30\x10\x06\x03\x55\x04\x07\x13\x09\x53\x54\x4f\x43\x4b\x48"330"\x4f\x4c\x4d",331"Name L=STOCKHOLM+CN=Love"332}333};334335int ntests = sizeof(tests) / sizeof(*tests);336Name n1, n2;337RelativeDistinguishedName rdn1[1];338RelativeDistinguishedName rdn2[1];339AttributeTypeAndValue atv1[2];340AttributeTypeAndValue atv2[2];341unsigned cmp_CN[] = { 2, 5, 4, 3 };342unsigned cmp_L[] = { 2, 5, 4, 7 };343344/* n1 */345n1.element = choice_Name_rdnSequence;346n1.u.rdnSequence.val = rdn1;347n1.u.rdnSequence.len = sizeof(rdn1)/sizeof(rdn1[0]);348rdn1[0].val = atv1;349rdn1[0].len = sizeof(atv1)/sizeof(atv1[0]);350351atv1[0].type.length = sizeof(cmp_CN)/sizeof(cmp_CN[0]);352atv1[0].type.components = cmp_CN;353atv1[0].value.element = choice_DirectoryString_printableString;354atv1[0].value.u.printableString.data = "Love";355atv1[0].value.u.printableString.length = 4;356357atv1[1].type.length = sizeof(cmp_L)/sizeof(cmp_L[0]);358atv1[1].type.components = cmp_L;359atv1[1].value.element = choice_DirectoryString_printableString;360atv1[1].value.u.printableString.data = "STOCKHOLM";361atv1[1].value.u.printableString.length = 9;362363/* n2 */364n2.element = choice_Name_rdnSequence;365n2.u.rdnSequence.val = rdn2;366n2.u.rdnSequence.len = sizeof(rdn2)/sizeof(rdn2[0]);367rdn2[0].val = atv2;368rdn2[0].len = sizeof(atv2)/sizeof(atv2[0]);369370atv2[0].type.length = sizeof(cmp_L)/sizeof(cmp_L[0]);371atv2[0].type.components = cmp_L;372atv2[0].value.element = choice_DirectoryString_printableString;373atv2[0].value.u.printableString.data = "STOCKHOLM";374atv2[0].value.u.printableString.length = 9;375376atv2[1].type.length = sizeof(cmp_CN)/sizeof(cmp_CN[0]);377atv2[1].type.components = cmp_CN;378atv2[1].value.element = choice_DirectoryString_printableString;379atv2[1].value.u.printableString.data = "Love";380atv2[1].value.u.printableString.length = 4;381382/* */383tests[0].val = &n1;384tests[1].val = &n2;385386return generic_test (tests, ntests, sizeof(Name),387(generic_encode)encode_Name,388(generic_length)length_Name,389(generic_decode)decode_Name,390(generic_free)free_Name,391cmp_Name,392(generic_copy)copy_Name);393}394395static int396cmp_KeyUsage (void *a, void *b)397{398KeyUsage *aa = a;399KeyUsage *ab = b;400401return KeyUsage2int(*aa) != KeyUsage2int(*ab);402}403404static int405test_bit_string (void)406{407struct test_case tests[] = {408{ NULL, 4,409"\x03\x02\x07\x80",410"bitstring 1"411},412{ NULL, 4,413"\x03\x02\x05\xa0",414"bitstring 2"415},416{ NULL, 5,417"\x03\x03\x07\x00\x80",418"bitstring 3"419},420{ NULL, 3,421"\x03\x01\x00",422"bitstring 4"423}424};425426int ntests = sizeof(tests) / sizeof(*tests);427KeyUsage ku1, ku2, ku3, ku4;428429memset(&ku1, 0, sizeof(ku1));430ku1.digitalSignature = 1;431tests[0].val = &ku1;432433memset(&ku2, 0, sizeof(ku2));434ku2.digitalSignature = 1;435ku2.keyEncipherment = 1;436tests[1].val = &ku2;437438memset(&ku3, 0, sizeof(ku3));439ku3.decipherOnly = 1;440tests[2].val = &ku3;441442memset(&ku4, 0, sizeof(ku4));443tests[3].val = &ku4;444445446return generic_test (tests, ntests, sizeof(KeyUsage),447(generic_encode)encode_KeyUsage,448(generic_length)length_KeyUsage,449(generic_decode)decode_KeyUsage,450(generic_free)free_KeyUsage,451cmp_KeyUsage,452(generic_copy)copy_KeyUsage);453}454455static int456cmp_TicketFlags (void *a, void *b)457{458TicketFlags *aa = a;459TicketFlags *ab = b;460461return TicketFlags2int(*aa) != TicketFlags2int(*ab);462}463464static int465test_bit_string_rfc1510 (void)466{467struct test_case tests[] = {468{ NULL, 7,469"\x03\x05\x00\x80\x00\x00\x00",470"TF bitstring 1"471},472{ NULL, 7,473"\x03\x05\x00\x40\x20\x00\x00",474"TF bitstring 2"475},476{ NULL, 7,477"\x03\x05\x00\x00\x20\x00\x00",478"TF bitstring 3"479},480{ NULL, 7,481"\x03\x05\x00\x00\x00\x00\x00",482"TF bitstring 4"483}484};485486int ntests = sizeof(tests) / sizeof(*tests);487TicketFlags tf1, tf2, tf3, tf4;488489memset(&tf1, 0, sizeof(tf1));490tf1.reserved = 1;491tests[0].val = &tf1;492493memset(&tf2, 0, sizeof(tf2));494tf2.forwardable = 1;495tf2.pre_authent = 1;496tests[1].val = &tf2;497498memset(&tf3, 0, sizeof(tf3));499tf3.pre_authent = 1;500tests[2].val = &tf3;501502memset(&tf4, 0, sizeof(tf4));503tests[3].val = &tf4;504505506return generic_test (tests, ntests, sizeof(TicketFlags),507(generic_encode)encode_TicketFlags,508(generic_length)length_TicketFlags,509(generic_decode)decode_TicketFlags,510(generic_free)free_TicketFlags,511cmp_TicketFlags,512(generic_copy)copy_TicketFlags);513}514515static int516cmp_KerberosTime (void *a, void *b)517{518KerberosTime *aa = a;519KerberosTime *ab = b;520521return *aa != *ab;522}523524static int525test_time (void)526{527struct test_case tests[] = {528{ NULL, 17,529"\x18\x0f\x31\x39\x37\x30\x30\x31\x30\x31\x30\x31\x31\x38\x33\x31"530"\x5a",531"time 1" },532{ NULL, 17,533"\x18\x0f\x32\x30\x30\x39\x30\x35\x32\x34\x30\x32\x30\x32\x34\x30"534"\x5a"535"time 2" }536};537538int ntests = sizeof(tests) / sizeof(*tests);539KerberosTime times[] = {5404711,5411243130560542};543544tests[0].val = ×[0];545tests[1].val = ×[1];546547return generic_test (tests, ntests, sizeof(KerberosTime),548(generic_encode)encode_KerberosTime,549(generic_length)length_KerberosTime,550(generic_decode)decode_KerberosTime,551(generic_free)free_KerberosTime,552cmp_KerberosTime,553(generic_copy)copy_KerberosTime);554}555556struct {557const char *cert;558size_t len;559} certs[] = {560{561"\x30\x82\x02\x6c\x30\x82\x01\xd5\xa0\x03\x02\x01\x02\x02\x09\x00"562"\x99\x32\xde\x61\x0e\x40\x19\x8a\x30\x0d\x06\x09\x2a\x86\x48\x86"563"\xf7\x0d\x01\x01\x05\x05\x00\x30\x2a\x31\x1b\x30\x19\x06\x03\x55"564"\x04\x03\x0c\x12\x68\x78\x35\x30\x39\x20\x54\x65\x73\x74\x20\x52"565"\x6f\x6f\x74\x20\x43\x41\x31\x0b\x30\x09\x06\x03\x55\x04\x06\x13"566"\x02\x53\x45\x30\x1e\x17\x0d\x30\x39\x30\x34\x32\x36\x32\x30\x32"567"\x39\x34\x30\x5a\x17\x0d\x31\x39\x30\x34\x32\x34\x32\x30\x32\x39"568"\x34\x30\x5a\x30\x2a\x31\x1b\x30\x19\x06\x03\x55\x04\x03\x0c\x12"569"\x68\x78\x35\x30\x39\x20\x54\x65\x73\x74\x20\x52\x6f\x6f\x74\x20"570"\x43\x41\x31\x0b\x30\x09\x06\x03\x55\x04\x06\x13\x02\x53\x45\x30"571"\x81\x9f\x30\x0d\x06\x09\x2a\x86\x48\x86\xf7\x0d\x01\x01\x01\x05"572"\x00\x03\x81\x8d\x00\x30\x81\x89\x02\x81\x81\x00\xb9\xd3\x1b\x67"573"\x1c\xf7\x5e\x26\x81\x3b\x82\xff\x03\xa4\x43\xb5\xb2\x63\x0b\x89"574"\x58\x43\xfe\x3d\xe0\x38\x7d\x93\x74\xbb\xad\x21\xa4\x29\xd9\x34"575"\x79\xf3\x1c\x8c\x5a\xd6\xb0\xd7\x19\xea\xcc\xaf\xe0\xa8\x40\x02"576"\x1d\x91\xf1\xac\x36\xb0\xfb\x08\xbd\xcc\x9a\xe1\xb7\x6e\xee\x0a"577"\x69\xbf\x6d\x2b\xee\x20\x82\x61\x06\xf2\x18\xcc\x89\x11\x64\x7e"578"\xb2\xff\x47\xd1\x3b\x52\x73\xeb\x5a\xc0\x03\xa6\x4b\xc7\x40\x7e"579"\xbc\xe1\x0e\x65\x44\x3f\x40\x8b\x02\x82\x54\x04\xd9\xcc\x2c\x67"580"\x01\xb6\x16\x82\xd8\x33\x53\x17\xd7\xde\x8d\x5d\x02\x03\x01\x00"581"\x01\xa3\x81\x99\x30\x81\x96\x30\x1d\x06\x03\x55\x1d\x0e\x04\x16"582"\x04\x14\x6e\x48\x13\xdc\xbf\x8b\x95\x4c\x13\xf3\x1f\x97\x30\xdd"583"\x27\x96\x59\x9b\x0e\x68\x30\x5a\x06\x03\x55\x1d\x23\x04\x53\x30"584"\x51\x80\x14\x6e\x48\x13\xdc\xbf\x8b\x95\x4c\x13\xf3\x1f\x97\x30"585"\xdd\x27\x96\x59\x9b\x0e\x68\xa1\x2e\xa4\x2c\x30\x2a\x31\x1b\x30"586"\x19\x06\x03\x55\x04\x03\x0c\x12\x68\x78\x35\x30\x39\x20\x54\x65"587"\x73\x74\x20\x52\x6f\x6f\x74\x20\x43\x41\x31\x0b\x30\x09\x06\x03"588"\x55\x04\x06\x13\x02\x53\x45\x82\x09\x00\x99\x32\xde\x61\x0e\x40"589"\x19\x8a\x30\x0c\x06\x03\x55\x1d\x13\x04\x05\x30\x03\x01\x01\xff"590"\x30\x0b\x06\x03\x55\x1d\x0f\x04\x04\x03\x02\x01\xe6\x30\x0d\x06"591"\x09\x2a\x86\x48\x86\xf7\x0d\x01\x01\x05\x05\x00\x03\x81\x81\x00"592"\x52\x9b\xe4\x0e\xee\xc2\x5d\xb7\xf1\xba\x47\xe3\xfe\xaf\x3d\x51"593"\x10\xfd\xe8\x0d\x14\x58\x05\x36\xa7\xeb\xd8\x05\xe5\x27\x6f\x51"594"\xb8\xec\x90\xd9\x03\xe1\xbc\x9c\x93\x38\x21\x5c\xaf\x4e\x6c\x7b"595"\x6c\x65\xa9\x92\xcd\x94\xef\xa8\xae\x90\x12\x14\x78\x2d\xa3\x15"596"\xaa\x42\xf1\xd9\x44\x64\x2c\x3c\xc0\xbd\x3a\x48\xd8\x80\x45\x8b"597"\xd1\x79\x82\xe0\x0f\xdf\x08\x3c\x60\x21\x6f\x31\x47\x98\xae\x2f"598"\xcb\xb1\xa1\xb9\xc1\xa3\x71\x5e\x4a\xc2\x67\xdf\x66\x0a\x51\xb5"599"\xad\x60\x05\xdb\x02\xd4\x1a\xd2\xb9\x4e\x01\x08\x2b\xc3\x57\xaf",600624 },601{602"\x30\x82\x02\x54\x30\x82\x01\xbd\xa0\x03\x02\x01\x02\x02\x01\x08"603"\x30\x0d\x06\x09\x2a\x86\x48\x86\xf7\x0d\x01\x01\x05\x05\x00\x30"604"\x2a\x31\x1b\x30\x19\x06\x03\x55\x04\x03\x0c\x12\x68\x78\x35\x30"605"\x39\x20\x54\x65\x73\x74\x20\x52\x6f\x6f\x74\x20\x43\x41\x31\x0b"606"\x30\x09\x06\x03\x55\x04\x06\x13\x02\x53\x45\x30\x1e\x17\x0d\x30"607"\x39\x30\x34\x32\x36\x32\x30\x32\x39\x34\x30\x5a\x17\x0d\x31\x39"608"\x30\x34\x32\x34\x32\x30\x32\x39\x34\x30\x5a\x30\x1b\x31\x0b\x30"609"\x09\x06\x03\x55\x04\x06\x13\x02\x53\x45\x31\x0c\x30\x0a\x06\x03"610"\x55\x04\x03\x0c\x03\x6b\x64\x63\x30\x81\x9f\x30\x0d\x06\x09\x2a"611"\x86\x48\x86\xf7\x0d\x01\x01\x01\x05\x00\x03\x81\x8d\x00\x30\x81"612"\x89\x02\x81\x81\x00\xd2\x41\x7a\xf8\x4b\x55\xb2\xaf\x11\xf9\x43"613"\x9b\x43\x81\x09\x3b\x9a\x94\xcf\x00\xf4\x85\x75\x92\xd7\x2a\xa5"614"\x11\xf1\xa8\x50\x6e\xc6\x84\x74\x24\x17\xda\x84\xc8\x03\x37\xb2"615"\x20\xf3\xba\xb5\x59\x36\x21\x4d\xab\x70\xe2\xc3\x09\x93\x68\x14"616"\x12\x79\xc5\xbb\x9e\x1b\x4a\xf0\xc6\x24\x59\x25\xc3\x1c\xa8\x70"617"\x66\x5b\x3e\x41\x8e\xe3\x25\x71\x9a\x94\xa0\x5b\x46\x91\x6f\xdd"618"\x58\x14\xec\x89\xe5\x8c\x96\xc5\x38\x60\xe4\xab\xf2\x75\xee\x6e"619"\x62\xfc\xe1\xbd\x03\x47\xff\xc4\xbe\x0f\xca\x70\x73\xe3\x74\x58"620"\x3a\x2f\x04\x2d\x39\x02\x03\x01\x00\x01\xa3\x81\x98\x30\x81\x95"621"\x30\x09\x06\x03\x55\x1d\x13\x04\x02\x30\x00\x30\x0b\x06\x03\x55"622"\x1d\x0f\x04\x04\x03\x02\x05\xe0\x30\x12\x06\x03\x55\x1d\x25\x04"623"\x0b\x30\x09\x06\x07\x2b\x06\x01\x05\x02\x03\x05\x30\x1d\x06\x03"624"\x55\x1d\x0e\x04\x16\x04\x14\x3a\xd3\x73\xff\xab\xdb\x7d\x8d\xc6"625"\x3a\xa2\x26\x3e\xae\x78\x95\x80\xc9\xe6\x31\x30\x48\x06\x03\x55"626"\x1d\x11\x04\x41\x30\x3f\xa0\x3d\x06\x06\x2b\x06\x01\x05\x02\x02"627"\xa0\x33\x30\x31\xa0\x0d\x1b\x0b\x54\x45\x53\x54\x2e\x48\x35\x4c"628"\x2e\x53\x45\xa1\x20\x30\x1e\xa0\x03\x02\x01\x01\xa1\x17\x30\x15"629"\x1b\x06\x6b\x72\x62\x74\x67\x74\x1b\x0b\x54\x45\x53\x54\x2e\x48"630"\x35\x4c\x2e\x53\x45\x30\x0d\x06\x09\x2a\x86\x48\x86\xf7\x0d\x01"631"\x01\x05\x05\x00\x03\x81\x81\x00\x83\xf4\x14\xa7\x6e\x59\xff\x80"632"\x64\xe7\xfa\xcf\x13\x80\x86\xe1\xed\x02\x38\xad\x96\x72\x25\xe5"633"\x06\x7a\x9a\xbc\x24\x74\xa9\x75\x55\xb2\x49\x80\x69\x45\x95\x4a"634"\x4c\x76\xa9\xe3\x4e\x49\xd3\xc2\x69\x5a\x95\x03\xeb\xba\x72\x23"635"\x9c\xfd\x3d\x8b\xc6\x07\x82\x3b\xf4\xf3\xef\x6c\x2e\x9e\x0b\xac"636"\x9e\x6c\xbb\x37\x4a\xa1\x9e\x73\xd1\xdc\x97\x61\xba\xfc\xd3\x49"637"\xa6\xc2\x4c\x55\x2e\x06\x37\x76\xb5\xef\x57\xe7\x57\x58\x8a\x71"638"\x63\xf3\xeb\xe7\x55\x68\x0d\xf6\x46\x4c\xfb\xf9\x43\xbb\x0c\x92"639"\x4f\x4e\x22\x7b\x63\xe8\x4f\x9c",640600641}642};643644static int645test_cert(void)646{647Certificate c, c2;648size_t size;649size_t i;650int ret;651652for (i = 0; i < sizeof(certs)/sizeof(certs[0]); i++) {653654ret = decode_Certificate((unsigned char *)certs[i].cert,655certs[i].len, &c, &size);656if (ret)657return ret;658659ret = copy_Certificate(&c, &c2);660free_Certificate(&c);661if (ret)662return ret;663664free_Certificate(&c2);665}666667return 0;668}669670671static int672cmp_TESTLargeTag (void *a, void *b)673{674TESTLargeTag *aa = a;675TESTLargeTag *ab = b;676677COMPARE_INTEGER(aa,ab,foo);678COMPARE_INTEGER(aa,ab,bar);679return 0;680}681682static int683test_large_tag (void)684{685struct test_case tests[] = {686{ NULL, 15, "\x30\x0d\xbf\x7f\x03\x02\x01\x01\xbf\x81\x00\x03\x02\x01\x02", "large tag 1" }687};688689int ntests = sizeof(tests) / sizeof(*tests);690TESTLargeTag lt1;691692memset(<1, 0, sizeof(lt1));693lt1.foo = 1;694lt1.bar = 2;695696tests[0].val = <1;697698return generic_test (tests, ntests, sizeof(TESTLargeTag),699(generic_encode)encode_TESTLargeTag,700(generic_length)length_TESTLargeTag,701(generic_decode)decode_TESTLargeTag,702(generic_free)free_TESTLargeTag,703cmp_TESTLargeTag,704(generic_copy)copy_TESTLargeTag);705}706707struct test_data {708int ok;709size_t len;710size_t expected_len;711void *data;712};713714static int715check_tag_length(void)716{717struct test_data td[] = {718{ 1, 3, 3, "\x02\x01\x00"},719{ 1, 3, 3, "\x02\x01\x7f"},720{ 1, 4, 4, "\x02\x02\x00\x80"},721{ 1, 4, 4, "\x02\x02\x01\x00"},722{ 1, 4, 4, "\x02\x02\x02\x00"},723{ 0, 3, 0, "\x02\x02\x00"},724{ 0, 3, 0, "\x02\x7f\x7f"},725{ 0, 4, 0, "\x02\x03\x00\x80"},726{ 0, 4, 0, "\x02\x7f\x01\x00"},727{ 0, 5, 0, "\x02\xff\x7f\x02\x00"}728};729size_t sz;730TESTuint32 values[] = {0, 127, 128, 256, 512,7310, 127, 128, 256, 512 };732TESTuint32 u;733int i, ret, failed = 0;734void *buf;735736for (i = 0; i < sizeof(td)/sizeof(td[0]); i++) {737struct map_page *page;738739buf = map_alloc(OVERRUN, td[i].data, td[i].len, &page);740741ret = decode_TESTuint32(buf, td[i].len, &u, &sz);742if (ret) {743if (td[i].ok) {744printf("failed with tag len test %d\n", i);745failed = 1;746}747} else {748if (td[i].ok == 0) {749printf("failed with success for tag len test %d\n", i);750failed = 1;751}752if (td[i].expected_len != sz) {753printf("wrong expected size for tag test %d\n", i);754failed = 1;755}756if (values[i] != u) {757printf("wrong value for tag test %d\n", i);758failed = 1;759}760}761map_free(page, "test", "decode");762}763return failed;764}765766static int767check_tag_length64(void)768{769struct test_data td[] = {770{ 1, 3, 3, "\x02\x01\x00"},771{ 1, 7, 7, "\x02\x05\x01\xff\xff\xff\xff"},772{ 1, 7, 7, "\x02\x05\x02\x00\x00\x00\x00"},773{ 1, 9, 9, "\x02\x07\x7f\xff\xff\xff\xff\xff\xff"},774{ 1, 10, 10, "\x02\x08\x00\x80\x00\x00\x00\x00\x00\x00"},775{ 1, 10, 10, "\x02\x08\x7f\xff\xff\xff\xff\xff\xff\xff"},776{ 1, 11, 11, "\x02\x09\x00\xff\xff\xff\xff\xff\xff\xff\xff"},777{ 0, 3, 0, "\x02\x02\x00"},778{ 0, 3, 0, "\x02\x7f\x7f"},779{ 0, 4, 0, "\x02\x03\x00\x80"},780{ 0, 4, 0, "\x02\x7f\x01\x00"},781{ 0, 5, 0, "\x02\xff\x7f\x02\x00"}782};783size_t sz;784TESTuint64 values[] = {0, 8589934591LL, 8589934592LL,78536028797018963967LL, 36028797018963968LL,7869223372036854775807LL, 18446744073709551615ULL,7870, 127, 128, 256, 512 };788TESTuint64 u;789int i, ret, failed = 0;790void *buf;791792for (i = 0; i < sizeof(td)/sizeof(td[0]); i++) {793struct map_page *page;794795buf = map_alloc(OVERRUN, td[i].data, td[i].len, &page);796797ret = decode_TESTuint64(buf, td[i].len, &u, &sz);798if (ret) {799if (td[i].ok) {800printf("failed with tag len test %d\n", i);801printf("ret = %d\n", ret);802failed = 1;803}804} else {805if (td[i].ok == 0) {806printf("failed with success for tag len test %d\n", i);807failed = 1;808}809if (td[i].expected_len != sz) {810printf("wrong expected size for tag test %d\n", i);811printf("sz = %d\n", sz);812failed = 1;813}814if (values[i] != u) {815printf("wrong value for tag test %d\n", i);816printf("Expected value: %lld\nActual value: %lld\n", values[i], u);817failed = 1;818}819}820map_free(page, "test", "decode");821}822return failed;823}824825static int826check_tag_length64s(void)827{828struct test_data td[] = {829{ 1, 3, 3, "\x02\x01\x00"},830{ 1, 7, 7, "\x02\x05\xfe\x00\x00\x00\x01"},831{ 1, 7, 7, "\x02\x05\xfe\x00\x00\x00\x00"},832{ 1, 9, 9, "\x02\x07\x80\x00\x00\x00\x00\x00\x01"},833{ 1, 9, 9, "\x02\x07\x80\x00\x00\x00\x00\x00\x00"},834{ 1, 10, 10, "\x02\x08\x80\x00\x00\x00\x00\x00\x00\x01"},835{ 1, 9, 9, "\x02\x07\x80\x00\x00\x00\x00\x00\x01"},836{ 0, 3, 0, "\x02\x02\x00"},837{ 0, 3, 0, "\x02\x7f\x7f"},838{ 0, 4, 0, "\x02\x03\x00\x80"},839{ 0, 4, 0, "\x02\x7f\x01\x00"},840{ 0, 5, 0, "\x02\xff\x7f\x02\x00"}841};842size_t sz;843TESTint64 values[] = {0, -8589934591LL, -8589934592LL,844-36028797018963967LL, -36028797018963968LL,845-9223372036854775807LL, -36028797018963967LL,8460, 127, 128, 256, 512 };847TESTint64 u;848int i, ret, failed = 0;849void *buf;850851for (i = 0; i < sizeof(td)/sizeof(td[0]); i++) {852struct map_page *page;853854buf = map_alloc(OVERRUN, td[i].data, td[i].len, &page);855856ret = decode_TESTint64(buf, td[i].len, &u, &sz);857if (ret) {858if (td[i].ok) {859printf("failed with tag len test %d\n", i);860printf("ret = %d\n", ret);861failed = 1;862}863} else {864if (td[i].ok == 0) {865printf("failed with success for tag len test %d\n", i);866failed = 1;867}868if (td[i].expected_len != sz) {869printf("wrong expected size for tag test %d\n", i);870printf("sz = %d\n", sz);871failed = 1;872}873if (values[i] != u) {874printf("wrong value for tag test %d\n", i);875printf("Expected value: %lld\nActual value: %lld\n", values[i], u);876failed = 1;877}878}879map_free(page, "test", "decode");880}881return failed;882}883884static int885cmp_TESTChoice (void *a, void *b)886{887return 0;888}889890static int891test_choice (void)892{893struct test_case tests[] = {894{ NULL, 5, "\xa1\x03\x02\x01\x01", "large choice 1" },895{ NULL, 5, "\xa2\x03\x02\x01\x02", "large choice 2" }896};897898int ret = 0, ntests = sizeof(tests) / sizeof(*tests);899TESTChoice1 c1;900TESTChoice1 c2_1;901TESTChoice2 c2_2;902903memset(&c1, 0, sizeof(c1));904c1.element = choice_TESTChoice1_i1;905c1.u.i1 = 1;906tests[0].val = &c1;907908memset(&c2_1, 0, sizeof(c2_1));909c2_1.element = choice_TESTChoice1_i2;910c2_1.u.i2 = 2;911tests[1].val = &c2_1;912913ret += generic_test (tests, ntests, sizeof(TESTChoice1),914(generic_encode)encode_TESTChoice1,915(generic_length)length_TESTChoice1,916(generic_decode)decode_TESTChoice1,917(generic_free)free_TESTChoice1,918cmp_TESTChoice,919(generic_copy)copy_TESTChoice1);920921memset(&c2_2, 0, sizeof(c2_2));922c2_2.element = choice_TESTChoice2_asn1_ellipsis;923c2_2.u.asn1_ellipsis.data = "\xa2\x03\x02\x01\x02";924c2_2.u.asn1_ellipsis.length = 5;925tests[1].val = &c2_2;926927ret += generic_test (tests, ntests, sizeof(TESTChoice2),928(generic_encode)encode_TESTChoice2,929(generic_length)length_TESTChoice2,930(generic_decode)decode_TESTChoice2,931(generic_free)free_TESTChoice2,932cmp_TESTChoice,933(generic_copy)copy_TESTChoice2);934935return ret;936}937938static int939cmp_TESTImplicit (void *a, void *b)940{941TESTImplicit *aa = a;942TESTImplicit *ab = b;943944COMPARE_INTEGER(aa,ab,ti1);945COMPARE_INTEGER(aa,ab,ti2.foo);946COMPARE_INTEGER(aa,ab,ti3);947return 0;948}949950/*951UNIV CONS Sequence 14952CONTEXT PRIM 0 1 00953CONTEXT CONS 1 6954CONTEXT CONS 127 3955UNIV PRIM Integer 1 02956CONTEXT PRIM 2 1 03957*/958959static int960test_implicit (void)961{962struct test_case tests[] = {963{ NULL, 16,964"\x30\x0e\x80\x01\x00\xa1\x06\xbf"965"\x7f\x03\x02\x01\x02\x82\x01\x03",966"implicit 1" }967};968969int ret = 0, ntests = sizeof(tests) / sizeof(*tests);970TESTImplicit c0;971972memset(&c0, 0, sizeof(c0));973c0.ti1 = 0;974c0.ti2.foo = 2;975c0.ti3 = 3;976tests[0].val = &c0;977978ret += generic_test (tests, ntests, sizeof(TESTImplicit),979(generic_encode)encode_TESTImplicit,980(generic_length)length_TESTImplicit,981(generic_decode)decode_TESTImplicit,982(generic_free)free_TESTImplicit,983cmp_TESTImplicit,984(generic_copy)copy_TESTImplicit);985986#ifdef IMPLICIT_TAGGING_WORKS987ret += generic_test (tests, ntests, sizeof(TESTImplicit2),988(generic_encode)encode_TESTImplicit2,989(generic_length)length_TESTImplicit2,990(generic_decode)decode_TESTImplicit2,991(generic_free)free_TESTImplicit2,992cmp_TESTImplicit,993NULL);994995#endif /* IMPLICIT_TAGGING_WORKS */996return ret;997}998999static int1000cmp_TESTAlloc (void *a, void *b)1001{1002TESTAlloc *aa = a;1003TESTAlloc *ab = b;10041005IF_OPT_COMPARE(aa,ab,tagless) {1006COMPARE_INTEGER(aa,ab,tagless->ai);1007}10081009COMPARE_INTEGER(aa,ab,three);10101011IF_OPT_COMPARE(aa,ab,tagless2) {1012COMPARE_OPT_OCTECT_STRING(aa, ab, tagless2);1013}10141015return 0;1016}10171018/*1019UNIV CONS Sequence 121020UNIV CONS Sequence 51021CONTEXT CONS 0 31022UNIV PRIM Integer 1 011023CONTEXT CONS 1 31024UNIV PRIM Integer 1 0310251026UNIV CONS Sequence 51027CONTEXT CONS 1 31028UNIV PRIM Integer 1 0310291030UNIV CONS Sequence 81031CONTEXT CONS 1 31032UNIV PRIM Integer 1 041033UNIV PRIM Integer 1 0510341035*/10361037static int1038test_taglessalloc (void)1039{1040struct test_case tests[] = {1041{ NULL, 14,1042"\x30\x0c\x30\x05\xa0\x03\x02\x01\x01\xa1\x03\x02\x01\x03",1043"alloc 1" },1044{ NULL, 7,1045"\x30\x05\xa1\x03\x02\x01\x03",1046"alloc 2" },1047{ NULL, 10,1048"\x30\x08\xa1\x03\x02\x01\x04\x02\x01\x05",1049"alloc 3" }1050};10511052int ret = 0, ntests = sizeof(tests) / sizeof(*tests);1053TESTAlloc c1, c2, c3;1054heim_any any3;10551056memset(&c1, 0, sizeof(c1));1057c1.tagless = ecalloc(1, sizeof(*c1.tagless));1058c1.tagless->ai = 1;1059c1.three = 3;1060tests[0].val = &c1;10611062memset(&c2, 0, sizeof(c2));1063c2.tagless = NULL;1064c2.three = 3;1065tests[1].val = &c2;10661067memset(&c3, 0, sizeof(c3));1068c3.tagless = NULL;1069c3.three = 4;1070c3.tagless2 = &any3;1071any3.data = "\x02\x01\x05";1072any3.length = 3;1073tests[2].val = &c3;10741075ret += generic_test (tests, ntests, sizeof(TESTAlloc),1076(generic_encode)encode_TESTAlloc,1077(generic_length)length_TESTAlloc,1078(generic_decode)decode_TESTAlloc,1079(generic_free)free_TESTAlloc,1080cmp_TESTAlloc,1081(generic_copy)copy_TESTAlloc);10821083free(c1.tagless);10841085return ret;1086}10871088static int1089cmp_TESTOptional (void *a, void *b)1090{1091TESTOptional *aa = a;1092TESTOptional *ab = b;10931094IF_OPT_COMPARE(aa,ab,zero) {1095COMPARE_OPT_INTEGER(aa,ab,zero);1096}1097IF_OPT_COMPARE(aa,ab,one) {1098COMPARE_OPT_INTEGER(aa,ab,one);1099}1100return 0;1101}11021103/*1104UNIV CONS Sequence 51105CONTEXT CONS 0 31106UNIV PRIM Integer 1 0011071108UNIV CONS Sequence 51109CONTEXT CONS 1 31110UNIV PRIM Integer 1 0311111112UNIV CONS Sequence 101113CONTEXT CONS 0 31114UNIV PRIM Integer 1 001115CONTEXT CONS 1 31116UNIV PRIM Integer 1 0111171118*/11191120static int1121test_optional (void)1122{1123struct test_case tests[] = {1124{ NULL, 2,1125"\x30\x00",1126"optional 0" },1127{ NULL, 7,1128"\x30\x05\xa0\x03\x02\x01\x00",1129"optional 1" },1130{ NULL, 7,1131"\x30\x05\xa1\x03\x02\x01\x01",1132"optional 2" },1133{ NULL, 12,1134"\x30\x0a\xa0\x03\x02\x01\x00\xa1\x03\x02\x01\x01",1135"optional 3" }1136};11371138int ret = 0, ntests = sizeof(tests) / sizeof(*tests);1139TESTOptional c0, c1, c2, c3;1140int zero = 0;1141int one = 1;11421143c0.zero = NULL;1144c0.one = NULL;1145tests[0].val = &c0;11461147c1.zero = &zero;1148c1.one = NULL;1149tests[1].val = &c1;11501151c2.zero = NULL;1152c2.one = &one;1153tests[2].val = &c2;11541155c3.zero = &zero;1156c3.one = &one;1157tests[3].val = &c3;11581159ret += generic_test (tests, ntests, sizeof(TESTOptional),1160(generic_encode)encode_TESTOptional,1161(generic_length)length_TESTOptional,1162(generic_decode)decode_TESTOptional,1163(generic_free)free_TESTOptional,1164cmp_TESTOptional,1165(generic_copy)copy_TESTOptional);11661167return ret;1168}11691170static int1171check_fail_largetag(void)1172{1173struct test_case tests[] = {1174{NULL, 14, "\x30\x0c\xbf\x87\xff\xff\xff\xff\xff\x7f\x03\x02\x01\x01",1175"tag overflow"},1176{NULL, 0, "", "empty buffer"},1177{NULL, 7, "\x30\x05\xa1\x03\x02\x02\x01",1178"one too short" },1179{NULL, 7, "\x30\x04\xa1\x03\x02\x02\x01"1180"two too short" },1181{NULL, 7, "\x30\x03\xa1\x03\x02\x02\x01",1182"three too short" },1183{NULL, 7, "\x30\x02\xa1\x03\x02\x02\x01",1184"four too short" },1185{NULL, 7, "\x30\x01\xa1\x03\x02\x02\x01",1186"five too short" },1187{NULL, 7, "\x30\x00\xa1\x03\x02\x02\x01",1188"six too short" },1189{NULL, 7, "\x30\x05\xa1\x04\x02\x02\x01",1190"inner one too long" },1191{NULL, 7, "\x30\x00\xa1\x02\x02\x02\x01",1192"inner one too short" },1193{NULL, 8, "\x30\x05\xbf\x7f\x03\x02\x02\x01",1194"inner one too short"},1195{NULL, 8, "\x30\x06\xbf\x64\x03\x02\x01\x01",1196"wrong tag"},1197{NULL, 10, "\x30\x08\xbf\x9a\x9b\x38\x03\x02\x01\x01",1198"still wrong tag"}1199};1200int ntests = sizeof(tests) / sizeof(*tests);12011202return generic_decode_fail(tests, ntests, sizeof(TESTLargeTag),1203(generic_decode)decode_TESTLargeTag);1204}120512061207static int1208check_fail_sequence(void)1209{1210struct test_case tests[] = {1211{NULL, 0, "", "empty buffer"},1212{NULL, 24,1213"\x30\x16\xa0\x03\x02\x01\x01\xa1\x08\x30\x06\xbf\x7f\x03\x02\x01\x01"1214"\x02\x01\x01\xa2\x03\x02\x01\x01"1215"missing one byte from the end, internal length ok"},1216{NULL, 25,1217"\x30\x18\xa0\x03\x02\x01\x01\xa1\x08\x30\x06\xbf\x7f\x03\x02\x01\x01"1218"\x02\x01\x01\xa2\x03\x02\x01\x01",1219"inner length one byte too long"},1220{NULL, 24,1221"\x30\x17\xa0\x03\x02\x01\x01\xa1\x08\x30\x06\xbf\x7f\x03\x02\x01"1222"\x01\x02\x01\x01\xa2\x03\x02\x01\x01",1223"correct buffer but missing one too short"}1224};1225int ntests = sizeof(tests) / sizeof(*tests);12261227return generic_decode_fail(tests, ntests, sizeof(TESTSeq),1228(generic_decode)decode_TESTSeq);1229}12301231static int1232check_fail_choice(void)1233{1234struct test_case tests[] = {1235{NULL, 6,1236"\xa1\x02\x02\x01\x01",1237"choice one too short"},1238{NULL, 6,1239"\xa1\x03\x02\x02\x01",1240"choice one too short inner"}1241};1242int ntests = sizeof(tests) / sizeof(*tests);12431244return generic_decode_fail(tests, ntests, sizeof(TESTChoice1),1245(generic_decode)decode_TESTChoice1);1246}12471248static int1249check_seq(void)1250{1251TESTSeqOf seq;1252TESTInteger i;1253int ret;12541255seq.val = NULL;1256seq.len = 0;12571258ret = add_TESTSeqOf(&seq, &i);1259if (ret) { printf("failed adding\n"); goto out; }1260ret = add_TESTSeqOf(&seq, &i);1261if (ret) { printf("failed adding\n"); goto out; }1262ret = add_TESTSeqOf(&seq, &i);1263if (ret) { printf("failed adding\n"); goto out; }1264ret = add_TESTSeqOf(&seq, &i);1265if (ret) { printf("failed adding\n"); goto out; }12661267ret = remove_TESTSeqOf(&seq, seq.len - 1);1268if (ret) { printf("failed removing\n"); goto out; }1269ret = remove_TESTSeqOf(&seq, 2);1270if (ret) { printf("failed removing\n"); goto out; }1271ret = remove_TESTSeqOf(&seq, 0);1272if (ret) { printf("failed removing\n"); goto out; }1273ret = remove_TESTSeqOf(&seq, 0);1274if (ret) { printf("failed removing\n"); goto out; }1275ret = remove_TESTSeqOf(&seq, 0);1276if (ret == 0) {1277printf("can remove from empty list");1278return 1;1279}12801281if (seq.len != 0) {1282printf("seq not empty!");1283return 1;1284}1285free_TESTSeqOf(&seq);1286ret = 0;12871288out:12891290return ret;1291}12921293#define test_seq_of(type, ok, ptr) \1294{ \1295heim_octet_string os; \1296size_t size; \1297type decode; \1298ASN1_MALLOC_ENCODE(type, os.data, os.length, ptr, &size, ret); \1299if (ret) \1300return ret; \1301if (os.length != size) \1302abort(); \1303ret = decode_##type(os.data, os.length, &decode, &size); \1304free(os.data); \1305if (ret) { \1306if (ok) \1307return 1; \1308} else { \1309free_##type(&decode); \1310if (!ok) \1311return 1; \1312if (size != 0) \1313return 1; \1314} \1315return 0; \1316}13171318static int1319check_seq_of_size(void)1320{1321#if 0 /* template */1322TESTInteger integers[4] = { 1, 2, 3, 4 };1323int ret;13241325{1326TESTSeqSizeOf1 ssof1f1 = { 1, integers };1327TESTSeqSizeOf1 ssof1ok1 = { 2, integers };1328TESTSeqSizeOf1 ssof1f2 = { 3, integers };13291330test_seq_of(TESTSeqSizeOf1, 0, &ssof1f1);1331test_seq_of(TESTSeqSizeOf1, 1, &ssof1ok1);1332test_seq_of(TESTSeqSizeOf1, 0, &ssof1f2);1333}1334{1335TESTSeqSizeOf2 ssof2f1 = { 0, NULL };1336TESTSeqSizeOf2 ssof2ok1 = { 1, integers };1337TESTSeqSizeOf2 ssof2ok2 = { 2, integers };1338TESTSeqSizeOf2 ssof2f2 = { 3, integers };13391340test_seq_of(TESTSeqSizeOf2, 0, &ssof2f1);1341test_seq_of(TESTSeqSizeOf2, 1, &ssof2ok1);1342test_seq_of(TESTSeqSizeOf2, 1, &ssof2ok2);1343test_seq_of(TESTSeqSizeOf2, 0, &ssof2f2);1344}1345{1346TESTSeqSizeOf3 ssof3f1 = { 0, NULL };1347TESTSeqSizeOf3 ssof3ok1 = { 1, integers };1348TESTSeqSizeOf3 ssof3ok2 = { 2, integers };13491350test_seq_of(TESTSeqSizeOf3, 0, &ssof3f1);1351test_seq_of(TESTSeqSizeOf3, 1, &ssof3ok1);1352test_seq_of(TESTSeqSizeOf3, 1, &ssof3ok2);1353}1354{1355TESTSeqSizeOf4 ssof4ok1 = { 0, NULL };1356TESTSeqSizeOf4 ssof4ok2 = { 1, integers };1357TESTSeqSizeOf4 ssof4ok3 = { 2, integers };1358TESTSeqSizeOf4 ssof4f1 = { 3, integers };13591360test_seq_of(TESTSeqSizeOf4, 1, &ssof4ok1);1361test_seq_of(TESTSeqSizeOf4, 1, &ssof4ok2);1362test_seq_of(TESTSeqSizeOf4, 1, &ssof4ok3);1363test_seq_of(TESTSeqSizeOf4, 0, &ssof4f1);1364}1365#endif1366return 0;1367}13681369static int1370check_TESTMechTypeList(void)1371{1372TESTMechTypeList tl;1373unsigned oid1[] = { 1, 2, 840, 48018, 1, 2, 2};1374unsigned oid2[] = { 1, 2, 840, 113554, 1, 2, 2};1375unsigned oid3[] = { 1, 3, 6, 1, 4, 1, 311, 2, 2, 30};1376unsigned oid4[] = { 1, 3, 6, 1, 4, 1, 311, 2, 2, 10};1377TESTMechType array[] = {{ 7, oid1 },1378{ 7, oid2 },1379{ 10, oid3 },1380{ 10, oid4 }};1381size_t size, len;1382void *ptr;1383int ret;13841385tl.len = 4;1386tl.val = array;13871388ASN1_MALLOC_ENCODE(TESTMechTypeList, ptr, len, &tl, &size, ret);1389if (ret)1390errx(1, "TESTMechTypeList: %d", ret);1391if (len != size)1392abort();1393return 0;1394}13951396int1397main(int argc, char **argv)1398{1399int ret = 0;14001401ret += test_principal ();1402ret += test_authenticator();1403ret += test_krb_error();1404ret += test_Name();1405ret += test_bit_string();1406ret += test_bit_string_rfc1510();1407ret += test_time();1408ret += test_cert();14091410ret += check_tag_length();1411ret += check_tag_length64();1412ret += check_tag_length64s();1413ret += test_large_tag();1414ret += test_choice();14151416ret += test_implicit();1417ret += test_taglessalloc();1418ret += test_optional();14191420ret += check_fail_largetag();1421ret += check_fail_sequence();1422ret += check_fail_choice();14231424ret += check_seq();1425ret += check_seq_of_size();14261427ret += check_TESTMechTypeList();14281429return ret;1430}143114321433