v3ext.c 7.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240
  1. /*
  2. * Copyright 2016-2022 The OpenSSL Project Authors. All Rights Reserved.
  3. *
  4. * Licensed under the OpenSSL license (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. #include <stdio.h>
  10. #include <openssl/x509.h>
  11. #include <openssl/x509v3.h>
  12. #include <openssl/pem.h>
  13. #include <openssl/err.h>
  14. #include "internal/nelem.h"
  15. #include "testutil.h"
  16. static const char *infile;
  17. static int test_pathlen(void)
  18. {
  19. X509 *x = NULL;
  20. BIO *b = NULL;
  21. long pathlen;
  22. int ret = 0;
  23. if (!TEST_ptr(b = BIO_new_file(infile, "r"))
  24. || !TEST_ptr(x = PEM_read_bio_X509(b, NULL, NULL, NULL))
  25. || !TEST_int_eq(pathlen = X509_get_pathlen(x), 6))
  26. goto end;
  27. ret = 1;
  28. end:
  29. BIO_free(b);
  30. X509_free(x);
  31. return ret;
  32. }
  33. #ifndef OPENSSL_NO_RFC3779
  34. static int test_asid(void)
  35. {
  36. ASN1_INTEGER *val1 = NULL, *val2 = NULL;
  37. ASIdentifiers *asid1 = ASIdentifiers_new(), *asid2 = ASIdentifiers_new(),
  38. *asid3 = ASIdentifiers_new(), *asid4 = ASIdentifiers_new();
  39. int testresult = 0;
  40. if (!TEST_ptr(asid1)
  41. || !TEST_ptr(asid2)
  42. || !TEST_ptr(asid3))
  43. goto err;
  44. if (!TEST_ptr(val1 = ASN1_INTEGER_new())
  45. || !TEST_true(ASN1_INTEGER_set_int64(val1, 64496)))
  46. goto err;
  47. if (!TEST_true(X509v3_asid_add_id_or_range(asid1, V3_ASID_ASNUM, val1, NULL)))
  48. goto err;
  49. val1 = NULL;
  50. if (!TEST_ptr(val2 = ASN1_INTEGER_new())
  51. || !TEST_true(ASN1_INTEGER_set_int64(val2, 64497)))
  52. goto err;
  53. if (!TEST_true(X509v3_asid_add_id_or_range(asid2, V3_ASID_ASNUM, val2, NULL)))
  54. goto err;
  55. val2 = NULL;
  56. if (!TEST_ptr(val1 = ASN1_INTEGER_new())
  57. || !TEST_true(ASN1_INTEGER_set_int64(val1, 64496))
  58. || !TEST_ptr(val2 = ASN1_INTEGER_new())
  59. || !TEST_true(ASN1_INTEGER_set_int64(val2, 64497)))
  60. goto err;
  61. /*
  62. * Just tests V3_ASID_ASNUM for now. Could be extended at some point to also
  63. * test V3_ASID_RDI if we think it is worth it.
  64. */
  65. if (!TEST_true(X509v3_asid_add_id_or_range(asid3, V3_ASID_ASNUM, val1, val2)))
  66. goto err;
  67. val1 = val2 = NULL;
  68. /* Actual subsets */
  69. if (!TEST_true(X509v3_asid_subset(NULL, NULL))
  70. || !TEST_true(X509v3_asid_subset(NULL, asid1))
  71. || !TEST_true(X509v3_asid_subset(asid1, asid1))
  72. || !TEST_true(X509v3_asid_subset(asid2, asid2))
  73. || !TEST_true(X509v3_asid_subset(asid1, asid3))
  74. || !TEST_true(X509v3_asid_subset(asid2, asid3))
  75. || !TEST_true(X509v3_asid_subset(asid3, asid3))
  76. || !TEST_true(X509v3_asid_subset(asid4, asid1))
  77. || !TEST_true(X509v3_asid_subset(asid4, asid2))
  78. || !TEST_true(X509v3_asid_subset(asid4, asid3)))
  79. goto err;
  80. /* Not subsets */
  81. if (!TEST_false(X509v3_asid_subset(asid1, NULL))
  82. || !TEST_false(X509v3_asid_subset(asid1, asid2))
  83. || !TEST_false(X509v3_asid_subset(asid2, asid1))
  84. || !TEST_false(X509v3_asid_subset(asid3, asid1))
  85. || !TEST_false(X509v3_asid_subset(asid3, asid2))
  86. || !TEST_false(X509v3_asid_subset(asid1, asid4))
  87. || !TEST_false(X509v3_asid_subset(asid2, asid4))
  88. || !TEST_false(X509v3_asid_subset(asid3, asid4)))
  89. goto err;
  90. testresult = 1;
  91. err:
  92. ASN1_INTEGER_free(val1);
  93. ASN1_INTEGER_free(val2);
  94. ASIdentifiers_free(asid1);
  95. ASIdentifiers_free(asid2);
  96. ASIdentifiers_free(asid3);
  97. ASIdentifiers_free(asid4);
  98. return testresult;
  99. }
  100. static struct ip_ranges_st {
  101. const unsigned int afi;
  102. const char *ip1;
  103. const char *ip2;
  104. int rorp;
  105. } ranges[] = {
  106. { IANA_AFI_IPV4, "192.168.0.0", "192.168.0.1", IPAddressOrRange_addressPrefix},
  107. { IANA_AFI_IPV4, "192.168.0.0", "192.168.0.2", IPAddressOrRange_addressRange},
  108. { IANA_AFI_IPV4, "192.168.0.0", "192.168.0.3", IPAddressOrRange_addressPrefix},
  109. { IANA_AFI_IPV4, "192.168.0.0", "192.168.0.254", IPAddressOrRange_addressRange},
  110. { IANA_AFI_IPV4, "192.168.0.0", "192.168.0.255", IPAddressOrRange_addressPrefix},
  111. { IANA_AFI_IPV4, "192.168.0.1", "192.168.0.255", IPAddressOrRange_addressRange},
  112. { IANA_AFI_IPV4, "192.168.0.1", "192.168.0.1", IPAddressOrRange_addressPrefix},
  113. { IANA_AFI_IPV4, "192.168.0.0", "192.168.255.255", IPAddressOrRange_addressPrefix},
  114. { IANA_AFI_IPV4, "192.168.1.0", "192.168.255.255", IPAddressOrRange_addressRange},
  115. { IANA_AFI_IPV6, "2001:0db8::0", "2001:0db8::1", IPAddressOrRange_addressPrefix},
  116. { IANA_AFI_IPV6, "2001:0db8::0", "2001:0db8::2", IPAddressOrRange_addressRange},
  117. { IANA_AFI_IPV6, "2001:0db8::0", "2001:0db8::3", IPAddressOrRange_addressPrefix},
  118. { IANA_AFI_IPV6, "2001:0db8::0", "2001:0db8::fffe", IPAddressOrRange_addressRange},
  119. { IANA_AFI_IPV6, "2001:0db8::0", "2001:0db8::ffff", IPAddressOrRange_addressPrefix},
  120. { IANA_AFI_IPV6, "2001:0db8::1", "2001:0db8::ffff", IPAddressOrRange_addressRange},
  121. { IANA_AFI_IPV6, "2001:0db8::1", "2001:0db8::1", IPAddressOrRange_addressPrefix},
  122. { IANA_AFI_IPV6, "2001:0db8::0:0", "2001:0db8::ffff:ffff", IPAddressOrRange_addressPrefix},
  123. { IANA_AFI_IPV6, "2001:0db8::1:0", "2001:0db8::ffff:ffff", IPAddressOrRange_addressRange}
  124. };
  125. static int check_addr(IPAddrBlocks *addr, int type)
  126. {
  127. IPAddressFamily *fam;
  128. IPAddressOrRange *aorr;
  129. if (!TEST_int_eq(sk_IPAddressFamily_num(addr), 1))
  130. return 0;
  131. fam = sk_IPAddressFamily_value(addr, 0);
  132. if (!TEST_ptr(fam))
  133. return 0;
  134. if (!TEST_int_eq(fam->ipAddressChoice->type, IPAddressChoice_addressesOrRanges))
  135. return 0;
  136. if (!TEST_int_eq(sk_IPAddressOrRange_num(fam->ipAddressChoice->u.addressesOrRanges), 1))
  137. return 0;
  138. aorr = sk_IPAddressOrRange_value(fam->ipAddressChoice->u.addressesOrRanges, 0);
  139. if (!TEST_ptr(aorr))
  140. return 0;
  141. if (!TEST_int_eq(aorr->type, type))
  142. return 0;
  143. return 1;
  144. }
  145. static int test_addr_ranges(void)
  146. {
  147. IPAddrBlocks *addr = NULL;
  148. ASN1_OCTET_STRING *ip1 = NULL, *ip2 = NULL;
  149. size_t i;
  150. int testresult = 0;
  151. for (i = 0; i < OSSL_NELEM(ranges); i++) {
  152. addr = sk_IPAddressFamily_new_null();
  153. if (!TEST_ptr(addr))
  154. goto end;
  155. /*
  156. * Has the side effect of installing the comparison function onto the
  157. * stack.
  158. */
  159. if (!TEST_true(X509v3_addr_canonize(addr)))
  160. goto end;
  161. ip1 = a2i_IPADDRESS(ranges[i].ip1);
  162. if (!TEST_ptr(ip1))
  163. goto end;
  164. if (!TEST_true(ip1->length == 4 || ip1->length == 16))
  165. goto end;
  166. ip2 = a2i_IPADDRESS(ranges[i].ip2);
  167. if (!TEST_ptr(ip2))
  168. goto end;
  169. if (!TEST_int_eq(ip2->length, ip1->length))
  170. goto end;
  171. if (!TEST_true(memcmp(ip1->data, ip2->data, ip1->length) <= 0))
  172. goto end;
  173. if (!TEST_true(X509v3_addr_add_range(addr, ranges[i].afi, NULL, ip1->data, ip2->data)))
  174. goto end;
  175. if (!TEST_true(X509v3_addr_is_canonical(addr)))
  176. goto end;
  177. if (!check_addr(addr, ranges[i].rorp))
  178. goto end;
  179. sk_IPAddressFamily_pop_free(addr, IPAddressFamily_free);
  180. addr = NULL;
  181. ASN1_OCTET_STRING_free(ip1);
  182. ASN1_OCTET_STRING_free(ip2);
  183. ip1 = ip2 = NULL;
  184. }
  185. testresult = 1;
  186. end:
  187. sk_IPAddressFamily_pop_free(addr, IPAddressFamily_free);
  188. ASN1_OCTET_STRING_free(ip1);
  189. ASN1_OCTET_STRING_free(ip2);
  190. return testresult;
  191. }
  192. #endif /* OPENSSL_NO_RFC3779 */
  193. int setup_tests(void)
  194. {
  195. if (!TEST_ptr(infile = test_get_argument(0)))
  196. return 0;
  197. ADD_TEST(test_pathlen);
  198. #ifndef OPENSSL_NO_RFC3779
  199. ADD_TEST(test_asid);
  200. ADD_TEST(test_addr_ranges);
  201. #endif /* OPENSSL_NO_RFC3779 */
  202. return 1;
  203. }