Add type-safe STACKs and SETs.
[openssl.git] / crypto / asn1 / asn1_mac.h
1 /* crypto/asn1/asn1_mac.h */
2 /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
3  * All rights reserved.
4  *
5  * This package is an SSL implementation written
6  * by Eric Young (eay@cryptsoft.com).
7  * The implementation was written so as to conform with Netscapes SSL.
8  * 
9  * This library is free for commercial and non-commercial use as long as
10  * the following conditions are aheared to.  The following conditions
11  * apply to all code found in this distribution, be it the RC4, RSA,
12  * lhash, DES, etc., code; not just the SSL code.  The SSL documentation
13  * included with this distribution is covered by the same copyright terms
14  * except that the holder is Tim Hudson (tjh@cryptsoft.com).
15  * 
16  * Copyright remains Eric Young's, and as such any Copyright notices in
17  * the code are not to be removed.
18  * If this package is used in a product, Eric Young should be given attribution
19  * as the author of the parts of the library used.
20  * This can be in the form of a textual message at program startup or
21  * in documentation (online or textual) provided with the package.
22  * 
23  * Redistribution and use in source and binary forms, with or without
24  * modification, are permitted provided that the following conditions
25  * are met:
26  * 1. Redistributions of source code must retain the copyright
27  *    notice, this list of conditions and the following disclaimer.
28  * 2. Redistributions in binary form must reproduce the above copyright
29  *    notice, this list of conditions and the following disclaimer in the
30  *    documentation and/or other materials provided with the distribution.
31  * 3. All advertising materials mentioning features or use of this software
32  *    must display the following acknowledgement:
33  *    "This product includes cryptographic software written by
34  *     Eric Young (eay@cryptsoft.com)"
35  *    The word 'cryptographic' can be left out if the rouines from the library
36  *    being used are not cryptographic related :-).
37  * 4. If you include any Windows specific code (or a derivative thereof) from 
38  *    the apps directory (application code) you must include an acknowledgement:
39  *    "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
40  * 
41  * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
42  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
43  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
44  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
45  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
46  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
47  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
48  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
49  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
50  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
51  * SUCH DAMAGE.
52  * 
53  * The licence and distribution terms for any publically available version or
54  * derivative of this code cannot be changed.  i.e. this code cannot simply be
55  * copied and put under another distribution licence
56  * [including the GNU Public Licence.]
57  */
58
59 #ifndef HEADER_ASN1_MAC_H
60 #define HEADER_ASN1_MAC_H
61
62 #ifdef  __cplusplus
63 extern "C" {
64 #endif
65
66 #include "asn1.h"
67 #include "x509.h"
68 #include "pkcs7.h"
69
70 #ifndef ASN1_MAC_ERR_LIB
71 #define ASN1_MAC_ERR_LIB        ERR_LIB_ASN1
72 #endif 
73
74 #define ASN1_MAC_H_err(f,r,line) \
75         ERR_PUT_error(ASN1_MAC_ERR_LIB,(f),(r),ERR_file_name,(line))
76
77 #define M_ASN1_D2I_vars(a,type,func) \
78         ASN1_CTX c; \
79         type ret=NULL; \
80         \
81         c.pp=pp; \
82         c.q= *pp; \
83         c.error=ERR_R_NESTED_ASN1_ERROR; \
84         if ((a == NULL) || ((*a) == NULL)) \
85                 { if ((ret=(type)func()) == NULL) \
86                         { c.line=__LINE__; goto err; } } \
87         else    ret=(*a);
88
89 #define M_ASN1_D2I_Init() \
90         c.p= *pp; \
91         c.max=(length == 0)?0:(c.p+length);
92
93 #define M_ASN1_D2I_Finish_2(a) \
94         if (!asn1_Finish(&c)) \
95                 { c.line=__LINE__; goto err; } \
96         *pp=c.p; \
97         if (a != NULL) (*a)=ret; \
98         return(ret);
99
100 #define M_ASN1_D2I_Finish(a,func,e) \
101         M_ASN1_D2I_Finish_2(a); \
102 err:\
103         ASN1_MAC_H_err((e),c.error,c.line); \
104         asn1_add_error(*pp,(int)(c.q- *pp)); \
105         if ((ret != NULL) && ((a == NULL) || (*a != ret))) func(ret); \
106         return(NULL)
107
108 #define M_ASN1_D2I_start_sequence() \
109         if (!asn1_GetSequence(&c,&length)) \
110                 { c.line=__LINE__; goto err; }
111
112 #define M_ASN1_D2I_end_sequence() \
113         (((c.inf&1) == 0)?(c.slen <= 0): \
114                 (c.eos=ASN1_check_infinite_end(&c.p,c.slen)))
115
116 /* Don't use this with d2i_ASN1_BOOLEAN() */
117 #define M_ASN1_D2I_get(b,func) \
118         c.q=c.p; \
119         if (func(&(b),&c.p,c.slen) == NULL) \
120                 {c.line=__LINE__; goto err; } \
121         c.slen-=(c.p-c.q);
122
123 /* use this instead () */
124 #define M_ASN1_D2I_get_int(b,func) \
125         c.q=c.p; \
126         if (func(&(b),&c.p,c.slen) < 0) \
127                 {c.line=__LINE__; goto err; } \
128         c.slen-=(c.p-c.q);
129
130 #define M_ASN1_D2I_get_opt(b,func,type) \
131         if ((c.slen != 0) && ((M_ASN1_next & (~V_ASN1_CONSTRUCTED)) \
132                 == (V_ASN1_UNIVERSAL|(type)))) \
133                 { \
134                 M_ASN1_D2I_get(b,func); \
135                 }
136
137 #define M_ASN1_D2I_get_imp(b,func, type) \
138         M_ASN1_next=(_tmp& V_ASN1_CONSTRUCTED)|type; \
139         c.q=c.p; \
140         if (func(&(b),&c.p,c.slen) == NULL) \
141                 {c.line=__LINE__; M_ASN1_next_prev = _tmp; goto err; } \
142         c.slen-=(c.p-c.q);\
143         M_ASN1_next_prev=_tmp;
144
145 #define M_ASN1_D2I_get_IMP_opt(b,func,tag,type) \
146         if ((c.slen != 0) && ((M_ASN1_next & (~V_ASN1_CONSTRUCTED)) == \
147                 (V_ASN1_CONTEXT_SPECIFIC|(tag)))) \
148                 { \
149                 unsigned char _tmp = M_ASN1_next; \
150                 M_ASN1_D2I_get_imp(b,func, type);\
151                 }
152
153 #define M_ASN1_D2I_get_set(r,func,free_func) \
154                 M_ASN1_D2I_get_imp_set(r,func,free_func, \
155                         V_ASN1_SET,V_ASN1_UNIVERSAL);
156
157 #define M_ASN1_D2I_get_set_opt(r,func,free_func) \
158         if ((c.slen != 0) && (M_ASN1_next == (V_ASN1_UNIVERSAL| \
159                 V_ASN1_CONSTRUCTED|V_ASN1_SET)))\
160                 { M_ASN1_D2I_get_set(r,func,free_func); }
161
162 #define M_ASN1_I2D_len_SET_opt(a,f) \
163         if ((a != NULL) && (sk_num(a) != 0)) \
164                 M_ASN1_I2D_len_SET(a,f);
165
166 #define M_ASN1_I2D_put_SET_opt(a,f) \
167         if ((a != NULL) && (sk_num(a) != 0)) \
168                 M_ASN1_I2D_put_SET(a,f);
169
170 #define M_ASN1_I2D_put_SEQUENCE_opt(a,f) \
171         if ((a != NULL) && (sk_num(a) != 0)) \
172                 M_ASN1_I2D_put_SEQUENCE(a,f);
173
174 #define M_ASN1_D2I_get_IMP_set_opt(b,func,free_func,tag) \
175         if ((c.slen != 0) && \
176                 (M_ASN1_next == \
177                 (V_ASN1_CONTEXT_SPECIFIC|V_ASN1_CONSTRUCTED|(tag))))\
178                 { \
179                 M_ASN1_D2I_get_imp_set(b,func,free_func,\
180                         tag,V_ASN1_CONTEXT_SPECIFIC); \
181                 }
182
183 #define M_ASN1_D2I_get_IMP_set_opt_type(type,b,func,free_func,tag) \
184         if ((c.slen != 0) && \
185                 (M_ASN1_next == \
186                 (V_ASN1_CONTEXT_SPECIFIC|V_ASN1_CONSTRUCTED|(tag))))\
187                 { \
188                 M_ASN1_D2I_get_imp_set_type(type,b,func,free_func,\
189                         tag,V_ASN1_CONTEXT_SPECIFIC); \
190                 }
191
192 #define M_ASN1_D2I_get_seq(r,func,free_func) \
193                 M_ASN1_D2I_get_imp_set(r,func,free_func,\
194                         V_ASN1_SEQUENCE,V_ASN1_UNIVERSAL);
195
196 #define M_ASN1_D2I_get_seq_opt(r,func,free_func) \
197         if ((c.slen != 0) && (M_ASN1_next == (V_ASN1_UNIVERSAL| \
198                 V_ASN1_CONSTRUCTED|V_ASN1_SEQUENCE)))\
199                 { M_ASN1_D2I_get_seq(r,func,free_func); }
200
201 #define M_ASN1_D2I_get_IMP_set(r,func,free_func,x) \
202                 M_ASN1_D2I_get_imp_set(r,func,free_func,\
203                         x,V_ASN1_CONTEXT_SPECIFIC);
204
205 #define M_ASN1_D2I_get_imp_set(r,func,free_func,a,b) \
206         c.q=c.p; \
207         if (d2i_ASN1_SET(&(r),&c.p,c.slen,(char *(*)())func,\
208                 (void (*)())free_func,a,b) == NULL) \
209                 { c.line=__LINE__; goto err; } \
210         c.slen-=(c.p-c.q);
211
212 #define M_ASN1_D2I_get_imp_set_type(type,r,func,free_func,a,b) \
213         c.q=c.p; \
214         if (d2i_ASN1_SET_OF_##type(&(r),&c.p,c.slen,func,free_func,a,b) \
215             == NULL) \
216                 { c.line=__LINE__; goto err; } \
217         c.slen-=(c.p-c.q);
218
219 #define M_ASN1_D2I_get_set_strings(r,func,a,b) \
220         c.q=c.p; \
221         if (d2i_ASN1_STRING_SET(&(r),&c.p,c.slen,a,b) == NULL) \
222                 { c.line=__LINE__; goto err; } \
223         c.slen-=(c.p-c.q);
224
225 #define M_ASN1_D2I_get_EXP_opt(r,func,tag) \
226         if ((c.slen != 0L) && (M_ASN1_next == \
227                 (V_ASN1_CONSTRUCTED|V_ASN1_CONTEXT_SPECIFIC|tag))) \
228                 { \
229                 int Tinf,Ttag,Tclass; \
230                 long Tlen; \
231                 \
232                 c.q=c.p; \
233                 Tinf=ASN1_get_object(&c.p,&Tlen,&Ttag,&Tclass,c.slen); \
234                 if (Tinf & 0x80) \
235                         { c.error=ERR_R_BAD_ASN1_OBJECT_HEADER; \
236                         c.line=__LINE__; goto err; } \
237                 if (Tinf == (V_ASN1_CONSTRUCTED+1)) \
238                                         Tlen = c.slen - (c.p - c.q) - 2; \
239                 if (func(&(r),&c.p,Tlen) == NULL) \
240                         { c.line=__LINE__; goto err; } \
241                 if (Tinf == (V_ASN1_CONSTRUCTED+1)) { \
242                         Tlen = c.slen - (c.p - c.q); \
243                         if(!ASN1_check_infinite_end(&c.p, Tlen)) \
244                                 { c.error=ERR_R_MISSING_ASN1_EOS; \
245                                 c.line=__LINE__; goto err; } \
246                 }\
247                 c.slen-=(c.p-c.q); \
248                 }
249
250 #define M_ASN1_D2I_get_EXP_set_opt(r,func,free_func,tag,b) \
251         if ((c.slen != 0) && (M_ASN1_next == \
252                 (V_ASN1_CONSTRUCTED|V_ASN1_CONTEXT_SPECIFIC|tag))) \
253                 { \
254                 int Tinf,Ttag,Tclass; \
255                 long Tlen; \
256                 \
257                 c.q=c.p; \
258                 Tinf=ASN1_get_object(&c.p,&Tlen,&Ttag,&Tclass,c.slen); \
259                 if (Tinf & 0x80) \
260                         { c.error=ERR_R_BAD_ASN1_OBJECT_HEADER; \
261                         c.line=__LINE__; goto err; } \
262                 if (Tinf == (V_ASN1_CONSTRUCTED+1)) \
263                                         Tlen = c.slen - (c.p - c.q) - 2; \
264                 if (d2i_ASN1_SET(&(r),&c.p,Tlen,(char *(*)())func, \
265                         (void (*)())free_func, \
266                         b,V_ASN1_UNIVERSAL) == NULL) \
267                         { c.line=__LINE__; goto err; } \
268                 if (Tinf == (V_ASN1_CONSTRUCTED+1)) { \
269                         Tlen = c.slen - (c.p - c.q); \
270                         if(!ASN1_check_infinite_end(&c.p, Tlen)) \
271                                 { c.error=ERR_R_MISSING_ASN1_EOS; \
272                                 c.line=__LINE__; goto err; } \
273                 }\
274                 c.slen-=(c.p-c.q); \
275                 }
276
277 /* New macros */
278 #define M_ASN1_New_Malloc(ret,type) \
279         if ((ret=(type *)Malloc(sizeof(type))) == NULL) \
280                 { c.line=__LINE__; goto err2; }
281
282 #define M_ASN1_New(arg,func) \
283         if (((arg)=func()) == NULL) return(NULL)
284
285 #define M_ASN1_New_Error(a) \
286 /*      err:    ASN1_MAC_H_err((a),ERR_R_NESTED_ASN1_ERROR,c.line); \
287                 return(NULL);*/ \
288         err2:   ASN1_MAC_H_err((a),ERR_R_MALLOC_FAILURE,c.line); \
289                 return(NULL)
290
291
292 #define M_ASN1_next             (*c.p)
293 #define M_ASN1_next_prev        (*c.q)
294
295 /*************************************************/
296
297 #define M_ASN1_I2D_vars(a)      int r=0,ret=0; \
298                                 unsigned char *p; \
299                                 if (a == NULL) return(0)
300
301 /* Length Macros */
302 #define M_ASN1_I2D_len(a,f)     ret+=f(a,NULL)
303 #define M_ASN1_I2D_len_IMP_opt(a,f)     if (a != NULL) M_ASN1_I2D_len(a,f)
304
305 #define M_ASN1_I2D_len_SET(a,f) \
306                 ret+=i2d_ASN1_SET(a,NULL,f,V_ASN1_SET,V_ASN1_UNIVERSAL,IS_SET);
307
308 #define M_ASN1_I2D_len_SEQUENCE(a,f) \
309                 ret+=i2d_ASN1_SET(a,NULL,f,V_ASN1_SEQUENCE,V_ASN1_UNIVERSAL, \
310                                   IS_SEQUENCE);
311
312 #define M_ASN1_I2D_len_SEQUENCE_opt(a,f) \
313                 if ((a != NULL) && (sk_num(a) != 0)) \
314                         M_ASN1_I2D_len_SEQUENCE(a,f);
315
316 #define M_ASN1_I2D_len_IMP_SET(a,f,x) \
317                 ret+=i2d_ASN1_SET(a,NULL,f,x,V_ASN1_CONTEXT_SPECIFIC,IS_SET);
318
319 #define M_ASN1_I2D_len_IMP_SET_opt(a,f,x) \
320                 if ((a != NULL) && (sk_num(a) != 0)) \
321                         ret+=i2d_ASN1_SET(a,NULL,f,x,V_ASN1_CONTEXT_SPECIFIC, \
322                                           IS_SET);
323
324 #define M_ASN1_I2D_len_IMP_SEQUENCE(a,f,x) \
325                 ret+=i2d_ASN1_SET(a,NULL,f,x,V_ASN1_CONTEXT_SPECIFIC, \
326                                   IS_SEQUENCE);
327
328 #define M_ASN1_I2D_len_IMP_SEQUENCE_opt(a,f,x) \
329                 if ((a != NULL) && (sk_num(a) != 0)) \
330                         ret+=i2d_ASN1_SET(a,NULL,f,x,V_ASN1_CONTEXT_SPECIFIC, \
331                                           IS_SEQUENCE);
332
333 #define M_ASN1_I2D_len_IMP_SEQUENCE_opt_type(type,a,f,x) \
334                 if ((a != NULL) && (sk_##type##_num(a) != 0)) \
335                         ret+=i2d_ASN1_SET_OF_##type(a,NULL,f,x, \
336                                                     V_ASN1_CONTEXT_SPECIFIC, \
337                                                     IS_SEQUENCE);
338
339 #define M_ASN1_I2D_len_EXP_opt(a,f,mtag,v) \
340                 if (a != NULL)\
341                         { \
342                         v=f(a,NULL); \
343                         ret+=ASN1_object_size(1,v,mtag); \
344                         }
345
346 #define M_ASN1_I2D_len_EXP_SET_opt(a,f,mtag,tag,v) \
347                 if ((a != NULL) && (sk_num(a) != 0))\
348                         { \
349                         v=i2d_ASN1_SET(a,NULL,f,tag,V_ASN1_UNIVERSAL,IS_SET); \
350                         ret+=ASN1_object_size(1,v,mtag); \
351                         }
352
353 #define M_ASN1_I2D_len_EXP_SEQUENCE_opt(a,f,mtag,tag,v) \
354                 if ((a != NULL) && (sk_num(a) != 0))\
355                         { \
356                         v=i2d_ASN1_SET(a,NULL,f,tag,V_ASN1_UNIVERSAL, \
357                                        IS_SEQUENCE); \
358                         ret+=ASN1_object_size(1,v,mtag); \
359                         }
360
361 /* Put Macros */
362 #define M_ASN1_I2D_put(a,f)     f(a,&p)
363
364 #define M_ASN1_I2D_put_IMP_opt(a,f,t)   \
365                 if (a != NULL) \
366                         { \
367                         unsigned char *q=p; \
368                         f(a,&p); \
369                         *q=(V_ASN1_CONTEXT_SPECIFIC|t|(*q&V_ASN1_CONSTRUCTED));\
370                         }
371
372 #define M_ASN1_I2D_put_SET(a,f) i2d_ASN1_SET(a,&p,f,V_ASN1_SET,\
373                         V_ASN1_UNIVERSAL,IS_SET)
374 #define M_ASN1_I2D_put_IMP_SET(a,f,x) i2d_ASN1_SET(a,&p,f,x,\
375                         V_ASN1_CONTEXT_SPECIFIC,IS_SET)
376 #define M_ASN1_I2D_put_IMP_SEQUENCE(a,f,x) i2d_ASN1_SET(a,&p,f,x,\
377                         V_ASN1_CONTEXT_SPECIFIC,IS_SEQUENCE)
378
379 #define M_ASN1_I2D_put_SEQUENCE(a,f) i2d_ASN1_SET(a,&p,f,V_ASN1_SEQUENCE,\
380                                              V_ASN1_UNIVERSAL,IS_SEQUENCE)
381
382 #define M_ASN1_I2D_put_SEQUENCE_opt(a,f) \
383                 if ((a != NULL) && (sk_num(a) != 0)) \
384                         M_ASN1_I2D_put_SEQUENCE(a,f);
385
386 #define M_ASN1_I2D_put_IMP_SET_opt(a,f,x) \
387                 if ((a != NULL) && (sk_num(a) != 0)) \
388                         { i2d_ASN1_SET(a,&p,f,x,V_ASN1_CONTEXT_SPECIFIC, \
389                                        IS_SET); }
390
391 #define M_ASN1_I2D_put_IMP_SEQUENCE_opt(a,f,x) \
392                 if ((a != NULL) && (sk_num(a) != 0)) \
393                         { i2d_ASN1_SET(a,&p,f,x,V_ASN1_CONTEXT_SPECIFIC, \
394                                        IS_SEQUENCE); }
395
396 #define M_ASN1_I2D_put_IMP_SEQUENCE_opt_type(type,a,f,x) \
397                 if ((a != NULL) && (sk_##type##_num(a) != 0)) \
398                         { i2d_ASN1_SET_OF_##type(a,&p,f,x, \
399                                                  V_ASN1_CONTEXT_SPECIFIC, \
400                                                  IS_SEQUENCE); }
401
402 #define M_ASN1_I2D_put_EXP_opt(a,f,tag,v) \
403                 if (a != NULL) \
404                         { \
405                         ASN1_put_object(&p,1,v,tag,V_ASN1_CONTEXT_SPECIFIC); \
406                         f(a,&p); \
407                         }
408
409 #define M_ASN1_I2D_put_EXP_SET_opt(a,f,mtag,tag,v) \
410                 if ((a != NULL) && (sk_num(a) != 0)) \
411                         { \
412                         ASN1_put_object(&p,1,v,mtag,V_ASN1_CONTEXT_SPECIFIC); \
413                         i2d_ASN1_SET(a,&p,f,tag,V_ASN1_UNIVERSAL,IS_SET); \
414                         }
415
416 #define M_ASN1_I2D_put_EXP_SEQUENCE_opt(a,f,mtag,tag,v) \
417                 if ((a != NULL) && (sk_num(a) != 0)) \
418                         { \
419                         ASN1_put_object(&p,1,v,mtag,V_ASN1_CONTEXT_SPECIFIC); \
420                         i2d_ASN1_SET(a,&p,f,tag,V_ASN1_UNIVERSAL,IS_SEQUENCE); \
421                         }
422
423 #define M_ASN1_I2D_seq_total() \
424                 r=ASN1_object_size(1,ret,V_ASN1_SEQUENCE); \
425                 if (pp == NULL) return(r); \
426                 p= *pp; \
427                 ASN1_put_object(&p,1,ret,V_ASN1_SEQUENCE,V_ASN1_UNIVERSAL)
428
429 #define M_ASN1_I2D_INF_seq_start(tag,ctx) \
430                 *(p++)=(V_ASN1_CONSTRUCTED|(tag)|(ctx)); \
431                 *(p++)=0x80
432
433 #define M_ASN1_I2D_INF_seq_end() *(p++)=0x00; *(p++)=0x00
434
435 #define M_ASN1_I2D_finish()     *pp=p; \
436                                 return(r);
437
438 #ifndef NOPROTO
439 int asn1_GetSequence(ASN1_CTX *c, long *length);
440 void asn1_add_error(unsigned char *address,int offset);
441 #else 
442 int asn1_GetSequence();
443 void asn1_add_error();
444 #endif
445
446 #ifdef  __cplusplus
447 }
448 #endif
449
450 #endif