Line data    Source code

       1             : /*
       2             :  * Copyright (c) 1997 - 2005 Kungliga Tekniska Högskolan
       3             :  * (Royal Institute of Technology, Stockholm, Sweden).
       4             :  * All rights reserved.
       5             :  *
       6             :  * Redistribution and use in source and binary forms, with or without
       7             :  * modification, are permitted provided that the following conditions
       8             :  * are met:
       9             :  *
      10             :  * 1. Redistributions of source code must retain the above copyright
      11             :  *    notice, this list of conditions and the following disclaimer.
      12             :  *
      13             :  * 2. Redistributions in binary form must reproduce the above copyright
      14             :  *    notice, this list of conditions and the following disclaimer in the
      15             :  *    documentation and/or other materials provided with the distribution.
      16             :  *
      17             :  * 3. Neither the name of the Institute nor the names of its contributors
      18             :  *    may be used to endorse or promote products derived from this software
      19             :  *    without specific prior written permission.
      20             :  *
      21             :  * THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND
      22             :  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
      23             :  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
      24             :  * ARE DISCLAIMED.  IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE
      25             :  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
      26             :  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
      27             :  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
      28             :  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
      29             :  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
      30             :  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
      31             :  * SUCH DAMAGE.
      32             :  */
      33             : 
      34             : #include "gen_locl.h"
      35             : 
      36             : RCSID("$Id$");
      37             : 
      38             : static void
      39         646 : free_primitive (const char *typename, const char *name)
      40             : {
      41         646 :     fprintf (codefile, "der_free_%s(%s);\n", typename, name);
      42         646 : }
      43             : 
      44             : static void
      45        7285 : free_type (const char *name, const Type *t, int preserve)
      46             : {
      47        7486 :     switch (t->type) {
      48        1539 :     case TType:
      49             : #if 0
      50             :         free_type (name, t->symbol->type, preserve);
      51             : #endif
      52        1539 :         fprintf (codefile, "free_%s(%s);\n", t->symbol->gen_name, name);
      53        1458 :         break;
      54         418 :     case TInteger:
      55         418 :         if (t->range == NULL && t->members == NULL) {
      56          76 :             free_primitive ("heim_integer", name);
      57          72 :             break;
      58             :         }
      59          21 :         HEIM_FALLTHROUGH;
      60             :     case TBoolean:
      61             :     case TEnumerated :
      62             :     case TNull:
      63             :     case TGeneralizedTime:
      64             :     case TUTCTime:
      65             :         /*
      66             :          * This doesn't do much, but it leaves zeros where garbage might
      67             :          * otherwise have been found.  Gets us closer to having the equivalent
      68             :          * of a memset()-to-zero data structure after calling the free
      69             :          * functions.
      70             :          */
      71         399 :         fprintf(codefile, "*%s = 0;\n", name);
      72         378 :         break;
      73         190 :     case TBitString:
      74         190 :         if (HEIM_TAILQ_EMPTY(t->members))
      75         133 :             free_primitive("bit_string", name);
      76         180 :         break;
      77         252 :     case TOctetString:
      78         266 :         free_primitive ("octet_string", name);
      79         252 :         break;
      80         722 :     case TChoice:
      81             :     case TSet:
      82             :     case TSequence: {
      83         722 :         Member *m, *have_ellipsis = NULL;
      84             : 
      85         722 :         if (t->members == NULL)
      86           0 :             break;
      87             : 
      88         722 :         if ((t->type == TSequence || t->type == TChoice) && preserve)
      89           0 :             fprintf(codefile, "der_free_octet_string(&data->_save);\n");
      90             : 
      91         722 :         if(t->type == TChoice)
      92         171 :             fprintf(codefile, "switch((%s)->element) {\n", name);
      93             : 
      94        3287 :         HEIM_TAILQ_FOREACH(m, t->members, members) {
      95         135 :             char *s;
      96             : 
      97        2565 :             if (m->ellipsis){
      98         114 :                 have_ellipsis = m;
      99         114 :                 continue;
     100             :             }
     101             : 
     102        2451 :             if(t->type == TChoice)
     103         627 :                 fprintf(codefile, "case %s:\n", m->label);
     104        4773 :             if (asprintf (&s, "%s(%s)->%s%s",
     105        2451 :                           m->optional ? "" : "&", name,
     106        4902 :                           t->type == TChoice ? "u." : "", m->gen_name) < 0 || s == NULL)
     107           0 :                 errx(1, "malloc");
     108        2451 :             if(m->optional)
     109         950 :                 fprintf(codefile, "if(%s) {\n", s);
     110        2451 :             free_type (s, m->type, FALSE);
     111        2451 :             if(m->optional)
     112         950 :                 fprintf(codefile,
     113             :                         "free(%s);\n"
     114             :                         "%s = NULL;\n"
     115             :                         "}\n",s, s);
     116        2451 :             free (s);
     117        2451 :             if(t->type == TChoice)
     118         723 :                 fprintf(codefile, "break;\n");
     119             :         }
     120             : 
     121         722 :         if(t->type == TChoice) {
     122         171 :             if (have_ellipsis)
     123          19 :                 fprintf(codefile,
     124             :                         "case %s:\n"
     125             :                         "der_free_octet_string(&(%s)->u.%s);\n"
     126             :                         "break;",
     127             :                         have_ellipsis->label,
     128             :                         name, have_ellipsis->gen_name);
     129         171 :             fprintf(codefile, "}\n");
     130             :         }
     131         684 :         break;
     132             :     }
     133         304 :     case TSetOf:
     134             :     case TSequenceOf: {
     135          16 :         char *n;
     136             : 
     137         304 :         fprintf (codefile, "if ((%s)->val)\nwhile((%s)->len){\n", name, name);
     138         304 :         if (asprintf (&n, "&(%s)->val[(%s)->len-1]", name, name) < 0 || n == NULL)
     139           0 :             errx(1, "malloc");
     140         304 :         free_type(n, t->subtype, FALSE);
     141         304 :         fprintf(codefile,
     142             :                 "(%s)->len--;\n"
     143             :                 "} else (%s)->len = 0;\n",
     144             :                 name, name);
     145         304 :         fprintf(codefile,
     146             :                 "free((%s)->val);\n"
     147             :                 "(%s)->val = NULL;\n", name, name);
     148         304 :         free(n);
     149         304 :         break;
     150             :     }
     151          18 :     case TGeneralString:
     152          19 :         free_primitive ("general_string", name);
     153          18 :         break;
     154           0 :     case TTeletexString:
     155           0 :         free_primitive ("general_string", name);
     156           0 :         break;
     157          72 :     case TUTF8String:
     158          76 :         free_primitive ("utf8string", name);
     159          72 :         break;
     160           0 :     case TPrintableString:
     161           0 :         free_primitive ("printable_string", name);
     162           0 :         break;
     163           0 :     case TIA5String:
     164           0 :         free_primitive ("ia5_string", name);
     165           0 :         break;
     166           0 :     case TBMPString:
     167           0 :         free_primitive ("bmp_string", name);
     168           0 :         break;
     169           0 :     case TUniversalString:
     170           0 :         free_primitive ("universal_string", name);
     171           0 :         break;
     172           0 :     case TVisibleString:
     173           0 :         free_primitive ("visible_string", name);
     174           0 :         break;
     175        3819 :     case TTag:
     176        3819 :         free_type (name, t->subtype, preserve);
     177        3819 :         break;
     178          72 :     case TOID :
     179          76 :         free_primitive ("oid", name);
     180          72 :         break;
     181           0 :     default :
     182           0 :         abort ();
     183             :     }
     184        7285 : }
     185             : 
     186             : void
     187         912 : generate_type_free (const Symbol *s)
     188             : {
     189          48 :     struct decoration deco;
     190         912 :     ssize_t more_deco = -1;
     191         912 :     int preserve = preserve_type(s->name) ? TRUE : FALSE;
     192             : 
     193         960 :     fprintf (codefile, "void ASN1CALL\n"
     194             :              "free_%s(%s *data)\n"
     195             :              "{\n",
     196         912 :              s->gen_name, s->gen_name);
     197             : 
     198         912 :     free_type ("data", s->type, preserve);
     199         950 :     while (decorate_type(s->gen_name, &deco, &more_deco)) {
     200          38 :         if (deco.ext && deco.free_function_name == NULL) {
     201             :             /* Decorated with field of external type but no free function */
     202          38 :             if (deco.ptr)
     203           0 :                 fprintf(codefile, "(data)->%s = 0;\n", deco.field_name);
     204             :             else
     205          38 :                 fprintf(codefile,
     206             :                         "memset(&(data)->%s, 0, sizeof((data)->%s));\n",
     207             :                         deco.field_name, deco.field_name);
     208           0 :         } else if (deco.ext) {
     209             :             /* Decorated with field of external type w/ free function */
     210           0 :             if (deco.ptr) {
     211           0 :                 fprintf(codefile, "if ((data)->%s) {\n", deco.field_name);
     212           0 :                 fprintf(codefile, "%s((data)->%s);\n",
     213             :                         deco.free_function_name, deco.field_name);
     214           0 :                 fprintf(codefile, "(data)->%s = 0;\n", deco.field_name);
     215           0 :                 fprintf(codefile, "}\n");
     216             :             } else {
     217           0 :                 fprintf(codefile, "%s(&(data)->%s);\n",
     218             :                         deco.free_function_name, deco.field_name);
     219           0 :                 fprintf(codefile,
     220             :                         "memset(&(data)->%s, 0, sizeof((data)->%s));\n",
     221             :                         deco.field_name, deco.field_name);
     222             :             }
     223           0 :         } else if (deco.opt) {
     224             :             /* Decorated with optional field of ASN.1 type */
     225           0 :             fprintf(codefile, "if ((data)->%s) {\n", deco.field_name);
     226           0 :             fprintf(codefile, "free_%s((data)->%s);\n",
     227             :                     deco.field_type, deco.field_name);
     228           0 :             fprintf(codefile, "free((data)->%s);\n", deco.field_name);
     229           0 :             fprintf(codefile, "(data)->%s = NULL;\n", deco.field_name);
     230           0 :             fprintf(codefile, "}\n");
     231             :         } else {
     232             :             /* Decorated with required field of ASN.1 type */
     233           0 :             fprintf(codefile, "free_%s(&(data)->%s);\n",
     234             :                     deco.field_type, deco.field_name);
     235             :         }
     236          38 :         free(deco.field_type);
     237             :     }
     238         912 :     fprintf (codefile, "}\n\n");
     239         912 : }