1 /* 2 * Copyright 2016-2025 The OpenSSL Project Authors. All Rights Reserved. 3 * 4 * Licensed under the Apache License 2.0 (the "License"). You may not use 5 * this file except in compliance with the License. You can obtain a copy 6 * in the file LICENSE in the source distribution or at 7 * https://www.openssl.org/source/license.html 8 */ 9 10 #include <stdio.h> 11 #include <string.h> 12 #include <openssl/x509.h> 13 #include <openssl/x509v3.h> 14 #include <openssl/pem.h> 15 #include <openssl/err.h> 16 #include "internal/nelem.h" 17 18 #include "testutil.h" 19 20 static const char *infile; 21 22 static int test_pathlen(void) 23 { 24 X509 *x = NULL; 25 BIO *b = NULL; 26 long pathlen; 27 int ret = 0; 28 29 if (!TEST_ptr(b = BIO_new_file(infile, "r")) 30 || !TEST_ptr(x = PEM_read_bio_X509(b, NULL, NULL, NULL)) 31 || !TEST_int_eq(pathlen = X509_get_pathlen(x), 6)) 32 goto end; 33 34 ret = 1; 35 36 end: 37 BIO_free(b); 38 X509_free(x); 39 return ret; 40 } 41 42 #ifndef OPENSSL_NO_RFC3779 43 static int test_asid(void) 44 { 45 ASN1_INTEGER *val1 = NULL, *val2 = NULL; 46 ASIdentifiers *asid1 = ASIdentifiers_new(), *asid2 = ASIdentifiers_new(), 47 *asid3 = ASIdentifiers_new(), *asid4 = ASIdentifiers_new(); 48 int testresult = 0; 49 50 if (!TEST_ptr(asid1) 51 || !TEST_ptr(asid2) 52 || !TEST_ptr(asid3)) 53 goto err; 54 55 if (!TEST_ptr(val1 = ASN1_INTEGER_new()) 56 || !TEST_true(ASN1_INTEGER_set_int64(val1, 64496))) 57 goto err; 58 59 if (!TEST_true(X509v3_asid_add_id_or_range(asid1, V3_ASID_ASNUM, val1, NULL))) 60 goto err; 61 62 val1 = NULL; 63 if (!TEST_ptr(val2 = ASN1_INTEGER_new()) 64 || !TEST_true(ASN1_INTEGER_set_int64(val2, 64497))) 65 goto err; 66 67 if (!TEST_true(X509v3_asid_add_id_or_range(asid2, V3_ASID_ASNUM, val2, NULL))) 68 goto err; 69 70 val2 = NULL; 71 if (!TEST_ptr(val1 = ASN1_INTEGER_new()) 72 || !TEST_true(ASN1_INTEGER_set_int64(val1, 64496)) 73 || !TEST_ptr(val2 = ASN1_INTEGER_new()) 74 || !TEST_true(ASN1_INTEGER_set_int64(val2, 64497))) 75 goto err; 76 77 /* 78 * Just tests V3_ASID_ASNUM for now. Could be extended at some point to also 79 * test V3_ASID_RDI if we think it is worth it. 80 */ 81 if (!TEST_true(X509v3_asid_add_id_or_range(asid3, V3_ASID_ASNUM, val1, val2))) 82 goto err; 83 val1 = val2 = NULL; 84 85 /* Actual subsets */ 86 if (!TEST_true(X509v3_asid_subset(NULL, NULL)) 87 || !TEST_true(X509v3_asid_subset(NULL, asid1)) 88 || !TEST_true(X509v3_asid_subset(asid1, asid1)) 89 || !TEST_true(X509v3_asid_subset(asid2, asid2)) 90 || !TEST_true(X509v3_asid_subset(asid1, asid3)) 91 || !TEST_true(X509v3_asid_subset(asid2, asid3)) 92 || !TEST_true(X509v3_asid_subset(asid3, asid3)) 93 || !TEST_true(X509v3_asid_subset(asid4, asid1)) 94 || !TEST_true(X509v3_asid_subset(asid4, asid2)) 95 || !TEST_true(X509v3_asid_subset(asid4, asid3))) 96 goto err; 97 98 /* Not subsets */ 99 if (!TEST_false(X509v3_asid_subset(asid1, NULL)) 100 || !TEST_false(X509v3_asid_subset(asid1, asid2)) 101 || !TEST_false(X509v3_asid_subset(asid2, asid1)) 102 || !TEST_false(X509v3_asid_subset(asid3, asid1)) 103 || !TEST_false(X509v3_asid_subset(asid3, asid2)) 104 || !TEST_false(X509v3_asid_subset(asid1, asid4)) 105 || !TEST_false(X509v3_asid_subset(asid2, asid4)) 106 || !TEST_false(X509v3_asid_subset(asid3, asid4))) 107 goto err; 108 109 testresult = 1; 110 err: 111 ASN1_INTEGER_free(val1); 112 ASN1_INTEGER_free(val2); 113 ASIdentifiers_free(asid1); 114 ASIdentifiers_free(asid2); 115 ASIdentifiers_free(asid3); 116 ASIdentifiers_free(asid4); 117 return testresult; 118 } 119 120 static struct ip_ranges_st { 121 const unsigned int afi; 122 const char *ip1; 123 const char *ip2; 124 int rorp; 125 } ranges[] = { 126 { IANA_AFI_IPV4, "192.168.0.0", "192.168.0.1", IPAddressOrRange_addressPrefix }, 127 { IANA_AFI_IPV4, "192.168.0.0", "192.168.0.2", IPAddressOrRange_addressRange }, 128 { IANA_AFI_IPV4, "192.168.0.0", "192.168.0.3", IPAddressOrRange_addressPrefix }, 129 { IANA_AFI_IPV4, "192.168.0.0", "192.168.0.254", IPAddressOrRange_addressRange }, 130 { IANA_AFI_IPV4, "192.168.0.0", "192.168.0.255", IPAddressOrRange_addressPrefix }, 131 { IANA_AFI_IPV4, "192.168.0.1", "192.168.0.255", IPAddressOrRange_addressRange }, 132 { IANA_AFI_IPV4, "192.168.0.1", "192.168.0.1", IPAddressOrRange_addressPrefix }, 133 { IANA_AFI_IPV4, "192.168.0.0", "192.168.255.255", IPAddressOrRange_addressPrefix }, 134 { IANA_AFI_IPV4, "192.168.1.0", "192.168.255.255", IPAddressOrRange_addressRange }, 135 { IANA_AFI_IPV6, "2001:0db8::0", "2001:0db8::1", IPAddressOrRange_addressPrefix }, 136 { IANA_AFI_IPV6, "2001:0db8::0", "2001:0db8::2", IPAddressOrRange_addressRange }, 137 { IANA_AFI_IPV6, "2001:0db8::0", "2001:0db8::3", IPAddressOrRange_addressPrefix }, 138 { IANA_AFI_IPV6, "2001:0db8::0", "2001:0db8::fffe", IPAddressOrRange_addressRange }, 139 { IANA_AFI_IPV6, "2001:0db8::0", "2001:0db8::ffff", IPAddressOrRange_addressPrefix }, 140 { IANA_AFI_IPV6, "2001:0db8::1", "2001:0db8::ffff", IPAddressOrRange_addressRange }, 141 { IANA_AFI_IPV6, "2001:0db8::1", "2001:0db8::1", IPAddressOrRange_addressPrefix }, 142 { IANA_AFI_IPV6, "2001:0db8::0:0", "2001:0db8::ffff:ffff", IPAddressOrRange_addressPrefix }, 143 { IANA_AFI_IPV6, "2001:0db8::1:0", "2001:0db8::ffff:ffff", IPAddressOrRange_addressRange } 144 }; 145 146 static int check_addr(IPAddrBlocks *addr, int type) 147 { 148 IPAddressFamily *fam; 149 IPAddressOrRange *aorr; 150 151 if (!TEST_int_eq(sk_IPAddressFamily_num(addr), 1)) 152 return 0; 153 154 fam = sk_IPAddressFamily_value(addr, 0); 155 if (!TEST_ptr(fam)) 156 return 0; 157 158 if (!TEST_int_eq(fam->ipAddressChoice->type, IPAddressChoice_addressesOrRanges)) 159 return 0; 160 161 if (!TEST_int_eq(sk_IPAddressOrRange_num(fam->ipAddressChoice->u.addressesOrRanges), 1)) 162 return 0; 163 164 aorr = sk_IPAddressOrRange_value(fam->ipAddressChoice->u.addressesOrRanges, 0); 165 if (!TEST_ptr(aorr)) 166 return 0; 167 168 if (!TEST_int_eq(aorr->type, type)) 169 return 0; 170 171 return 1; 172 } 173 174 static int test_addr_ranges(void) 175 { 176 IPAddrBlocks *addr = NULL; 177 ASN1_OCTET_STRING *ip1 = NULL, *ip2 = NULL; 178 size_t i; 179 int testresult = 0; 180 181 for (i = 0; i < OSSL_NELEM(ranges); i++) { 182 addr = sk_IPAddressFamily_new_null(); 183 if (!TEST_ptr(addr)) 184 goto end; 185 /* 186 * Has the side effect of installing the comparison function onto the 187 * stack. 188 */ 189 if (!TEST_true(X509v3_addr_canonize(addr))) 190 goto end; 191 192 ip1 = a2i_IPADDRESS(ranges[i].ip1); 193 if (!TEST_ptr(ip1)) 194 goto end; 195 if (!TEST_true(ip1->length == 4 || ip1->length == 16)) 196 goto end; 197 ip2 = a2i_IPADDRESS(ranges[i].ip2); 198 if (!TEST_ptr(ip2)) 199 goto end; 200 if (!TEST_int_eq(ip2->length, ip1->length)) 201 goto end; 202 if (!TEST_true(memcmp(ip1->data, ip2->data, ip1->length) <= 0)) 203 goto end; 204 205 if (!TEST_true(X509v3_addr_add_range(addr, ranges[i].afi, NULL, ip1->data, ip2->data))) 206 goto end; 207 208 if (!TEST_true(X509v3_addr_is_canonical(addr))) 209 goto end; 210 211 if (!check_addr(addr, ranges[i].rorp)) 212 goto end; 213 214 sk_IPAddressFamily_pop_free(addr, IPAddressFamily_free); 215 addr = NULL; 216 ASN1_OCTET_STRING_free(ip1); 217 ASN1_OCTET_STRING_free(ip2); 218 ip1 = ip2 = NULL; 219 } 220 221 testresult = 1; 222 end: 223 sk_IPAddressFamily_pop_free(addr, IPAddressFamily_free); 224 ASN1_OCTET_STRING_free(ip1); 225 ASN1_OCTET_STRING_free(ip2); 226 return testresult; 227 } 228 229 static int test_addr_fam_len(void) 230 { 231 int testresult = 0; 232 IPAddrBlocks *addr = NULL; 233 IPAddressFamily *f1 = NULL; 234 ASN1_OCTET_STRING *ip1 = NULL, *ip2 = NULL; 235 unsigned char key[6]; 236 unsigned int keylen; 237 unsigned afi = IANA_AFI_IPV4; 238 239 /* Create the IPAddrBlocks with a good IPAddressFamily */ 240 addr = sk_IPAddressFamily_new_null(); 241 if (!TEST_ptr(addr)) 242 goto end; 243 ip1 = a2i_IPADDRESS(ranges[0].ip1); 244 if (!TEST_ptr(ip1)) 245 goto end; 246 ip2 = a2i_IPADDRESS(ranges[0].ip2); 247 if (!TEST_ptr(ip2)) 248 goto end; 249 if (!TEST_true(X509v3_addr_add_range(addr, ranges[0].afi, NULL, ip1->data, ip2->data))) 250 goto end; 251 if (!TEST_true(X509v3_addr_is_canonical(addr))) 252 goto end; 253 254 /* Create our malformed IPAddressFamily */ 255 key[0] = (afi >> 8) & 0xFF; 256 key[1] = afi & 0xFF; 257 key[2] = 0xD; 258 key[3] = 0xE; 259 key[4] = 0xA; 260 key[5] = 0xD; 261 keylen = 6; 262 if ((f1 = IPAddressFamily_new()) == NULL) 263 goto end; 264 if (f1->ipAddressChoice == NULL && (f1->ipAddressChoice = IPAddressChoice_new()) == NULL) 265 goto end; 266 if (f1->addressFamily == NULL && (f1->addressFamily = ASN1_OCTET_STRING_new()) == NULL) 267 goto end; 268 if (!ASN1_OCTET_STRING_set(f1->addressFamily, key, keylen)) 269 goto end; 270 271 /* Push and transfer memory ownership to stack */ 272 if (!sk_IPAddressFamily_push(addr, f1)) 273 goto end; 274 f1 = NULL; 275 276 /* Shouldn't be able to canonize this as the len is > 3*/ 277 if (!TEST_false(X509v3_addr_canonize(addr))) 278 goto end; 279 280 /* Pop and free the new stack element */ 281 IPAddressFamily_free(sk_IPAddressFamily_pop(addr)); 282 283 /* Create a well-formed IPAddressFamily */ 284 key[0] = (afi >> 8) & 0xFF; 285 key[1] = afi & 0xFF; 286 key[2] = 0x1; 287 keylen = 3; 288 if ((f1 = IPAddressFamily_new()) == NULL) 289 goto end; 290 if (f1->ipAddressChoice == NULL && (f1->ipAddressChoice = IPAddressChoice_new()) == NULL) 291 goto end; 292 if (f1->addressFamily == NULL && (f1->addressFamily = ASN1_OCTET_STRING_new()) == NULL) 293 goto end; 294 if (!ASN1_OCTET_STRING_set(f1->addressFamily, key, keylen)) 295 goto end; 296 297 /* Mark this as inheritance so we skip some of the is_canonize checks */ 298 f1->ipAddressChoice->type = IPAddressChoice_inherit; 299 300 /* Push and transfer memory ownership to stack */ 301 if (!sk_IPAddressFamily_push(addr, f1)) 302 goto end; 303 f1 = NULL; 304 305 /* Should be able to canonize now */ 306 if (!TEST_true(X509v3_addr_canonize(addr))) 307 goto end; 308 309 testresult = 1; 310 end: 311 /* Free stack and any memory owned by detached element */ 312 IPAddressFamily_free(f1); 313 sk_IPAddressFamily_pop_free(addr, IPAddressFamily_free); 314 315 ASN1_OCTET_STRING_free(ip1); 316 ASN1_OCTET_STRING_free(ip2); 317 return testresult; 318 } 319 320 static struct extvalues_st { 321 const char *value; 322 int pass; 323 } extvalues[] = { 324 /* No prefix is ok */ 325 { "sbgp-ipAddrBlock = IPv4:192.0.0.1\n", 1 }, 326 { "sbgp-ipAddrBlock = IPv4:192.0.0.0/0\n", 1 }, 327 { "sbgp-ipAddrBlock = IPv4:192.0.0.0/1\n", 1 }, 328 { "sbgp-ipAddrBlock = IPv4:192.0.0.0/32\n", 1 }, 329 /* Prefix is too long */ 330 { "sbgp-ipAddrBlock = IPv4:192.0.0.0/33\n", 0 }, 331 /* Unreasonably large prefix */ 332 { "sbgp-ipAddrBlock = IPv4:192.0.0.0/12341234\n", 0 }, 333 /* Invalid IP addresses */ 334 { "sbgp-ipAddrBlock = IPv4:192.0.0\n", 0 }, 335 { "sbgp-ipAddrBlock = IPv4:256.0.0.0\n", 0 }, 336 { "sbgp-ipAddrBlock = IPv4:-1.0.0.0\n", 0 }, 337 { "sbgp-ipAddrBlock = IPv4:192.0.0.0.0\n", 0 }, 338 { "sbgp-ipAddrBlock = IPv3:192.0.0.0\n", 0 }, 339 340 /* IPv6 */ 341 /* No prefix is ok */ 342 { "sbgp-ipAddrBlock = IPv6:2001:db8::\n", 1 }, 343 { "sbgp-ipAddrBlock = IPv6:2001::db8\n", 1 }, 344 { "sbgp-ipAddrBlock = IPv6:2001:0db8:0000:0000:0000:0000:0000:0000\n", 1 }, 345 { "sbgp-ipAddrBlock = IPv6:2001:db8::/0\n", 1 }, 346 { "sbgp-ipAddrBlock = IPv6:2001:db8::/1\n", 1 }, 347 { "sbgp-ipAddrBlock = IPv6:2001:db8::/32\n", 1 }, 348 { "sbgp-ipAddrBlock = IPv6:2001:0db8:0000:0000:0000:0000:0000:0000/32\n", 1 }, 349 { "sbgp-ipAddrBlock = IPv6:2001:db8::/128\n", 1 }, 350 /* Prefix is too long */ 351 { "sbgp-ipAddrBlock = IPv6:2001:db8::/129\n", 0 }, 352 /* Unreasonably large prefix */ 353 { "sbgp-ipAddrBlock = IPv6:2001:db8::/12341234\n", 0 }, 354 /* Invalid IP addresses */ 355 /* Not enough blocks of numbers */ 356 { "sbgp-ipAddrBlock = IPv6:2001:0db8:0000:0000:0000:0000:0000\n", 0 }, 357 /* Too many blocks of numbers */ 358 { "sbgp-ipAddrBlock = IPv6:2001:0db8:0000:0000:0000:0000:0000:0000:0000\n", 0 }, 359 /* First value too large */ 360 { "sbgp-ipAddrBlock = IPv6:1ffff:0db8:0000:0000:0000:0000:0000:0000\n", 0 }, 361 /* First value with invalid characters */ 362 { "sbgp-ipAddrBlock = IPv6:fffg:0db8:0000:0000:0000:0000:0000:0000\n", 0 }, 363 /* First value is negative */ 364 { "sbgp-ipAddrBlock = IPv6:-1:0db8:0000:0000:0000:0000:0000:0000\n", 0 } 365 }; 366 367 static int test_ext_syntax(void) 368 { 369 size_t i; 370 int testresult = 1; 371 372 for (i = 0; i < OSSL_NELEM(extvalues); i++) { 373 X509V3_CTX ctx; 374 BIO *extbio = BIO_new_mem_buf(extvalues[i].value, 375 strlen(extvalues[i].value)); 376 CONF *conf; 377 long eline; 378 379 if (!TEST_ptr(extbio)) 380 return 0; 381 382 conf = NCONF_new_ex(NULL, NULL); 383 if (!TEST_ptr(conf)) { 384 BIO_free(extbio); 385 return 0; 386 } 387 if (!TEST_long_gt(NCONF_load_bio(conf, extbio, &eline), 0)) { 388 testresult = 0; 389 } else { 390 X509V3_set_ctx_test(&ctx); 391 X509V3_set_nconf(&ctx, conf); 392 393 if (extvalues[i].pass) { 394 if (!TEST_true(X509V3_EXT_add_nconf(conf, &ctx, "default", 395 NULL))) { 396 TEST_info("Value: %s", extvalues[i].value); 397 testresult = 0; 398 } 399 } else { 400 ERR_set_mark(); 401 if (!TEST_false(X509V3_EXT_add_nconf(conf, &ctx, "default", 402 NULL))) { 403 testresult = 0; 404 TEST_info("Value: %s", extvalues[i].value); 405 ERR_clear_last_mark(); 406 } else { 407 ERR_pop_to_mark(); 408 } 409 } 410 } 411 BIO_free(extbio); 412 NCONF_free(conf); 413 } 414 415 return testresult; 416 } 417 418 static int test_addr_subset(void) 419 { 420 int i; 421 int ret = 0; 422 IPAddrBlocks *addrEmpty = NULL; 423 IPAddrBlocks *addr[3] = { NULL, NULL }; 424 ASN1_OCTET_STRING *ip1[3] = { NULL, NULL }; 425 ASN1_OCTET_STRING *ip2[3] = { NULL, NULL }; 426 int sz = OSSL_NELEM(addr); 427 428 for (i = 0; i < sz; ++i) { 429 /* Create the IPAddrBlocks with a good IPAddressFamily */ 430 if (!TEST_ptr(addr[i] = sk_IPAddressFamily_new_null()) 431 || !TEST_ptr(ip1[i] = a2i_IPADDRESS(ranges[i].ip1)) 432 || !TEST_ptr(ip2[i] = a2i_IPADDRESS(ranges[i].ip2)) 433 || !TEST_true(X509v3_addr_add_range(addr[i], ranges[i].afi, NULL, 434 ip1[i]->data, ip2[i]->data))) 435 goto end; 436 } 437 438 ret = TEST_ptr(addrEmpty = sk_IPAddressFamily_new_null()) 439 && TEST_true(X509v3_addr_subset(NULL, NULL)) 440 && TEST_true(X509v3_addr_subset(NULL, addr[0])) 441 && TEST_true(X509v3_addr_subset(addrEmpty, addr[0])) 442 && TEST_true(X509v3_addr_subset(addr[0], addr[0])) 443 && TEST_true(X509v3_addr_subset(addr[0], addr[1])) 444 && TEST_true(X509v3_addr_subset(addr[0], addr[2])) 445 && TEST_true(X509v3_addr_subset(addr[1], addr[2])) 446 && TEST_false(X509v3_addr_subset(addr[0], NULL)) 447 && TEST_false(X509v3_addr_subset(addr[1], addr[0])) 448 && TEST_false(X509v3_addr_subset(addr[2], addr[1])) 449 && TEST_false(X509v3_addr_subset(addr[0], addrEmpty)); 450 end: 451 sk_IPAddressFamily_pop_free(addrEmpty, IPAddressFamily_free); 452 for (i = 0; i < sz; ++i) { 453 sk_IPAddressFamily_pop_free(addr[i], IPAddressFamily_free); 454 ASN1_OCTET_STRING_free(ip1[i]); 455 ASN1_OCTET_STRING_free(ip2[i]); 456 } 457 return ret; 458 } 459 460 #endif /* OPENSSL_NO_RFC3779 */ 461 462 OPT_TEST_DECLARE_USAGE("cert.pem\n") 463 464 int setup_tests(void) 465 { 466 if (!test_skip_common_options()) { 467 TEST_error("Error parsing test options\n"); 468 return 0; 469 } 470 471 if (!TEST_ptr(infile = test_get_argument(0))) 472 return 0; 473 474 ADD_TEST(test_pathlen); 475 #ifndef OPENSSL_NO_RFC3779 476 ADD_TEST(test_asid); 477 ADD_TEST(test_addr_ranges); 478 ADD_TEST(test_ext_syntax); 479 ADD_TEST(test_addr_fam_len); 480 ADD_TEST(test_addr_subset); 481 #endif /* OPENSSL_NO_RFC3779 */ 482 return 1; 483 } 484
Indexes created Sat Feb 28 05:31:39 UTC 2026