blob: ec550689fed16379406280c8c6f4aa6ff137bbe3 [file] [log] [blame]
fbrosson533407a2018-04-04 21:44:29 +00001#!/usr/bin/env 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,
Andrzej Kurekb0fc4842019-03-12 10:48:18 -04006# or generate_errors.pl include_dir data_dir error_file include_crypto
Andrzej Kureke90205f2019-04-12 09:49:30 -04007# include_crypto can be either 0 (don't include) or 1 (include). On by default.
Paul Bakker9d781402011-05-09 16:17:09 +00008
9use strict;
10
Andrzej Kurekb0fc4842019-03-12 10:48:18 -040011my ($include_dir, $data_dir, $error_file, $include_crypto);
12my $crypto_dir = "crypto";
Manuel Pégourié-Gonnardd66f9002014-05-09 13:40:14 +020013
14if( @ARGV ) {
Andrzej Kurekb0fc4842019-03-12 10:48:18 -040015 die "Invalid number of arguments" if scalar @ARGV != 4;
16 ($include_dir, $data_dir, $error_file, $include_crypto) = @ARGV;
Manuel Pégourié-Gonnardd66f9002014-05-09 13:40:14 +020017
18 -d $include_dir or die "No such directory: $include_dir\n";
19 -d $data_dir or die "No such directory: $data_dir\n";
20} else {
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000021 $include_dir = 'include/mbedtls';
Manuel Pégourié-Gonnardd66f9002014-05-09 13:40:14 +020022 $data_dir = 'scripts/data_files';
23 $error_file = 'library/error.c';
Andrzej Kurekb0fc4842019-03-12 10:48:18 -040024 $include_crypto = 1;
Andrzej Kurek91c60302019-04-09 03:28:53 -040025
Manuel Pégourié-Gonnardd66f9002014-05-09 13:40:14 +020026 unless( -d $include_dir && -d $data_dir ) {
27 chdir '..' or die;
28 -d $include_dir && -d $data_dir
29 or die "Without arguments, must be run from root or scripts\n"
30 }
31}
32
Andrzej Kurek91c60302019-04-09 03:28:53 -040033if( $include_crypto ) {
Andrzej Kureke90205f2019-04-12 09:49:30 -040034 -d $crypto_dir or die "Crypto submodule not present\n";
Andrzej Kurek91c60302019-04-09 03:28:53 -040035}
36
Paul Bakker9d781402011-05-09 16:17:09 +000037my $error_format_file = $data_dir.'/error.fmt';
38
Markku-Juhani O. Saarinen3c0b53b2017-11-30 16:00:34 +000039my @low_level_modules = qw( AES ARC4 ARIA ASN1 BASE64 BIGNUM BLOWFISH
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +020040 CAMELLIA CCM CHACHA20 CHACHAPOLY CMAC CTR_DRBG DES
Thomas Fossati656864b2016-07-17 08:51:22 +010041 ENTROPY GCM HKDF HMAC_DRBG MD2 MD4 MD5
Ron Eldor0ff4e0b2018-08-29 18:53:20 +030042 NET OID PADLOCK PBKDF2 PLATFORM POLY1305 RIPEMD160
Gilles Peskine92143272018-01-25 23:26:24 +010043 SHA1 SHA256 SHA512 THREADING XTEA );
44my @high_level_modules = qw( CIPHER DHM ECP MD
45 PEM PK PKCS12 PKCS5
46 RSA SSL X509 );
Paul Bakker9d781402011-05-09 16:17:09 +000047
48my $line_separator = $/;
49undef $/;
50
51open(FORMAT_FILE, "$error_format_file") or die "Opening error format file '$error_format_file': $!";
52my $error_format = <FORMAT_FILE>;
53close(FORMAT_FILE);
54
55$/ = $line_separator;
56
Andrzej Kurek91c60302019-04-09 03:28:53 -040057my %files;
Andrzej Kurekb0fc4842019-03-12 10:48:18 -040058
59if( $include_crypto ) {
Andrzej Kurek91c60302019-04-09 03:28:53 -040060 my @crypto_headers = <$crypto_dir/$include_dir/*.h>;
61 my @mbedtls_files = <$include_dir/*.h>;
62 $files{$_}++ for (@crypto_headers);
63
64 foreach my $file (@mbedtls_files) {
65 my $stripped_filename = substr($file, rindex($file,"/")+1, length($file)-rindex($file,"/")-1);
66 my $crypto_counterpart = "$crypto_dir/$include_dir/$stripped_filename";
67 if ( exists $files{$crypto_counterpart} ){
68 next;
69 }
70 else{
71 push(@{$files{$file}});
72 }
73 }
74}
75else{
76 my @headers = <$include_dir/*.h>;
77 $files{$_}++ for (@headers);
Andrzej Kurekb0fc4842019-03-12 10:48:18 -040078}
79
Andres Amaya Garcia36855d62017-10-09 17:22:07 +010080my @matches;
Andrzej Kurek91c60302019-04-09 03:28:53 -040081foreach my $file (sort keys %files) {
Andres Amaya Garcia36855d62017-10-09 17:22:07 +010082 open(FILE, "$file");
Andres Amaya Garcia69944b12017-10-17 21:24:56 +010083 my @grep_res = grep(/^\s*#define\s+MBEDTLS_ERR_\w+\s+\-0x[0-9A-Fa-f]+/, <FILE>);
Andres Amaya Garcia36855d62017-10-09 17:22:07 +010084 push(@matches, @grep_res);
85 close FILE;
86}
Paul Bakker9d781402011-05-09 16:17:09 +000087
88my $ll_old_define = "";
89my $hl_old_define = "";
90
91my $ll_code_check = "";
92my $hl_code_check = "";
93
94my $headers = "";
95
Manuel Pégourié-Gonnarda9a99162015-01-22 13:19:20 +000096my %error_codes_seen;
97
Andres Amaya Garcia36855d62017-10-09 17:22:07 +010098
99foreach my $line (@matches)
Paul Bakker9d781402011-05-09 16:17:09 +0000100{
Paul Bakker36713e82013-09-17 13:25:29 +0200101 next if ($line =~ /compat-1.2.h/);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200102 my ($error_name, $error_code) = $line =~ /(MBEDTLS_ERR_\w+)\s+\-(0x\w+)/;
Paul Bakker9d781402011-05-09 16:17:09 +0000103 my ($description) = $line =~ /\/\*\*< (.*?)\.? \*\//;
Manuel Pégourié-Gonnarda9a99162015-01-22 13:19:20 +0000104
Andrzej Kurekb0fc4842019-03-12 10:48:18 -0400105 if( $error_codes_seen{$error_code}++ ) {
Andrzej Kurek91c60302019-04-09 03:28:53 -0400106 die "Duplicated error code: $error_code ($error_name)\n";
Andrzej Kurekb0fc4842019-03-12 10:48:18 -0400107 }
Manuel Pégourié-Gonnarda9a99162015-01-22 13:19:20 +0000108
Paul Bakker9d781402011-05-09 16:17:09 +0000109 $description =~ s/\\/\\\\/g;
Manuel Pégourié-Gonnarda9a99162015-01-22 13:19:20 +0000110 if ($description eq "") {
111 $description = "DESCRIPTION MISSING";
112 warn "Missing description for $error_name\n";
113 }
Paul Bakker9d781402011-05-09 16:17:09 +0000114
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200115 my ($module_name) = $error_name =~ /^MBEDTLS_ERR_([^_]+)/;
Paul Bakker9d781402011-05-09 16:17:09 +0000116
117 # Fix faulty ones
118 $module_name = "BIGNUM" if ($module_name eq "MPI");
Paul Bakker880ac7e2011-11-27 14:50:49 +0000119 $module_name = "CTR_DRBG" if ($module_name eq "CTR");
Manuel Pégourié-Gonnardcf383672014-02-01 10:22:21 +0100120 $module_name = "HMAC_DRBG" if ($module_name eq "HMAC");
Paul Bakker9d781402011-05-09 16:17:09 +0000121
122 my $define_name = $module_name;
Paul Bakker36713e82013-09-17 13:25:29 +0200123 $define_name = "X509_USE,X509_CREATE" if ($define_name eq "X509");
Paul Bakkerdceecd82011-11-15 16:38:34 +0000124 $define_name = "ASN1_PARSE" if ($define_name eq "ASN1");
Paul Bakkere471cd12011-05-18 13:27:35 +0000125 $define_name = "SSL_TLS" if ($define_name eq "SSL");
Paul Bakkercff68422013-09-15 20:43:33 +0200126 $define_name = "PEM_PARSE,PEM_WRITE" if ($define_name eq "PEM");
Paul Bakker9d781402011-05-09 16:17:09 +0000127
128 my $include_name = $module_name;
129 $include_name =~ tr/A-Z/a-z/;
130 $include_name = "" if ($include_name eq "asn1");
131
Andres AG788aa4a2016-09-14 14:32:09 +0100132 # Fix faulty ones
133 $include_name = "net_sockets" if ($module_name eq "NET");
134
Paul Bakker9d781402011-05-09 16:17:09 +0000135 my $found_ll = grep $_ eq $module_name, @low_level_modules;
136 my $found_hl = grep $_ eq $module_name, @high_level_modules;
137 if (!$found_ll && !$found_hl)
138 {
Manuel Pégourié-Gonnard48573f82015-08-06 17:24:56 +0200139 printf("Error: Do not know how to handle: $module_name\n");
Paul Bakker9d781402011-05-09 16:17:09 +0000140 exit 1;
141 }
142
143 my $code_check;
144 my $old_define;
145 my $white_space;
Paul Bakkercff68422013-09-15 20:43:33 +0200146 my $first;
Paul Bakker9d781402011-05-09 16:17:09 +0000147
148 if ($found_ll)
149 {
150 $code_check = \$ll_code_check;
151 $old_define = \$ll_old_define;
152 $white_space = ' ';
153 }
154 else
155 {
156 $code_check = \$hl_code_check;
157 $old_define = \$hl_old_define;
158 $white_space = ' ';
159 }
160
161 if ($define_name ne ${$old_define})
162 {
163 if (${$old_define} ne "")
164 {
Paul Bakkercff68422013-09-15 20:43:33 +0200165 ${$code_check} .= "#endif /* ";
166 $first = 0;
167 foreach my $dep (split(/,/, ${$old_define}))
168 {
169 ${$code_check} .= " || " if ($first++);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200170 ${$code_check} .= "MBEDTLS_${dep}_C";
Paul Bakkercff68422013-09-15 20:43:33 +0200171 }
172 ${$code_check} .= " */\n\n";
Paul Bakker9d781402011-05-09 16:17:09 +0000173 }
174
Paul Bakkercff68422013-09-15 20:43:33 +0200175 ${$code_check} .= "#if ";
176 $headers .= "#if " if ($include_name ne "");
177 $first = 0;
178 foreach my $dep (split(/,/, ${define_name}))
179 {
180 ${$code_check} .= " || " if ($first);
181 $headers .= " || " if ($first++);
182
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200183 ${$code_check} .= "defined(MBEDTLS_${dep}_C)";
184 $headers .= "defined(MBEDTLS_${dep}_C)" if
Paul Bakkercff68422013-09-15 20:43:33 +0200185 ($include_name ne "");
186 }
187 ${$code_check} .= "\n";
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000188 $headers .= "\n#include \"mbedtls/${include_name}.h\"\n".
Paul Bakker9d781402011-05-09 16:17:09 +0000189 "#endif\n\n" if ($include_name ne "");
190 ${$old_define} = $define_name;
191 }
192
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200193 if ($error_name eq "MBEDTLS_ERR_SSL_FATAL_ALERT_MESSAGE")
Paul Bakker3aac1da2012-05-08 13:12:27 +0000194 {
195 ${$code_check} .= "${white_space}if( use_ret == -($error_name) )\n".
196 "${white_space}\{\n".
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200197 "${white_space} mbedtls_snprintf( buf, buflen, \"$module_name - $description\" );\n".
Paul Bakker3aac1da2012-05-08 13:12:27 +0000198 "${white_space} return;\n".
199 "${white_space}}\n"
200 }
201 else
202 {
203 ${$code_check} .= "${white_space}if( use_ret == -($error_name) )\n".
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200204 "${white_space} mbedtls_snprintf( buf, buflen, \"$module_name - $description\" );\n"
Paul Bakker3aac1da2012-05-08 13:12:27 +0000205 }
Paul Bakker9d781402011-05-09 16:17:09 +0000206};
207
208if ($ll_old_define ne "")
209{
Manuel Pégourié-Gonnarde546ad42015-04-08 20:27:02 +0200210 $ll_code_check .= "#endif /* ";
211 my $first = 0;
212 foreach my $dep (split(/,/, $ll_old_define))
213 {
214 $ll_code_check .= " || " if ($first++);
215 $ll_code_check .= "MBEDTLS_${dep}_C";
216 }
217 $ll_code_check .= " */\n";
Paul Bakker9d781402011-05-09 16:17:09 +0000218}
219if ($hl_old_define ne "")
220{
Manuel Pégourié-Gonnarde546ad42015-04-08 20:27:02 +0200221 $hl_code_check .= "#endif /* ";
222 my $first = 0;
223 foreach my $dep (split(/,/, $hl_old_define))
224 {
225 $hl_code_check .= " || " if ($first++);
226 $hl_code_check .= "MBEDTLS_${dep}_C";
227 }
228 $hl_code_check .= " */\n";
Paul Bakker9d781402011-05-09 16:17:09 +0000229}
230
231$error_format =~ s/HEADER_INCLUDED\n/$headers/g;
232$error_format =~ s/LOW_LEVEL_CODE_CHECKS\n/$ll_code_check/g;
233$error_format =~ s/HIGH_LEVEL_CODE_CHECKS\n/$hl_code_check/g;
234
235open(ERROR_FILE, ">$error_file") or die "Opening destination file '$error_file': $!";
236print ERROR_FILE $error_format;
237close(ERROR_FILE);