diff options
| author | tb <> | 2021-04-21 20:15:08 +0000 |
|---|---|---|
| committer | tb <> | 2021-04-21 20:15:08 +0000 |
| commit | 506823de08d3a19a65ea7e1e21e393b05e56106a (patch) | |
| tree | 3e6a90bbad7d3fe8b7a82f91f8aa41af1d7e094c /src/regress/lib/libcrypto | |
| parent | 7e6a89dfea382222cce553528a6bb2c57700e826 (diff) | |
| download | openbsd-506823de08d3a19a65ea7e1e21e393b05e56106a.tar.gz openbsd-506823de08d3a19a65ea7e1e21e393b05e56106a.tar.bz2 openbsd-506823de08d3a19a65ea7e1e21e393b05e56106a.zip | |
Add a test that roundtrips a bunch of points on all builtin curves
via point2oct and oct2point and that checks the corner case in hybrid
encoding that was fixed in ec2_oct.c r1.13.
Diffstat (limited to 'src/regress/lib/libcrypto')
| -rw-r--r-- | src/regress/lib/libcrypto/ec/Makefile | 25 | ||||
| -rw-r--r-- | src/regress/lib/libcrypto/ec/ec_point_conversion.c | 249 |
2 files changed, 268 insertions, 6 deletions
diff --git a/src/regress/lib/libcrypto/ec/Makefile b/src/regress/lib/libcrypto/ec/Makefile index 76b552fa23..394ac51226 100644 --- a/src/regress/lib/libcrypto/ec/Makefile +++ b/src/regress/lib/libcrypto/ec/Makefile | |||
| @@ -1,9 +1,22 @@ | |||
| 1 | # $OpenBSD: Makefile,v 1.4 2021/04/20 17:09:45 tb Exp $ | 1 | # $OpenBSD: Makefile,v 1.5 2021/04/21 20:15:08 tb Exp $ |
| 2 | 2 | ||
| 3 | PROG= ectest | 3 | PROGS += ectest |
| 4 | LDADD= ${CRYPTO_INT} | 4 | PROGS += ec_point_conversion |
| 5 | DPADD= ${LIBCRYPTO} | 5 | |
| 6 | WARNINGS= Yes | 6 | .for t in ${PROGS} |
| 7 | CFLAGS+= -DLIBRESSL_INTERNAL -Werror | 7 | REGRESS_TARGETS += run-$t |
| 8 | .endfor | ||
| 9 | |||
| 10 | LDADD = ${CRYPTO_INT} | ||
| 11 | DPADD = ${LIBCRYPTO} | ||
| 12 | WARNINGS = Yes | ||
| 13 | CFLAGS += -DLIBRESSL_INTERNAL -Wall -Wundef -Werror | ||
| 14 | |||
| 15 | CLEANFILES += ${PROGS} | ||
| 16 | |||
| 17 | .for t in ${PROGS} | ||
| 18 | run-$t: $t | ||
| 19 | ./$t | ||
| 20 | .endfor | ||
| 8 | 21 | ||
| 9 | .include <bsd.regress.mk> | 22 | .include <bsd.regress.mk> |
diff --git a/src/regress/lib/libcrypto/ec/ec_point_conversion.c b/src/regress/lib/libcrypto/ec/ec_point_conversion.c new file mode 100644 index 0000000000..97ba70034d --- /dev/null +++ b/src/regress/lib/libcrypto/ec/ec_point_conversion.c | |||
| @@ -0,0 +1,249 @@ | |||
| 1 | /* $OpenBSD: ec_point_conversion.c,v 1.1 2021/04/21 20:15:08 tb Exp $ */ | ||
| 2 | /* | ||
| 3 | * Copyright (c) 2021 Theo Buehler <tb@openbsd.org> | ||
| 4 | * Copyright (c) 2021 Joel Sing <jsing@openbsd.org> | ||
| 5 | * | ||
| 6 | * Permission to use, copy, modify, and distribute this software for any | ||
| 7 | * purpose with or without fee is hereby granted, provided that the above | ||
| 8 | * copyright notice and this permission notice appear in all copies. | ||
| 9 | * | ||
| 10 | * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES | ||
| 11 | * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF | ||
| 12 | * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR | ||
| 13 | * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES | ||
| 14 | * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN | ||
| 15 | * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF | ||
| 16 | * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. | ||
| 17 | */ | ||
| 18 | |||
| 19 | #include <err.h> | ||
| 20 | #include <stdio.h> | ||
| 21 | #include <stdlib.h> | ||
| 22 | |||
| 23 | #include <openssl/ec.h> | ||
| 24 | #include <openssl/objects.h> | ||
| 25 | |||
| 26 | int bn_rand_interval(BIGNUM *, const BIGNUM *, const BIGNUM *); | ||
| 27 | |||
| 28 | int forms[] = { | ||
| 29 | POINT_CONVERSION_COMPRESSED, | ||
| 30 | POINT_CONVERSION_UNCOMPRESSED, | ||
| 31 | POINT_CONVERSION_HYBRID, | ||
| 32 | }; | ||
| 33 | |||
| 34 | static const size_t N_FORMS = sizeof(forms) / sizeof(forms[0]); | ||
| 35 | #define N_RANDOM_POINTS 10 | ||
| 36 | |||
| 37 | static const char * | ||
| 38 | form2str(int form) | ||
| 39 | { | ||
| 40 | switch (form) { | ||
| 41 | case POINT_CONVERSION_COMPRESSED: | ||
| 42 | return "compressed form"; | ||
| 43 | case POINT_CONVERSION_UNCOMPRESSED: | ||
| 44 | return "uncompressed form"; | ||
| 45 | case POINT_CONVERSION_HYBRID: | ||
| 46 | return "hybrid form"; | ||
| 47 | default: | ||
| 48 | return "unknown form"; | ||
| 49 | } | ||
| 50 | } | ||
| 51 | |||
| 52 | static void | ||
| 53 | hexdump(const unsigned char *buf, size_t len) | ||
| 54 | { | ||
| 55 | size_t i; | ||
| 56 | |||
| 57 | for (i = 1; i <= len; i++) | ||
| 58 | fprintf(stderr, " 0x%02hhx,%s", buf[i - 1], i % 8 ? "" : "\n"); | ||
| 59 | |||
| 60 | if (len % 8) | ||
| 61 | fprintf(stderr, "\n"); | ||
| 62 | } | ||
| 63 | |||
| 64 | static int | ||
| 65 | roundtrip(EC_GROUP *group, EC_POINT *point, int form, BIGNUM *x, BIGNUM *y) | ||
| 66 | { | ||
| 67 | BIGNUM *x_out = NULL, *y_out = NULL; | ||
| 68 | size_t len; | ||
| 69 | uint8_t *buf = NULL; | ||
| 70 | int failed = 1; | ||
| 71 | |||
| 72 | if ((len = EC_POINT_point2oct(group, point, form, NULL, 0, NULL)) == 0) | ||
| 73 | errx(1, "point2oct"); | ||
| 74 | if ((buf = malloc(len)) == NULL) | ||
| 75 | errx(1, "malloc"); | ||
| 76 | if (EC_POINT_point2oct(group, point, form, buf, len, NULL) != len) | ||
| 77 | errx(1, "point2oct"); | ||
| 78 | |||
| 79 | if (!EC_POINT_oct2point(group, point, buf, len, NULL)) | ||
| 80 | errx(1, "%s oct2point", form2str(form)); | ||
| 81 | |||
| 82 | if ((x_out = BN_new()) == NULL) | ||
| 83 | errx(1, "new x_out"); | ||
| 84 | if ((y_out = BN_new()) == NULL) | ||
| 85 | errx(1, "new y_out"); | ||
| 86 | |||
| 87 | if (!EC_POINT_get_affine_coordinates(group, point, x_out, y_out, NULL)) | ||
| 88 | errx(1, "get affine"); | ||
| 89 | |||
| 90 | if (BN_cmp(x, x_out) != 0) { | ||
| 91 | warnx("%s: x", form2str(form)); | ||
| 92 | goto err; | ||
| 93 | } | ||
| 94 | if (BN_cmp(y, y_out) != 0) { | ||
| 95 | warnx("%s: y", form2str(form)); | ||
| 96 | goto err; | ||
| 97 | } | ||
| 98 | |||
| 99 | failed = 0; | ||
| 100 | |||
| 101 | err: | ||
| 102 | if (failed) | ||
| 103 | hexdump(buf, len); | ||
| 104 | |||
| 105 | free(buf); | ||
| 106 | BN_free(x_out); | ||
| 107 | BN_free(y_out); | ||
| 108 | |||
| 109 | return failed; | ||
| 110 | } | ||
| 111 | |||
| 112 | static int | ||
| 113 | hybrid_corner_case(void) | ||
| 114 | { | ||
| 115 | BIGNUM *x = NULL, *y = NULL; | ||
| 116 | EC_GROUP *group; | ||
| 117 | EC_POINT *point; | ||
| 118 | size_t i; | ||
| 119 | int failed = 0; | ||
| 120 | |||
| 121 | if (!BN_hex2bn(&x, "0")) | ||
| 122 | errx(1, "BN_hex2bn x"); | ||
| 123 | if (!BN_hex2bn(&y, "01")) | ||
| 124 | errx(1, "BN_hex2bn y"); | ||
| 125 | |||
| 126 | if ((group = EC_GROUP_new_by_curve_name(NID_sect571k1)) == NULL) | ||
| 127 | errx(1, "group"); | ||
| 128 | if ((point = EC_POINT_new(group)) == NULL) | ||
| 129 | errx(1, "point"); | ||
| 130 | |||
| 131 | if (!EC_POINT_set_affine_coordinates(group, point, x, y, NULL)) | ||
| 132 | errx(1, "set affine"); | ||
| 133 | |||
| 134 | for (i = 0; i < N_FORMS; i++) | ||
| 135 | failed |= roundtrip(group, point, forms[i], x, y); | ||
| 136 | |||
| 137 | fprintf(stderr, "%s: %s\n", __func__, failed ? "FAILED" : "SUCCESS"); | ||
| 138 | |||
| 139 | EC_GROUP_free(group); | ||
| 140 | EC_POINT_free(point); | ||
| 141 | BN_free(x); | ||
| 142 | BN_free(y); | ||
| 143 | |||
| 144 | return failed; | ||
| 145 | } | ||
| 146 | |||
| 147 | /* XXX This only tests multiples of the generator for now... */ | ||
| 148 | static int | ||
| 149 | test_random_points_on_curve(EC_builtin_curve *curve) | ||
| 150 | { | ||
| 151 | EC_GROUP *group; | ||
| 152 | BIGNUM *order = NULL; | ||
| 153 | BIGNUM *random; | ||
| 154 | BIGNUM *x, *y; | ||
| 155 | size_t i, j; | ||
| 156 | int failed = 0; | ||
| 157 | |||
| 158 | fprintf(stderr, "%s\n", OBJ_nid2sn(curve->nid)); | ||
| 159 | if ((group = EC_GROUP_new_by_curve_name(curve->nid)) == NULL) | ||
| 160 | errx(1, "EC_GROUP_new_by_curve_name"); | ||
| 161 | |||
| 162 | if ((order = BN_new()) == NULL) | ||
| 163 | errx(1, "BN_new order"); | ||
| 164 | if ((random = BN_new()) == NULL) | ||
| 165 | errx(1, "BN_new random"); | ||
| 166 | if ((x = BN_new()) == NULL) | ||
| 167 | errx(1, "BN_new x"); | ||
| 168 | if ((y = BN_new()) == NULL) | ||
| 169 | errx(1, "BN_new y"); | ||
| 170 | |||
| 171 | if (!EC_GROUP_get_order(group, order, NULL)) | ||
| 172 | errx(1, "EC_group_get_order"); | ||
| 173 | |||
| 174 | for (i = 0; i < N_RANDOM_POINTS; i++) { | ||
| 175 | EC_POINT *random_point; | ||
| 176 | |||
| 177 | if (!bn_rand_interval(random, BN_value_one(), order)) | ||
| 178 | errx(1, "bn_rand_interval"); | ||
| 179 | |||
| 180 | if ((random_point = EC_POINT_new(group)) == NULL) | ||
| 181 | errx(1, "EC_POINT_new"); | ||
| 182 | |||
| 183 | if (!EC_POINT_mul(group, random_point, random, NULL, NULL, NULL)) | ||
| 184 | errx(1, "EC_POINT_mul"); | ||
| 185 | |||
| 186 | if (EC_POINT_is_at_infinity(group, random_point)) { | ||
| 187 | EC_POINT_free(random_point); | ||
| 188 | |||
| 189 | warnx("info: got infinity"); | ||
| 190 | fprintf(stderr, "random = "); | ||
| 191 | BN_print_fp(stderr, random); | ||
| 192 | fprintf(stderr, "\n"); | ||
| 193 | |||
| 194 | continue; | ||
| 195 | } | ||
| 196 | |||
| 197 | if (!EC_POINT_get_affine_coordinates(group, random_point, | ||
| 198 | x, y, NULL)) | ||
| 199 | errx(1, "EC_POINT_get_affine_coordinates"); | ||
| 200 | |||
| 201 | for (j = 0; j < N_FORMS; j++) | ||
| 202 | failed |= roundtrip(group, random_point, forms[j], x, y); | ||
| 203 | |||
| 204 | EC_POINT_free(random_point); | ||
| 205 | } | ||
| 206 | |||
| 207 | BN_free(order); | ||
| 208 | BN_free(random); | ||
| 209 | BN_free(x); | ||
| 210 | BN_free(y); | ||
| 211 | EC_GROUP_free(group); | ||
| 212 | |||
| 213 | return failed; | ||
| 214 | } | ||
| 215 | |||
| 216 | static int | ||
| 217 | test_random_points(void) | ||
| 218 | { | ||
| 219 | EC_builtin_curve *all_curves = NULL; | ||
| 220 | size_t ncurves = 0; | ||
| 221 | size_t curve_id; | ||
| 222 | int failed = 0; | ||
| 223 | |||
| 224 | ncurves = EC_get_builtin_curves(NULL, 0); | ||
| 225 | if ((all_curves = calloc(ncurves, sizeof(EC_builtin_curve))) == NULL) | ||
| 226 | err(1, "calloc builtin curves"); | ||
| 227 | EC_get_builtin_curves(all_curves, ncurves); | ||
| 228 | |||
| 229 | for (curve_id = 0; curve_id < ncurves; curve_id++) | ||
| 230 | test_random_points_on_curve(&all_curves[curve_id]); | ||
| 231 | |||
| 232 | fprintf(stderr, "%s: %s\n", __func__, failed ? "FAILED" : "SUCCESS"); | ||
| 233 | |||
| 234 | free(all_curves); | ||
| 235 | return failed; | ||
| 236 | } | ||
| 237 | |||
| 238 | int | ||
| 239 | main(int argc, char **argv) | ||
| 240 | { | ||
| 241 | int failed = 0; | ||
| 242 | |||
| 243 | failed |= test_random_points(); | ||
| 244 | failed |= hybrid_corner_case(); | ||
| 245 | |||
| 246 | fprintf(stderr, "%s\n", failed ? "FAILED" : "SUCCESS"); | ||
| 247 | |||
| 248 | return failed; | ||
| 249 | } | ||
