xref: /freebsd/contrib/libfido2/regress/assert.c (revision 02e9120893770924227138ba49df1edb3896112a) 
1 /*
2  * Copyright (c) 2018-2021 Yubico AB. All rights reserved.
3  * Use of this source code is governed by a BSD-style
4  * license that can be found in the LICENSE file.
5  * SPDX-License-Identifier: BSD-2-Clause
6  */
7 
8 #undef NDEBUG
9 
10 #include <assert.h>
11 #include <string.h>
12 
13 #define _FIDO_INTERNAL
14 
15 #include <fido.h>
16 #include <fido/es256.h>
17 #include <fido/rs256.h>
18 #include <fido/eddsa.h>
19 
20 static int fake_dev_handle;
21 
22 static const unsigned char es256_pk[64] = {
23 	0x34, 0xeb, 0x99, 0x77, 0x02, 0x9c, 0x36, 0x38,
24 	0xbb, 0xc2, 0xae, 0xa0, 0xa0, 0x18, 0xc6, 0x64,
25 	0xfc, 0xe8, 0x49, 0x92, 0xd7, 0x74, 0x9e, 0x0c,
26 	0x46, 0x8c, 0x9d, 0xa6, 0xdf, 0x46, 0xf7, 0x84,
27 	0x60, 0x1e, 0x0f, 0x8b, 0x23, 0x85, 0x4a, 0x9a,
28 	0xec, 0xc1, 0x08, 0x9f, 0x30, 0xd0, 0x0d, 0xd7,
29 	0x76, 0x7b, 0x55, 0x48, 0x91, 0x7c, 0x4f, 0x0f,
30 	0x64, 0x1a, 0x1d, 0xf8, 0xbe, 0x14, 0x90, 0x8a,
31 };
32 
33 static const unsigned char rs256_pk[259] = {
34 	0x9e, 0x54, 0x78, 0xb2, 0x51, 0xbe, 0x19, 0x7c,
35 	0xcb, 0x1a, 0x9a, 0xc3, 0x49, 0x2a, 0x2f, 0xfd,
36 	0x99, 0x64, 0x76, 0xc6, 0xdb, 0xca, 0x38, 0x3f,
37 	0xb0, 0x6a, 0xc9, 0xc0, 0x07, 0x9f, 0x5c, 0x4d,
38 	0xfc, 0xd1, 0x01, 0x7f, 0x69, 0x65, 0xab, 0x9c,
39 	0x2a, 0xc2, 0x95, 0xd9, 0x44, 0xf3, 0xea, 0x94,
40 	0x6b, 0x25, 0x66, 0x54, 0x81, 0xee, 0x24, 0x1d,
41 	0xe1, 0x7d, 0x7f, 0xbe, 0xea, 0x76, 0x90, 0x5c,
42 	0xbf, 0x59, 0x22, 0xd3, 0xa0, 0x68, 0x1a, 0x65,
43 	0x8b, 0x2f, 0xb6, 0xa8, 0x30, 0x2d, 0x26, 0x81,
44 	0xfa, 0x9e, 0x59, 0xec, 0x2f, 0xee, 0x59, 0x39,
45 	0xe2, 0x79, 0x19, 0x54, 0x54, 0xdf, 0x24, 0x83,
46 	0xee, 0x61, 0x5a, 0x66, 0x24, 0x2b, 0x7b, 0xfb,
47 	0x82, 0x66, 0xe4, 0x85, 0x18, 0x20, 0x76, 0xe5,
48 	0x4a, 0xb6, 0xcb, 0xec, 0x43, 0xbe, 0xfd, 0xb0,
49 	0x8f, 0xfd, 0x2f, 0x69, 0xda, 0x06, 0x9c, 0x09,
50 	0x68, 0x7a, 0x94, 0x6c, 0xb7, 0x51, 0x6d, 0x4c,
51 	0xf7, 0x13, 0xe8, 0xd5, 0x22, 0x6b, 0x1e, 0xba,
52 	0xb9, 0x85, 0xe8, 0x5f, 0xa1, 0x66, 0xe3, 0x20,
53 	0x75, 0x30, 0x11, 0xb5, 0xa3, 0xc3, 0xb0, 0x72,
54 	0x08, 0xff, 0xa3, 0xbb, 0xf1, 0x32, 0x0b, 0x06,
55 	0xc4, 0x12, 0xa3, 0x49, 0x30, 0x19, 0xb9, 0xfe,
56 	0x69, 0x0c, 0xd6, 0xe1, 0x58, 0x36, 0xe6, 0x41,
57 	0x22, 0x41, 0xbf, 0x96, 0x50, 0x35, 0x56, 0x0d,
58 	0x92, 0x8c, 0x34, 0xea, 0x28, 0x91, 0x88, 0x9e,
59 	0x8a, 0xaa, 0x36, 0xd0, 0x0f, 0xbe, 0x16, 0xde,
60 	0x9d, 0x5f, 0x7b, 0xda, 0x52, 0xf7, 0xf1, 0xb6,
61 	0x28, 0x10, 0x05, 0x8f, 0xb9, 0x19, 0x7a, 0xcf,
62 	0x18, 0x9b, 0x40, 0xcd, 0xff, 0x78, 0xea, 0x61,
63 	0x24, 0x3b, 0x80, 0x68, 0x04, 0x9b, 0x40, 0x07,
64 	0x98, 0xd4, 0x94, 0xd1, 0x18, 0x44, 0xa5, 0xed,
65 	0xee, 0x18, 0xc2, 0x25, 0x52, 0x66, 0x42, 0xdf,
66 	0x01, 0x00, 0x01,
67 };
68 
69 static const unsigned char cdh[32] = {
70 	0xec, 0x8d, 0x8f, 0x78, 0x42, 0x4a, 0x2b, 0xb7,
71 	0x82, 0x34, 0xaa, 0xca, 0x07, 0xa1, 0xf6, 0x56,
72 	0x42, 0x1c, 0xb6, 0xf6, 0xb3, 0x00, 0x86, 0x52,
73 	0x35, 0x2d, 0xa2, 0x62, 0x4a, 0xbe, 0x89, 0x76,
74 };
75 
76 static const unsigned char authdata[39] = {
77 	0x58, 0x25, 0x49, 0x96, 0x0d, 0xe5, 0x88, 0x0e,
78 	0x8c, 0x68, 0x74, 0x34, 0x17, 0x0f, 0x64, 0x76,
79 	0x60, 0x5b, 0x8f, 0xe4, 0xae, 0xb9, 0xa2, 0x86,
80 	0x32, 0xc7, 0x99, 0x5c, 0xf3, 0xba, 0x83, 0x1d,
81 	0x97, 0x63, 0x00, 0x00, 0x00, 0x00, 0x03,
82 };
83 
84 static const unsigned char sig[72] = {
85 	0x30, 0x46, 0x02, 0x21, 0x00, 0xf6, 0xd1, 0xa3,
86 	0xd5, 0x24, 0x2b, 0xde, 0xee, 0xa0, 0x90, 0x89,
87 	0xcd, 0xf8, 0x9e, 0xbd, 0x6b, 0x4d, 0x55, 0x79,
88 	0xe4, 0xc1, 0x42, 0x27, 0xb7, 0x9b, 0x9b, 0xa4,
89 	0x0a, 0xe2, 0x47, 0x64, 0x0e, 0x02, 0x21, 0x00,
90 	0xe5, 0xc9, 0xc2, 0x83, 0x47, 0x31, 0xc7, 0x26,
91 	0xe5, 0x25, 0xb2, 0xb4, 0x39, 0xa7, 0xfc, 0x3d,
92 	0x70, 0xbe, 0xe9, 0x81, 0x0d, 0x4a, 0x62, 0xa9,
93 	0xab, 0x4a, 0x91, 0xc0, 0x7d, 0x2d, 0x23, 0x1e,
94 };
95 
96 static void *
97 dummy_open(const char *path)
98 {
99 	(void)path;
100 
101 	return (&fake_dev_handle);
102 }
103 
104 static void
105 dummy_close(void *handle)
106 {
107 	assert(handle == &fake_dev_handle);
108 }
109 
110 static int
111 dummy_read(void *handle, unsigned char *buf, size_t len, int ms)
112 {
113 	(void)handle;
114 	(void)buf;
115 	(void)len;
116 	(void)ms;
117 
118 	abort();
119 	/* NOTREACHED */
120 }
121 
122 static int
123 dummy_write(void *handle, const unsigned char *buf, size_t len)
124 {
125 	(void)handle;
126 	(void)buf;
127 	(void)len;
128 
129 	abort();
130 	/* NOTREACHED */
131 }
132 
133 static fido_assert_t *
134 alloc_assert(void)
135 {
136 	fido_assert_t *a;
137 
138 	a = fido_assert_new();
139 	assert(a != NULL);
140 
141 	return (a);
142 }
143 
144 static void
145 free_assert(fido_assert_t *a)
146 {
147 	fido_assert_free(&a);
148 	assert(a == NULL);
149 }
150 
151 static fido_dev_t *
152 alloc_dev(void)
153 {
154 	fido_dev_t *d;
155 
156 	d = fido_dev_new();
157 	assert(d != NULL);
158 
159 	return (d);
160 }
161 
162 static void
163 free_dev(fido_dev_t *d)
164 {
165 	fido_dev_free(&d);
166 	assert(d == NULL);
167 }
168 
169 static es256_pk_t *
170 alloc_es256_pk(void)
171 {
172 	es256_pk_t *pk;
173 
174 	pk = es256_pk_new();
175 	assert(pk != NULL);
176 
177 	return (pk);
178 }
179 
180 static void
181 free_es256_pk(es256_pk_t *pk)
182 {
183 	es256_pk_free(&pk);
184 	assert(pk == NULL);
185 }
186 
187 static rs256_pk_t *
188 alloc_rs256_pk(void)
189 {
190 	rs256_pk_t *pk;
191 
192 	pk = rs256_pk_new();
193 	assert(pk != NULL);
194 
195 	return (pk);
196 }
197 
198 static void
199 free_rs256_pk(rs256_pk_t *pk)
200 {
201 	rs256_pk_free(&pk);
202 	assert(pk == NULL);
203 }
204 
205 static eddsa_pk_t *
206 alloc_eddsa_pk(void)
207 {
208 	eddsa_pk_t *pk;
209 
210 	pk = eddsa_pk_new();
211 	assert(pk != NULL);
212 
213 	return (pk);
214 }
215 
216 static void
217 free_eddsa_pk(eddsa_pk_t *pk)
218 {
219 	eddsa_pk_free(&pk);
220 	assert(pk == NULL);
221 }
222 
223 static void
224 empty_assert(fido_dev_t *d, fido_assert_t *a, size_t idx)
225 {
226 	es256_pk_t *es256;
227 	rs256_pk_t *rs256;
228 	eddsa_pk_t *eddsa;
229 
230 	assert(fido_assert_flags(a, idx) == 0);
231 	assert(fido_assert_authdata_len(a, idx) == 0);
232 	assert(fido_assert_authdata_ptr(a, idx) == NULL);
233 	assert(fido_assert_clientdata_hash_len(a) == 0);
234 	assert(fido_assert_clientdata_hash_ptr(a) == NULL);
235 	assert(fido_assert_id_len(a, idx) == 0);
236 	assert(fido_assert_id_ptr(a, idx) == NULL);
237 	assert(fido_assert_rp_id(a) == NULL);
238 	assert(fido_assert_sig_len(a, idx) == 0);
239 	assert(fido_assert_sig_ptr(a, idx) == NULL);
240 	assert(fido_assert_user_display_name(a, idx) == NULL);
241 	assert(fido_assert_user_icon(a, idx) == NULL);
242 	assert(fido_assert_user_id_len(a, idx) == 0);
243 	assert(fido_assert_user_id_ptr(a, idx) == NULL);
244 	assert(fido_assert_user_name(a, idx) == NULL);
245 
246 	es256 = alloc_es256_pk();
247 	rs256 = alloc_rs256_pk();
248 	eddsa = alloc_eddsa_pk();
249 
250 	fido_dev_force_u2f(d);
251 	assert(fido_dev_get_assert(d, a, NULL) == FIDO_ERR_INVALID_ARGUMENT);
252 	assert(fido_dev_get_assert(d, a, "") == FIDO_ERR_INVALID_ARGUMENT);
253 	assert(fido_assert_verify(a, idx, COSE_ES256,
254 	    NULL) == FIDO_ERR_INVALID_ARGUMENT);
255 	assert(fido_assert_verify(a, idx, COSE_ES256,
256 	    es256) == FIDO_ERR_INVALID_ARGUMENT);
257 	assert(fido_assert_verify(a, idx, -1,
258 	    es256) == FIDO_ERR_INVALID_ARGUMENT);
259 	assert(fido_assert_verify(a, idx, COSE_RS256,
260 	    rs256) == FIDO_ERR_INVALID_ARGUMENT);
261 	assert(fido_assert_verify(a, idx, COSE_EDDSA,
262 	    eddsa) == FIDO_ERR_INVALID_ARGUMENT);
263 
264 	fido_dev_force_fido2(d);
265 	assert(fido_dev_get_assert(d, a, NULL) == FIDO_ERR_INVALID_ARGUMENT);
266 	assert(fido_dev_get_assert(d, a, "") == FIDO_ERR_INVALID_ARGUMENT);
267 	assert(fido_assert_verify(a, idx, COSE_ES256,
268 	    NULL) == FIDO_ERR_INVALID_ARGUMENT);
269 	assert(fido_assert_verify(a, idx, COSE_ES256,
270 	    es256) == FIDO_ERR_INVALID_ARGUMENT);
271 	assert(fido_assert_verify(a, idx, -1,
272 	    es256) == FIDO_ERR_INVALID_ARGUMENT);
273 	assert(fido_assert_verify(a, idx, COSE_RS256,
274 	    rs256) == FIDO_ERR_INVALID_ARGUMENT);
275 	assert(fido_assert_verify(a, idx, COSE_EDDSA,
276 	    eddsa) == FIDO_ERR_INVALID_ARGUMENT);
277 
278 	free_es256_pk(es256);
279 	free_rs256_pk(rs256);
280 	free_eddsa_pk(eddsa);
281 }
282 
283 static void
284 empty_assert_tests(void)
285 {
286 	fido_assert_t *a;
287 	fido_dev_t *d;
288 	fido_dev_io_t io_f;
289 	size_t i;
290 
291 	memset(&io_f, 0, sizeof(io_f));
292 
293 	a = alloc_assert();
294 	d = alloc_dev();
295 
296 	io_f.open = dummy_open;
297 	io_f.close = dummy_close;
298 	io_f.read = dummy_read;
299 	io_f.write = dummy_write;
300 
301 	assert(fido_dev_set_io_functions(d, &io_f) == FIDO_OK);
302 
303 	empty_assert(d, a, 0);
304 	assert(fido_assert_count(a) == 0);
305 	assert(fido_assert_set_count(a, 4) == FIDO_OK);
306 	assert(fido_assert_count(a) == 4);
307 	for (i = 0; i < 4; i++) {
308 		empty_assert(d, a, i);
309 	}
310 	empty_assert(d, a, 10);
311 	free_assert(a);
312 	free_dev(d);
313 }
314 
315 static void
316 valid_assert(void)
317 {
318 	fido_assert_t *a;
319 	es256_pk_t *es256;
320 	rs256_pk_t *rs256;
321 	eddsa_pk_t *eddsa;
322 
323 	a = alloc_assert();
324 	es256 = alloc_es256_pk();
325 	rs256 = alloc_rs256_pk();
326 	eddsa = alloc_eddsa_pk();
327 	assert(es256_pk_from_ptr(es256, es256_pk, sizeof(es256_pk)) == FIDO_OK);
328 	assert(fido_assert_set_clientdata_hash(a, cdh, sizeof(cdh)) == FIDO_OK);
329 	assert(fido_assert_set_rp(a, "localhost") == FIDO_OK);
330 	assert(fido_assert_set_count(a, 1) == FIDO_OK);
331 	assert(fido_assert_set_authdata(a, 0, authdata,
332 	    sizeof(authdata)) == FIDO_OK);
333 	assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK);
334 	assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK);
335 	assert(fido_assert_set_sig(a, 0, sig, sizeof(sig)) == FIDO_OK);
336 	assert(fido_assert_verify(a, 0, COSE_ES256, es256) == FIDO_OK);
337 	assert(fido_assert_verify(a, 0, COSE_RS256, rs256) == FIDO_ERR_INVALID_SIG);
338 	assert(fido_assert_verify(a, 0, COSE_EDDSA, eddsa) == FIDO_ERR_INVALID_SIG);
339 	free_assert(a);
340 	free_es256_pk(es256);
341 	free_rs256_pk(rs256);
342 	free_eddsa_pk(eddsa);
343 }
344 
345 static void
346 no_cdh(void)
347 {
348 	fido_assert_t *a;
349 	es256_pk_t *pk;
350 
351 	a = alloc_assert();
352 	pk = alloc_es256_pk();
353 	assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK);
354 	assert(fido_assert_set_rp(a, "localhost") == FIDO_OK);
355 	assert(fido_assert_set_count(a, 1) == FIDO_OK);
356 	assert(fido_assert_set_authdata(a, 0, authdata,
357 	    sizeof(authdata)) == FIDO_OK);
358 	assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK);
359 	assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK);
360 	assert(fido_assert_set_sig(a, 0, sig, sizeof(sig)) == FIDO_OK);
361 	assert(fido_assert_verify(a, 0, COSE_ES256,
362 	    pk) == FIDO_ERR_INVALID_ARGUMENT);
363 	free_assert(a);
364 	free_es256_pk(pk);
365 }
366 
367 static void
368 no_rp(void)
369 {
370 	fido_assert_t *a;
371 	es256_pk_t *pk;
372 
373 	a = alloc_assert();
374 	pk = alloc_es256_pk();
375 	assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK);
376 	assert(fido_assert_set_clientdata_hash(a, cdh, sizeof(cdh)) == FIDO_OK);
377 	assert(fido_assert_set_count(a, 1) == FIDO_OK);
378 	assert(fido_assert_set_authdata(a, 0, authdata,
379 	    sizeof(authdata)) == FIDO_OK);
380 	assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK);
381 	assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK);
382 	assert(fido_assert_set_sig(a, 0, sig, sizeof(sig)) == FIDO_OK);
383 	assert(fido_assert_verify(a, 0, COSE_ES256,
384 	    pk) == FIDO_ERR_INVALID_ARGUMENT);
385 	free_assert(a);
386 	free_es256_pk(pk);
387 }
388 
389 static void
390 no_authdata(void)
391 {
392 	fido_assert_t *a;
393 	es256_pk_t *pk;
394 
395 	a = alloc_assert();
396 	pk = alloc_es256_pk();
397 	assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK);
398 	assert(fido_assert_set_clientdata_hash(a, cdh, sizeof(cdh)) == FIDO_OK);
399 	assert(fido_assert_set_rp(a, "localhost") == FIDO_OK);
400 	assert(fido_assert_set_count(a, 1) == FIDO_OK);
401 	assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK);
402 	assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK);
403 	assert(fido_assert_set_sig(a, 0, sig, sizeof(sig)) == FIDO_OK);
404 	assert(fido_assert_verify(a, 0, COSE_ES256,
405 	    pk) == FIDO_ERR_INVALID_ARGUMENT);
406 	free_assert(a);
407 	free_es256_pk(pk);
408 }
409 
410 static void
411 no_sig(void)
412 {
413 	fido_assert_t *a;
414 	es256_pk_t *pk;
415 
416 	a = alloc_assert();
417 	pk = alloc_es256_pk();
418 	assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK);
419 	assert(fido_assert_set_clientdata_hash(a, cdh, sizeof(cdh)) == FIDO_OK);
420 	assert(fido_assert_set_rp(a, "localhost") == FIDO_OK);
421 	assert(fido_assert_set_count(a, 1) == FIDO_OK);
422 	assert(fido_assert_set_authdata(a, 0, authdata,
423 	    sizeof(authdata)) == FIDO_OK);
424 	assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK);
425 	assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK);
426 	assert(fido_assert_verify(a, 0, COSE_ES256,
427 	    pk) == FIDO_ERR_INVALID_ARGUMENT);
428 	free_assert(a);
429 	free_es256_pk(pk);
430 }
431 
432 static void
433 junk_cdh(void)
434 {
435 	fido_assert_t *a;
436 	es256_pk_t *pk;
437 	unsigned char *junk;
438 
439 	junk = malloc(sizeof(cdh));
440 	assert(junk != NULL);
441 	memcpy(junk, cdh, sizeof(cdh));
442 	junk[0] = (unsigned char)~junk[0];
443 
444 	a = alloc_assert();
445 	pk = alloc_es256_pk();
446 	assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK);
447 	assert(fido_assert_set_clientdata_hash(a, junk, sizeof(cdh)) == FIDO_OK);
448 	assert(fido_assert_set_rp(a, "localhost") == FIDO_OK);
449 	assert(fido_assert_set_count(a, 1) == FIDO_OK);
450 	assert(fido_assert_set_authdata(a, 0, authdata,
451 	    sizeof(authdata)) == FIDO_OK);
452 	assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK);
453 	assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK);
454 	assert(fido_assert_set_sig(a, 0, sig, sizeof(sig)) == FIDO_OK);
455 	assert(fido_assert_verify(a, 0, COSE_ES256, pk) == FIDO_ERR_INVALID_SIG);
456 	free_assert(a);
457 	free_es256_pk(pk);
458 	free(junk);
459 }
460 
461 static void
462 junk_rp(void)
463 {
464 	fido_assert_t *a;
465 	es256_pk_t *pk;
466 
467 	a = alloc_assert();
468 	pk = alloc_es256_pk();
469 	assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK);
470 	assert(fido_assert_set_clientdata_hash(a, cdh, sizeof(cdh)) == FIDO_OK);
471 	assert(fido_assert_set_rp(a, "potato") == FIDO_OK);
472 	assert(fido_assert_set_count(a, 1) == FIDO_OK);
473 	assert(fido_assert_set_authdata(a, 0, authdata,
474 	    sizeof(authdata)) == FIDO_OK);
475 	assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK);
476 	assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK);
477 	assert(fido_assert_set_sig(a, 0, sig, sizeof(sig)) == FIDO_OK);
478 	assert(fido_assert_verify(a, 0, COSE_ES256,
479 	    pk) == FIDO_ERR_INVALID_PARAM);
480 	free_assert(a);
481 	free_es256_pk(pk);
482 }
483 
484 static void
485 junk_authdata(void)
486 {
487 	fido_assert_t *a;
488 	unsigned char *junk;
489 
490 	junk = malloc(sizeof(authdata));
491 	assert(junk != NULL);
492 	memcpy(junk, authdata, sizeof(authdata));
493 	junk[0] = (unsigned char)~junk[0];
494 
495 	a = alloc_assert();
496 	assert(fido_assert_set_count(a, 1) == FIDO_OK);
497 	assert(fido_assert_set_authdata(a, 0, junk,
498 	    sizeof(authdata)) == FIDO_ERR_INVALID_ARGUMENT);
499 	free_assert(a);
500 	free(junk);
501 }
502 
503 static void
504 junk_sig(void)
505 {
506 	fido_assert_t *a;
507 	es256_pk_t *pk;
508 	unsigned char *junk;
509 
510 	junk = malloc(sizeof(sig));
511 	assert(junk != NULL);
512 	memcpy(junk, sig, sizeof(sig));
513 	junk[0] = (unsigned char)~junk[0];
514 
515 	a = alloc_assert();
516 	pk = alloc_es256_pk();
517 	assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK);
518 	assert(fido_assert_set_clientdata_hash(a, cdh, sizeof(cdh)) == FIDO_OK);
519 	assert(fido_assert_set_rp(a, "localhost") == FIDO_OK);
520 	assert(fido_assert_set_count(a, 1) == FIDO_OK);
521 	assert(fido_assert_set_authdata(a, 0, authdata,
522 	    sizeof(authdata)) == FIDO_OK);
523 	assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK);
524 	assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK);
525 	assert(fido_assert_set_sig(a, 0, junk, sizeof(sig)) == FIDO_OK);
526 	assert(fido_assert_verify(a, 0, COSE_ES256, pk) == FIDO_ERR_INVALID_SIG);
527 	free_assert(a);
528 	free_es256_pk(pk);
529 	free(junk);
530 }
531 
532 static void
533 wrong_options(void)
534 {
535 	fido_assert_t *a;
536 	es256_pk_t *pk;
537 
538 	a = alloc_assert();
539 	pk = alloc_es256_pk();
540 	assert(es256_pk_from_ptr(pk, es256_pk, sizeof(es256_pk)) == FIDO_OK);
541 	assert(fido_assert_set_clientdata_hash(a, cdh, sizeof(cdh)) == FIDO_OK);
542 	assert(fido_assert_set_rp(a, "localhost") == FIDO_OK);
543 	assert(fido_assert_set_count(a, 1) == FIDO_OK);
544 	assert(fido_assert_set_authdata(a, 0, authdata,
545 	    sizeof(authdata)) == FIDO_OK);
546 	assert(fido_assert_set_up(a, FIDO_OPT_TRUE) == FIDO_OK);
547 	assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK);
548 	assert(fido_assert_set_sig(a, 0, sig, sizeof(sig)) == FIDO_OK);
549 	assert(fido_assert_verify(a, 0, COSE_ES256,
550 	    pk) == FIDO_ERR_INVALID_PARAM);
551 	assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK);
552 	assert(fido_assert_set_uv(a, FIDO_OPT_TRUE) == FIDO_OK);
553 	assert(fido_assert_verify(a, 0, COSE_ES256,
554 	    pk) == FIDO_ERR_INVALID_PARAM);
555 	assert(fido_assert_set_up(a, FIDO_OPT_FALSE) == FIDO_OK);
556 	assert(fido_assert_set_uv(a, FIDO_OPT_FALSE) == FIDO_OK);
557 	assert(fido_assert_verify(a, 0, COSE_ES256, pk) == FIDO_OK);
558 	free_assert(a);
559 	free_es256_pk(pk);
560 }
561 
562 /* cbor_serialize_alloc misuse */
563 static void
564 bad_cbor_serialize(void)
565 {
566 	fido_assert_t *a;
567 
568 	a = alloc_assert();
569 	assert(fido_assert_set_count(a, 1) == FIDO_OK);
570 	assert(fido_assert_set_authdata(a, 0, authdata,
571 	    sizeof(authdata)) == FIDO_OK);
572 	assert(fido_assert_authdata_len(a, 0) == sizeof(authdata));
573 	free_assert(a);
574 }
575 
576 /* rs256 <-> EVP_PKEY transformations */
577 static void
578 rs256_PKEY(void)
579 {
580 	rs256_pk_t *pk1, *pk2;
581 	EVP_PKEY *pkey;
582 
583 	pk1 = alloc_rs256_pk();
584 	pk2 = alloc_rs256_pk();
585 
586 	assert(rs256_pk_from_ptr(pk1, rs256_pk, sizeof(rs256_pk)) == FIDO_OK);
587 	assert((pkey = rs256_pk_to_EVP_PKEY(pk1)) != NULL);
588 	assert(rs256_pk_from_EVP_PKEY(pk2, pkey) == FIDO_OK);
589 	assert(memcmp(pk1, pk2, sizeof(*pk1)) == 0);
590 
591 	free_rs256_pk(pk1);
592 	free_rs256_pk(pk2);
593 	EVP_PKEY_free(pkey);
594 }
595 
596 /* es256 <-> EVP_PKEY transformations */
597 static void
598 es256_PKEY(void)
599 {
600 	es256_pk_t *pk1, *pk2;
601 	EVP_PKEY *pkey;
602 
603 	pk1 = alloc_es256_pk();
604 	pk2 = alloc_es256_pk();
605 
606 	assert(es256_pk_from_ptr(pk1, es256_pk, sizeof(es256_pk)) == FIDO_OK);
607 	assert((pkey = es256_pk_to_EVP_PKEY(pk1)) != NULL);
608 	assert(es256_pk_from_EVP_PKEY(pk2, pkey) == FIDO_OK);
609 	assert(memcmp(pk1, pk2, sizeof(*pk1)) == 0);
610 
611 	free_es256_pk(pk1);
612 	free_es256_pk(pk2);
613 	EVP_PKEY_free(pkey);
614 }
615 
616 int
617 main(void)
618 {
619 	fido_init(0);
620 
621 	empty_assert_tests();
622 	valid_assert();
623 	no_cdh();
624 	no_rp();
625 	no_authdata();
626 	no_sig();
627 	junk_cdh();
628 	junk_rp();
629 	junk_authdata();
630 	junk_sig();
631 	wrong_options();
632 	bad_cbor_serialize();
633 	rs256_PKEY();
634 	es256_PKEY();
635 
636 	exit(0);
637 }
638