1*e0c4386eSCy Schubert /*
2*e0c4386eSCy Schubert * Copyright 2015-2021 The OpenSSL Project Authors. All Rights Reserved.
3*e0c4386eSCy Schubert *
4*e0c4386eSCy Schubert * Licensed under the Apache License 2.0 (the "License"). You may not use
5*e0c4386eSCy Schubert * this file except in compliance with the License. You can obtain a copy
6*e0c4386eSCy Schubert * in the file LICENSE in the source distribution or at
7*e0c4386eSCy Schubert * https://www.openssl.org/source/license.html
8*e0c4386eSCy Schubert */
9*e0c4386eSCy Schubert
10*e0c4386eSCy Schubert #include <stdio.h>
11*e0c4386eSCy Schubert #include <string.h>
12*e0c4386eSCy Schubert #include <stdlib.h>
13*e0c4386eSCy Schubert #include <openssl/crypto.h>
14*e0c4386eSCy Schubert
15*e0c4386eSCy Schubert #include "testutil.h"
16*e0c4386eSCy Schubert
17*e0c4386eSCy Schubert static long saved_argl;
18*e0c4386eSCy Schubert static void *saved_argp;
19*e0c4386eSCy Schubert static int saved_idx;
20*e0c4386eSCy Schubert static int saved_idx2;
21*e0c4386eSCy Schubert static int saved_idx3;
22*e0c4386eSCy Schubert static int gbl_result;
23*e0c4386eSCy Schubert
24*e0c4386eSCy Schubert /*
25*e0c4386eSCy Schubert * SIMPLE EX_DATA IMPLEMENTATION
26*e0c4386eSCy Schubert * Apps explicitly set/get ex_data as needed
27*e0c4386eSCy Schubert */
28*e0c4386eSCy Schubert
exnew(void * parent,void * ptr,CRYPTO_EX_DATA * ad,int idx,long argl,void * argp)29*e0c4386eSCy Schubert static void exnew(void *parent, void *ptr, CRYPTO_EX_DATA *ad,
30*e0c4386eSCy Schubert int idx, long argl, void *argp)
31*e0c4386eSCy Schubert {
32*e0c4386eSCy Schubert if (!TEST_int_eq(idx, saved_idx)
33*e0c4386eSCy Schubert || !TEST_long_eq(argl, saved_argl)
34*e0c4386eSCy Schubert || !TEST_ptr_eq(argp, saved_argp)
35*e0c4386eSCy Schubert || !TEST_ptr_null(ptr))
36*e0c4386eSCy Schubert gbl_result = 0;
37*e0c4386eSCy Schubert }
38*e0c4386eSCy Schubert
exdup(CRYPTO_EX_DATA * to,const CRYPTO_EX_DATA * from,void ** from_d,int idx,long argl,void * argp)39*e0c4386eSCy Schubert static int exdup(CRYPTO_EX_DATA *to, const CRYPTO_EX_DATA *from,
40*e0c4386eSCy Schubert void **from_d, int idx, long argl, void *argp)
41*e0c4386eSCy Schubert {
42*e0c4386eSCy Schubert if (!TEST_int_eq(idx, saved_idx)
43*e0c4386eSCy Schubert || !TEST_long_eq(argl, saved_argl)
44*e0c4386eSCy Schubert || !TEST_ptr_eq(argp, saved_argp)
45*e0c4386eSCy Schubert || !TEST_ptr(from_d))
46*e0c4386eSCy Schubert gbl_result = 0;
47*e0c4386eSCy Schubert return 1;
48*e0c4386eSCy Schubert }
49*e0c4386eSCy Schubert
exfree(void * parent,void * ptr,CRYPTO_EX_DATA * ad,int idx,long argl,void * argp)50*e0c4386eSCy Schubert static void exfree(void *parent, void *ptr, CRYPTO_EX_DATA *ad,
51*e0c4386eSCy Schubert int idx, long argl, void *argp)
52*e0c4386eSCy Schubert {
53*e0c4386eSCy Schubert if (!TEST_int_eq(idx, saved_idx)
54*e0c4386eSCy Schubert || !TEST_long_eq(argl, saved_argl)
55*e0c4386eSCy Schubert || !TEST_ptr_eq(argp, saved_argp))
56*e0c4386eSCy Schubert gbl_result = 0;
57*e0c4386eSCy Schubert }
58*e0c4386eSCy Schubert
59*e0c4386eSCy Schubert /*
60*e0c4386eSCy Schubert * PRE-ALLOCATED EX_DATA IMPLEMENTATION
61*e0c4386eSCy Schubert * Extended data structure is allocated in exnew2/freed in exfree2
62*e0c4386eSCy Schubert * Data is stored inside extended data structure
63*e0c4386eSCy Schubert */
64*e0c4386eSCy Schubert
65*e0c4386eSCy Schubert typedef struct myobj_ex_data_st {
66*e0c4386eSCy Schubert char *hello;
67*e0c4386eSCy Schubert int new;
68*e0c4386eSCy Schubert int dup;
69*e0c4386eSCy Schubert } MYOBJ_EX_DATA;
70*e0c4386eSCy Schubert
exnew2(void * parent,void * ptr,CRYPTO_EX_DATA * ad,int idx,long argl,void * argp)71*e0c4386eSCy Schubert static void exnew2(void *parent, void *ptr, CRYPTO_EX_DATA *ad,
72*e0c4386eSCy Schubert int idx, long argl, void *argp)
73*e0c4386eSCy Schubert {
74*e0c4386eSCy Schubert MYOBJ_EX_DATA *ex_data = OPENSSL_zalloc(sizeof(*ex_data));
75*e0c4386eSCy Schubert
76*e0c4386eSCy Schubert if (!TEST_true(idx == saved_idx2 || idx == saved_idx3)
77*e0c4386eSCy Schubert || !TEST_long_eq(argl, saved_argl)
78*e0c4386eSCy Schubert || !TEST_ptr_eq(argp, saved_argp)
79*e0c4386eSCy Schubert || !TEST_ptr_null(ptr)
80*e0c4386eSCy Schubert || !TEST_ptr(ex_data)
81*e0c4386eSCy Schubert || !TEST_true(CRYPTO_set_ex_data(ad, idx, ex_data))) {
82*e0c4386eSCy Schubert gbl_result = 0;
83*e0c4386eSCy Schubert OPENSSL_free(ex_data);
84*e0c4386eSCy Schubert } else {
85*e0c4386eSCy Schubert ex_data->new = 1;
86*e0c4386eSCy Schubert }
87*e0c4386eSCy Schubert }
88*e0c4386eSCy Schubert
exdup2(CRYPTO_EX_DATA * to,const CRYPTO_EX_DATA * from,void ** from_d,int idx,long argl,void * argp)89*e0c4386eSCy Schubert static int exdup2(CRYPTO_EX_DATA *to, const CRYPTO_EX_DATA *from,
90*e0c4386eSCy Schubert void **from_d, int idx, long argl, void *argp)
91*e0c4386eSCy Schubert {
92*e0c4386eSCy Schubert MYOBJ_EX_DATA **update_ex_data = (MYOBJ_EX_DATA**)from_d;
93*e0c4386eSCy Schubert MYOBJ_EX_DATA *ex_data = NULL;
94*e0c4386eSCy Schubert
95*e0c4386eSCy Schubert if (!TEST_true(idx == saved_idx2 || idx == saved_idx3)
96*e0c4386eSCy Schubert || !TEST_long_eq(argl, saved_argl)
97*e0c4386eSCy Schubert || !TEST_ptr_eq(argp, saved_argp)
98*e0c4386eSCy Schubert || !TEST_ptr(from_d)
99*e0c4386eSCy Schubert || !TEST_ptr(*update_ex_data)
100*e0c4386eSCy Schubert || !TEST_ptr(ex_data = CRYPTO_get_ex_data(to, idx))
101*e0c4386eSCy Schubert || !TEST_true(ex_data->new)) {
102*e0c4386eSCy Schubert gbl_result = 0;
103*e0c4386eSCy Schubert } else {
104*e0c4386eSCy Schubert /* Copy hello over */
105*e0c4386eSCy Schubert ex_data->hello = (*update_ex_data)->hello;
106*e0c4386eSCy Schubert /* indicate this is a dup */
107*e0c4386eSCy Schubert ex_data->dup = 1;
108*e0c4386eSCy Schubert /* Keep my original ex_data */
109*e0c4386eSCy Schubert *update_ex_data = ex_data;
110*e0c4386eSCy Schubert }
111*e0c4386eSCy Schubert return 1;
112*e0c4386eSCy Schubert }
113*e0c4386eSCy Schubert
exfree2(void * parent,void * ptr,CRYPTO_EX_DATA * ad,int idx,long argl,void * argp)114*e0c4386eSCy Schubert static void exfree2(void *parent, void *ptr, CRYPTO_EX_DATA *ad,
115*e0c4386eSCy Schubert int idx, long argl, void *argp)
116*e0c4386eSCy Schubert {
117*e0c4386eSCy Schubert MYOBJ_EX_DATA *ex_data = CRYPTO_get_ex_data(ad, idx);
118*e0c4386eSCy Schubert
119*e0c4386eSCy Schubert if (!TEST_true(idx == saved_idx2 || idx == saved_idx3)
120*e0c4386eSCy Schubert || !TEST_long_eq(argl, saved_argl)
121*e0c4386eSCy Schubert || !TEST_ptr_eq(argp, saved_argp)
122*e0c4386eSCy Schubert || !TEST_true(CRYPTO_set_ex_data(ad, idx, NULL)))
123*e0c4386eSCy Schubert gbl_result = 0;
124*e0c4386eSCy Schubert OPENSSL_free(ex_data);
125*e0c4386eSCy Schubert }
126*e0c4386eSCy Schubert
127*e0c4386eSCy Schubert typedef struct myobj_st {
128*e0c4386eSCy Schubert CRYPTO_EX_DATA ex_data;
129*e0c4386eSCy Schubert int id;
130*e0c4386eSCy Schubert int st;
131*e0c4386eSCy Schubert } MYOBJ;
132*e0c4386eSCy Schubert
MYOBJ_new(void)133*e0c4386eSCy Schubert static MYOBJ *MYOBJ_new(void)
134*e0c4386eSCy Schubert {
135*e0c4386eSCy Schubert static int count = 0;
136*e0c4386eSCy Schubert MYOBJ *obj = OPENSSL_malloc(sizeof(*obj));
137*e0c4386eSCy Schubert
138*e0c4386eSCy Schubert if (obj != NULL) {
139*e0c4386eSCy Schubert obj->id = ++count;
140*e0c4386eSCy Schubert obj->st = CRYPTO_new_ex_data(CRYPTO_EX_INDEX_APP, obj, &obj->ex_data);
141*e0c4386eSCy Schubert }
142*e0c4386eSCy Schubert return obj;
143*e0c4386eSCy Schubert }
144*e0c4386eSCy Schubert
MYOBJ_sethello(MYOBJ * obj,char * cp)145*e0c4386eSCy Schubert static void MYOBJ_sethello(MYOBJ *obj, char *cp)
146*e0c4386eSCy Schubert {
147*e0c4386eSCy Schubert obj->st = CRYPTO_set_ex_data(&obj->ex_data, saved_idx, cp);
148*e0c4386eSCy Schubert if (!TEST_int_eq(obj->st, 1))
149*e0c4386eSCy Schubert gbl_result = 0;
150*e0c4386eSCy Schubert }
151*e0c4386eSCy Schubert
MYOBJ_gethello(MYOBJ * obj)152*e0c4386eSCy Schubert static char *MYOBJ_gethello(MYOBJ *obj)
153*e0c4386eSCy Schubert {
154*e0c4386eSCy Schubert return CRYPTO_get_ex_data(&obj->ex_data, saved_idx);
155*e0c4386eSCy Schubert }
156*e0c4386eSCy Schubert
MYOBJ_sethello2(MYOBJ * obj,char * cp)157*e0c4386eSCy Schubert static void MYOBJ_sethello2(MYOBJ *obj, char *cp)
158*e0c4386eSCy Schubert {
159*e0c4386eSCy Schubert MYOBJ_EX_DATA* ex_data = CRYPTO_get_ex_data(&obj->ex_data, saved_idx2);
160*e0c4386eSCy Schubert
161*e0c4386eSCy Schubert if (TEST_ptr(ex_data))
162*e0c4386eSCy Schubert ex_data->hello = cp;
163*e0c4386eSCy Schubert else
164*e0c4386eSCy Schubert obj->st = gbl_result = 0;
165*e0c4386eSCy Schubert }
166*e0c4386eSCy Schubert
MYOBJ_gethello2(MYOBJ * obj)167*e0c4386eSCy Schubert static char *MYOBJ_gethello2(MYOBJ *obj)
168*e0c4386eSCy Schubert {
169*e0c4386eSCy Schubert MYOBJ_EX_DATA* ex_data = CRYPTO_get_ex_data(&obj->ex_data, saved_idx2);
170*e0c4386eSCy Schubert
171*e0c4386eSCy Schubert if (TEST_ptr(ex_data))
172*e0c4386eSCy Schubert return ex_data->hello;
173*e0c4386eSCy Schubert
174*e0c4386eSCy Schubert obj->st = gbl_result = 0;
175*e0c4386eSCy Schubert return NULL;
176*e0c4386eSCy Schubert }
177*e0c4386eSCy Schubert
MYOBJ_allochello3(MYOBJ * obj,char * cp)178*e0c4386eSCy Schubert static void MYOBJ_allochello3(MYOBJ *obj, char *cp)
179*e0c4386eSCy Schubert {
180*e0c4386eSCy Schubert MYOBJ_EX_DATA* ex_data = NULL;
181*e0c4386eSCy Schubert
182*e0c4386eSCy Schubert if (TEST_ptr_null(ex_data = CRYPTO_get_ex_data(&obj->ex_data, saved_idx3))
183*e0c4386eSCy Schubert && TEST_true(CRYPTO_alloc_ex_data(CRYPTO_EX_INDEX_APP, obj,
184*e0c4386eSCy Schubert &obj->ex_data, saved_idx3))
185*e0c4386eSCy Schubert && TEST_ptr(ex_data = CRYPTO_get_ex_data(&obj->ex_data, saved_idx3)))
186*e0c4386eSCy Schubert ex_data->hello = cp;
187*e0c4386eSCy Schubert else
188*e0c4386eSCy Schubert obj->st = gbl_result = 0;
189*e0c4386eSCy Schubert }
190*e0c4386eSCy Schubert
MYOBJ_gethello3(MYOBJ * obj)191*e0c4386eSCy Schubert static char *MYOBJ_gethello3(MYOBJ *obj)
192*e0c4386eSCy Schubert {
193*e0c4386eSCy Schubert MYOBJ_EX_DATA* ex_data = CRYPTO_get_ex_data(&obj->ex_data, saved_idx3);
194*e0c4386eSCy Schubert
195*e0c4386eSCy Schubert if (TEST_ptr(ex_data))
196*e0c4386eSCy Schubert return ex_data->hello;
197*e0c4386eSCy Schubert
198*e0c4386eSCy Schubert obj->st = gbl_result = 0;
199*e0c4386eSCy Schubert return NULL;
200*e0c4386eSCy Schubert }
201*e0c4386eSCy Schubert
MYOBJ_free(MYOBJ * obj)202*e0c4386eSCy Schubert static void MYOBJ_free(MYOBJ *obj)
203*e0c4386eSCy Schubert {
204*e0c4386eSCy Schubert if (obj != NULL) {
205*e0c4386eSCy Schubert CRYPTO_free_ex_data(CRYPTO_EX_INDEX_APP, obj, &obj->ex_data);
206*e0c4386eSCy Schubert OPENSSL_free(obj);
207*e0c4386eSCy Schubert }
208*e0c4386eSCy Schubert }
209*e0c4386eSCy Schubert
MYOBJ_dup(MYOBJ * in)210*e0c4386eSCy Schubert static MYOBJ *MYOBJ_dup(MYOBJ *in)
211*e0c4386eSCy Schubert {
212*e0c4386eSCy Schubert MYOBJ *obj = MYOBJ_new();
213*e0c4386eSCy Schubert
214*e0c4386eSCy Schubert if (obj != NULL)
215*e0c4386eSCy Schubert obj->st |= CRYPTO_dup_ex_data(CRYPTO_EX_INDEX_APP, &obj->ex_data,
216*e0c4386eSCy Schubert &in->ex_data);
217*e0c4386eSCy Schubert return obj;
218*e0c4386eSCy Schubert }
219*e0c4386eSCy Schubert
test_exdata(void)220*e0c4386eSCy Schubert static int test_exdata(void)
221*e0c4386eSCy Schubert {
222*e0c4386eSCy Schubert MYOBJ *t1 = NULL, *t2 = NULL, *t3 = NULL;
223*e0c4386eSCy Schubert MYOBJ_EX_DATA *ex_data = NULL;
224*e0c4386eSCy Schubert const char *cp;
225*e0c4386eSCy Schubert char *p;
226*e0c4386eSCy Schubert int res = 0;
227*e0c4386eSCy Schubert
228*e0c4386eSCy Schubert gbl_result = 1;
229*e0c4386eSCy Schubert
230*e0c4386eSCy Schubert if (!TEST_ptr(p = OPENSSL_strdup("hello world")))
231*e0c4386eSCy Schubert return 0;
232*e0c4386eSCy Schubert saved_argl = 21;
233*e0c4386eSCy Schubert if (!TEST_ptr(saved_argp = OPENSSL_malloc(1)))
234*e0c4386eSCy Schubert goto err;
235*e0c4386eSCy Schubert saved_idx = CRYPTO_get_ex_new_index(CRYPTO_EX_INDEX_APP,
236*e0c4386eSCy Schubert saved_argl, saved_argp,
237*e0c4386eSCy Schubert exnew, exdup, exfree);
238*e0c4386eSCy Schubert saved_idx2 = CRYPTO_get_ex_new_index(CRYPTO_EX_INDEX_APP,
239*e0c4386eSCy Schubert saved_argl, saved_argp,
240*e0c4386eSCy Schubert exnew2, exdup2, exfree2);
241*e0c4386eSCy Schubert t1 = MYOBJ_new();
242*e0c4386eSCy Schubert t2 = MYOBJ_new();
243*e0c4386eSCy Schubert if (!TEST_int_eq(t1->st, 1) || !TEST_int_eq(t2->st, 1))
244*e0c4386eSCy Schubert goto err;
245*e0c4386eSCy Schubert if (!TEST_ptr(CRYPTO_get_ex_data(&t1->ex_data, saved_idx2)))
246*e0c4386eSCy Schubert goto err;
247*e0c4386eSCy Schubert
248*e0c4386eSCy Schubert /*
249*e0c4386eSCy Schubert * saved_idx3 differs from other indexes by being created after the exdata
250*e0c4386eSCy Schubert * was initialized.
251*e0c4386eSCy Schubert */
252*e0c4386eSCy Schubert saved_idx3 = CRYPTO_get_ex_new_index(CRYPTO_EX_INDEX_APP,
253*e0c4386eSCy Schubert saved_argl, saved_argp,
254*e0c4386eSCy Schubert exnew2, exdup2, exfree2);
255*e0c4386eSCy Schubert if (!TEST_ptr_null(CRYPTO_get_ex_data(&t1->ex_data, saved_idx3)))
256*e0c4386eSCy Schubert goto err;
257*e0c4386eSCy Schubert
258*e0c4386eSCy Schubert MYOBJ_sethello(t1, p);
259*e0c4386eSCy Schubert cp = MYOBJ_gethello(t1);
260*e0c4386eSCy Schubert if (!TEST_ptr_eq(cp, p))
261*e0c4386eSCy Schubert goto err;
262*e0c4386eSCy Schubert
263*e0c4386eSCy Schubert MYOBJ_sethello2(t1, p);
264*e0c4386eSCy Schubert cp = MYOBJ_gethello2(t1);
265*e0c4386eSCy Schubert if (!TEST_ptr_eq(cp, p))
266*e0c4386eSCy Schubert goto err;
267*e0c4386eSCy Schubert
268*e0c4386eSCy Schubert MYOBJ_allochello3(t1, p);
269*e0c4386eSCy Schubert cp = MYOBJ_gethello3(t1);
270*e0c4386eSCy Schubert if (!TEST_ptr_eq(cp, p))
271*e0c4386eSCy Schubert goto err;
272*e0c4386eSCy Schubert
273*e0c4386eSCy Schubert cp = MYOBJ_gethello(t2);
274*e0c4386eSCy Schubert if (!TEST_ptr_null(cp))
275*e0c4386eSCy Schubert goto err;
276*e0c4386eSCy Schubert
277*e0c4386eSCy Schubert cp = MYOBJ_gethello2(t2);
278*e0c4386eSCy Schubert if (!TEST_ptr_null(cp))
279*e0c4386eSCy Schubert goto err;
280*e0c4386eSCy Schubert
281*e0c4386eSCy Schubert t3 = MYOBJ_dup(t1);
282*e0c4386eSCy Schubert if (!TEST_int_eq(t3->st, 1))
283*e0c4386eSCy Schubert goto err;
284*e0c4386eSCy Schubert
285*e0c4386eSCy Schubert ex_data = CRYPTO_get_ex_data(&t3->ex_data, saved_idx2);
286*e0c4386eSCy Schubert if (!TEST_ptr(ex_data))
287*e0c4386eSCy Schubert goto err;
288*e0c4386eSCy Schubert if (!TEST_int_eq(ex_data->dup, 1))
289*e0c4386eSCy Schubert goto err;
290*e0c4386eSCy Schubert
291*e0c4386eSCy Schubert cp = MYOBJ_gethello(t3);
292*e0c4386eSCy Schubert if (!TEST_ptr_eq(cp, p))
293*e0c4386eSCy Schubert goto err;
294*e0c4386eSCy Schubert
295*e0c4386eSCy Schubert cp = MYOBJ_gethello2(t3);
296*e0c4386eSCy Schubert if (!TEST_ptr_eq(cp, p))
297*e0c4386eSCy Schubert goto err;
298*e0c4386eSCy Schubert
299*e0c4386eSCy Schubert cp = MYOBJ_gethello3(t3);
300*e0c4386eSCy Schubert if (!TEST_ptr_eq(cp, p))
301*e0c4386eSCy Schubert goto err;
302*e0c4386eSCy Schubert
303*e0c4386eSCy Schubert if (gbl_result)
304*e0c4386eSCy Schubert res = 1;
305*e0c4386eSCy Schubert err:
306*e0c4386eSCy Schubert MYOBJ_free(t1);
307*e0c4386eSCy Schubert MYOBJ_free(t2);
308*e0c4386eSCy Schubert MYOBJ_free(t3);
309*e0c4386eSCy Schubert OPENSSL_free(saved_argp);
310*e0c4386eSCy Schubert saved_argp = NULL;
311*e0c4386eSCy Schubert OPENSSL_free(p);
312*e0c4386eSCy Schubert return res;
313*e0c4386eSCy Schubert }
314*e0c4386eSCy Schubert
setup_tests(void)315*e0c4386eSCy Schubert int setup_tests(void)
316*e0c4386eSCy Schubert {
317*e0c4386eSCy Schubert ADD_TEST(test_exdata);
318*e0c4386eSCy Schubert return 1;
319*e0c4386eSCy Schubert }
320