blob: 95ec51211a5866abb71d6d67e3621fce9c0bd0d0 [file] [log] [blame]
Paul Bakker9d781402011-05-09 16:17:09 +00001#!/usr/bin/perl
Manuel Pégourié-Gonnardd66f9002014-05-09 13:40:14 +02002
3# Generate error.c
Paul Bakker9d781402011-05-09 16:17:09 +00004#
Manuel Pégourié-Gonnardd66f9002014-05-09 13:40:14 +02005# Usage: ./generate_errors.pl or scripts/generate_errors.pl without arguments,
6# or generate_errors.pl include_dir data_dir error_file
Paul Bakker9d781402011-05-09 16:17:09 +00007
8use strict;
9
Manuel Pégourié-Gonnardd66f9002014-05-09 13:40:14 +020010my ($include_dir, $data_dir, $error_file);
11
12if( @ARGV ) {
13 die "Invalid number of arguments" if scalar @ARGV != 3;
14 ($include_dir, $data_dir, $error_file) = @ARGV;
15
16 -d $include_dir or die "No such directory: $include_dir\n";
17 -d $data_dir or die "No such directory: $data_dir\n";
18} else {
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000019 $include_dir = 'include/mbedtls';
Manuel Pégourié-Gonnardd66f9002014-05-09 13:40:14 +020020 $data_dir = 'scripts/data_files';
21 $error_file = 'library/error.c';
22
23 unless( -d $include_dir && -d $data_dir ) {
24 chdir '..' or die;
25 -d $include_dir && -d $data_dir
26 or die "Without arguments, must be run from root or scripts\n"
27 }
28}
29
Paul Bakker9d781402011-05-09 16:17:09 +000030my $error_format_file = $data_dir.'/error.fmt';
31
Markku-Juhani O. Saarinen3c0b53b2017-11-30 16:00:34 +000032my @low_level_modules = qw( AES ARC4 ARIA ASN1 BASE64 BIGNUM BLOWFISH
Gilles Peskine7ecab3d2018-01-26 17:56:38 +010033 CAMELLIA CCM CMAC CTR_DRBG DES
34 ENTROPY GCM HMAC_DRBG MD2 MD4 MD5
Gilles Peskine92143272018-01-25 23:26:24 +010035 NET OID PADLOCK PBKDF2 RIPEMD160
36 SHA1 SHA256 SHA512 THREADING XTEA );
37my @high_level_modules = qw( CIPHER DHM ECP MD
38 PEM PK PKCS12 PKCS5
39 RSA SSL X509 );
Paul Bakker9d781402011-05-09 16:17:09 +000040
41my $line_separator = $/;
42undef $/;
43
44open(FORMAT_FILE, "$error_format_file") or die "Opening error format file '$error_format_file': $!";
45my $error_format = <FORMAT_FILE>;
46close(FORMAT_FILE);
47
48$/ = $line_separator;
49
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020050open(GREP, "grep \"define MBEDTLS_ERR_\" $include_dir/* |") || die("Failure when calling grep: $!");
Paul Bakker9d781402011-05-09 16:17:09 +000051
52my $ll_old_define = "";
53my $hl_old_define = "";
54
55my $ll_code_check = "";
56my $hl_code_check = "";
57
58my $headers = "";
59
Manuel Pégourié-Gonnarda9a99162015-01-22 13:19:20 +000060my %error_codes_seen;
61
Paul Bakker9d781402011-05-09 16:17:09 +000062while (my $line = <GREP>)
63{
Paul Bakker36713e82013-09-17 13:25:29 +020064 next if ($line =~ /compat-1.2.h/);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020065 my ($error_name, $error_code) = $line =~ /(MBEDTLS_ERR_\w+)\s+\-(0x\w+)/;
Paul Bakker9d781402011-05-09 16:17:09 +000066 my ($description) = $line =~ /\/\*\*< (.*?)\.? \*\//;
Manuel Pégourié-Gonnarda9a99162015-01-22 13:19:20 +000067
68 die "Duplicated error code: $error_code ($error_name)\n"
69 if( $error_codes_seen{$error_code}++ );
70
Paul Bakker9d781402011-05-09 16:17:09 +000071 $description =~ s/\\/\\\\/g;
Manuel Pégourié-Gonnarda9a99162015-01-22 13:19:20 +000072 if ($description eq "") {
73 $description = "DESCRIPTION MISSING";
74 warn "Missing description for $error_name\n";
75 }
Paul Bakker9d781402011-05-09 16:17:09 +000076
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020077 my ($module_name) = $error_name =~ /^MBEDTLS_ERR_([^_]+)/;
Paul Bakker9d781402011-05-09 16:17:09 +000078
79 # Fix faulty ones
80 $module_name = "BIGNUM" if ($module_name eq "MPI");
Paul Bakker880ac7e2011-11-27 14:50:49 +000081 $module_name = "CTR_DRBG" if ($module_name eq "CTR");
Manuel Pégourié-Gonnardcf383672014-02-01 10:22:21 +010082 $module_name = "HMAC_DRBG" if ($module_name eq "HMAC");
Paul Bakker9d781402011-05-09 16:17:09 +000083
84 my $define_name = $module_name;
Paul Bakker36713e82013-09-17 13:25:29 +020085 $define_name = "X509_USE,X509_CREATE" if ($define_name eq "X509");
Paul Bakkerdceecd82011-11-15 16:38:34 +000086 $define_name = "ASN1_PARSE" if ($define_name eq "ASN1");
Paul Bakkere471cd12011-05-18 13:27:35 +000087 $define_name = "SSL_TLS" if ($define_name eq "SSL");
Paul Bakkercff68422013-09-15 20:43:33 +020088 $define_name = "PEM_PARSE,PEM_WRITE" if ($define_name eq "PEM");
Paul Bakker9d781402011-05-09 16:17:09 +000089
90 my $include_name = $module_name;
91 $include_name =~ tr/A-Z/a-z/;
92 $include_name = "" if ($include_name eq "asn1");
93
Andres AG788aa4a2016-09-14 14:32:09 +010094 # Fix faulty ones
95 $include_name = "net_sockets" if ($module_name eq "NET");
96
Paul Bakker9d781402011-05-09 16:17:09 +000097 my $found_ll = grep $_ eq $module_name, @low_level_modules;
98 my $found_hl = grep $_ eq $module_name, @high_level_modules;
99 if (!$found_ll && !$found_hl)
100 {
Manuel Pégourié-Gonnard48573f82015-08-06 17:24:56 +0200101 printf("Error: Do not know how to handle: $module_name\n");
Paul Bakker9d781402011-05-09 16:17:09 +0000102 exit 1;
103 }
104
105 my $code_check;
106 my $old_define;
107 my $white_space;
Paul Bakkercff68422013-09-15 20:43:33 +0200108 my $first;
Paul Bakker9d781402011-05-09 16:17:09 +0000109
110 if ($found_ll)
111 {
112 $code_check = \$ll_code_check;
113 $old_define = \$ll_old_define;
114 $white_space = ' ';
115 }
116 else
117 {
118 $code_check = \$hl_code_check;
119 $old_define = \$hl_old_define;
120 $white_space = ' ';
121 }
122
123 if ($define_name ne ${$old_define})
124 {
125 if (${$old_define} ne "")
126 {
Paul Bakkercff68422013-09-15 20:43:33 +0200127 ${$code_check} .= "#endif /* ";
128 $first = 0;
129 foreach my $dep (split(/,/, ${$old_define}))
130 {
131 ${$code_check} .= " || " if ($first++);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200132 ${$code_check} .= "MBEDTLS_${dep}_C";
Paul Bakkercff68422013-09-15 20:43:33 +0200133 }
134 ${$code_check} .= " */\n\n";
Paul Bakker9d781402011-05-09 16:17:09 +0000135 }
136
Paul Bakkercff68422013-09-15 20:43:33 +0200137 ${$code_check} .= "#if ";
138 $headers .= "#if " if ($include_name ne "");
139 $first = 0;
140 foreach my $dep (split(/,/, ${define_name}))
141 {
142 ${$code_check} .= " || " if ($first);
143 $headers .= " || " if ($first++);
144
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200145 ${$code_check} .= "defined(MBEDTLS_${dep}_C)";
146 $headers .= "defined(MBEDTLS_${dep}_C)" if
Paul Bakkercff68422013-09-15 20:43:33 +0200147 ($include_name ne "");
148 }
149 ${$code_check} .= "\n";
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000150 $headers .= "\n#include \"mbedtls/${include_name}.h\"\n".
Paul Bakker9d781402011-05-09 16:17:09 +0000151 "#endif\n\n" if ($include_name ne "");
152 ${$old_define} = $define_name;
153 }
154
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200155 if ($error_name eq "MBEDTLS_ERR_SSL_FATAL_ALERT_MESSAGE")
Paul Bakker3aac1da2012-05-08 13:12:27 +0000156 {
157 ${$code_check} .= "${white_space}if( use_ret == -($error_name) )\n".
158 "${white_space}\{\n".
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200159 "${white_space} mbedtls_snprintf( buf, buflen, \"$module_name - $description\" );\n".
Paul Bakker3aac1da2012-05-08 13:12:27 +0000160 "${white_space} return;\n".
161 "${white_space}}\n"
162 }
163 else
164 {
165 ${$code_check} .= "${white_space}if( use_ret == -($error_name) )\n".
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200166 "${white_space} mbedtls_snprintf( buf, buflen, \"$module_name - $description\" );\n"
Paul Bakker3aac1da2012-05-08 13:12:27 +0000167 }
Paul Bakker9d781402011-05-09 16:17:09 +0000168};
169
170if ($ll_old_define ne "")
171{
Manuel Pégourié-Gonnarde546ad42015-04-08 20:27:02 +0200172 $ll_code_check .= "#endif /* ";
173 my $first = 0;
174 foreach my $dep (split(/,/, $ll_old_define))
175 {
176 $ll_code_check .= " || " if ($first++);
177 $ll_code_check .= "MBEDTLS_${dep}_C";
178 }
179 $ll_code_check .= " */\n";
Paul Bakker9d781402011-05-09 16:17:09 +0000180}
181if ($hl_old_define ne "")
182{
Manuel Pégourié-Gonnarde546ad42015-04-08 20:27:02 +0200183 $hl_code_check .= "#endif /* ";
184 my $first = 0;
185 foreach my $dep (split(/,/, $hl_old_define))
186 {
187 $hl_code_check .= " || " if ($first++);
188 $hl_code_check .= "MBEDTLS_${dep}_C";
189 }
190 $hl_code_check .= " */\n";
Paul Bakker9d781402011-05-09 16:17:09 +0000191}
192
193$error_format =~ s/HEADER_INCLUDED\n/$headers/g;
194$error_format =~ s/LOW_LEVEL_CODE_CHECKS\n/$ll_code_check/g;
195$error_format =~ s/HIGH_LEVEL_CODE_CHECKS\n/$hl_code_check/g;
196
197open(ERROR_FILE, ">$error_file") or die "Opening destination file '$error_file': $!";
198print ERROR_FILE $error_format;
199close(ERROR_FILE);