blob: 81e5c468d319e6c0d500f44e314ce73c65723fac [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,
6# or generate_errors.pl include_dir data_dir error_file
Bence Szépkúti700ee442020-05-26 00:33:31 +02007#
8# Copyright (C) 2011-2020, Arm Limited, All Rights Reserved
9#
10# This file is part of Mbed TLS (https://tls.mbed.org)
Paul Bakker9d781402011-05-09 16:17:09 +000011
12use strict;
13
Manuel Pégourié-Gonnardd66f9002014-05-09 13:40:14 +020014my ($include_dir, $data_dir, $error_file);
15
16if( @ARGV ) {
17 die "Invalid number of arguments" if scalar @ARGV != 3;
18 ($include_dir, $data_dir, $error_file) = @ARGV;
19
20 -d $include_dir or die "No such directory: $include_dir\n";
21 -d $data_dir or die "No such directory: $data_dir\n";
22} else {
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000023 $include_dir = 'include/mbedtls';
Manuel Pégourié-Gonnardd66f9002014-05-09 13:40:14 +020024 $data_dir = 'scripts/data_files';
25 $error_file = 'library/error.c';
26
27 unless( -d $include_dir && -d $data_dir ) {
28 chdir '..' or die;
29 -d $include_dir && -d $data_dir
30 or die "Without arguments, must be run from root or scripts\n"
31 }
32}
33
Paul Bakker9d781402011-05-09 16:17:09 +000034my $error_format_file = $data_dir.'/error.fmt';
35
Markku-Juhani O. Saarinen3c0b53b2017-11-30 16:00:34 +000036my @low_level_modules = qw( AES ARC4 ARIA ASN1 BASE64 BIGNUM BLOWFISH
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +020037 CAMELLIA CCM CHACHA20 CHACHAPOLY CMAC CTR_DRBG DES
Janos Follath60f6b642019-12-03 15:55:56 +000038 ENTROPY ERROR GCM HKDF HMAC_DRBG MD2 MD4 MD5
Gilles Peskine1fcf7212020-02-26 18:26:46 +010039 NET OID PADLOCK PBKDF2 PLATFORM POLY1305 RIPEMD160
Gilles Peskine92143272018-01-25 23:26:24 +010040 SHA1 SHA256 SHA512 THREADING XTEA );
41my @high_level_modules = qw( CIPHER DHM ECP MD
42 PEM PK PKCS12 PKCS5
Gilles Peskine314bc892020-02-26 18:28:25 +010043 RSA SSL X509 );
Paul Bakker9d781402011-05-09 16:17:09 +000044
45my $line_separator = $/;
46undef $/;
47
48open(FORMAT_FILE, "$error_format_file") or die "Opening error format file '$error_format_file': $!";
49my $error_format = <FORMAT_FILE>;
50close(FORMAT_FILE);
51
52$/ = $line_separator;
53
Andres Amaya Garciad2da6222017-10-17 21:23:15 +010054my @files = <$include_dir/*.h>;
Gilles Peskine5241f852020-05-25 12:21:22 +020055my @necessary_include_files;
Andres Amaya Garcia36855d62017-10-09 17:22:07 +010056my @matches;
57foreach my $file (@files) {
58 open(FILE, "$file");
Andres Amaya Garcia69944b12017-10-17 21:24:56 +010059 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 +010060 push(@matches, @grep_res);
61 close FILE;
Gilles Peskine5241f852020-05-25 12:21:22 +020062 my $include_name = $file;
63 $include_name =~ s!.*/!!;
64 push @necessary_include_files, $include_name if @grep_res;
Andres Amaya Garcia36855d62017-10-09 17:22:07 +010065}
Paul Bakker9d781402011-05-09 16:17:09 +000066
67my $ll_old_define = "";
68my $hl_old_define = "";
69
70my $ll_code_check = "";
71my $hl_code_check = "";
72
73my $headers = "";
Gilles Peskine5241f852020-05-25 12:21:22 +020074my %included_headers;
Paul Bakker9d781402011-05-09 16:17:09 +000075
Manuel Pégourié-Gonnarda9a99162015-01-22 13:19:20 +000076my %error_codes_seen;
77
Andres Amaya Garcia36855d62017-10-09 17:22:07 +010078foreach my $line (@matches)
Paul Bakker9d781402011-05-09 16:17:09 +000079{
Paul Bakker36713e82013-09-17 13:25:29 +020080 next if ($line =~ /compat-1.2.h/);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020081 my ($error_name, $error_code) = $line =~ /(MBEDTLS_ERR_\w+)\s+\-(0x\w+)/;
Paul Bakker9d781402011-05-09 16:17:09 +000082 my ($description) = $line =~ /\/\*\*< (.*?)\.? \*\//;
Manuel Pégourié-Gonnarda9a99162015-01-22 13:19:20 +000083
84 die "Duplicated error code: $error_code ($error_name)\n"
85 if( $error_codes_seen{$error_code}++ );
86
Paul Bakker9d781402011-05-09 16:17:09 +000087 $description =~ s/\\/\\\\/g;
Manuel Pégourié-Gonnarda9a99162015-01-22 13:19:20 +000088 if ($description eq "") {
89 $description = "DESCRIPTION MISSING";
90 warn "Missing description for $error_name\n";
91 }
Paul Bakker9d781402011-05-09 16:17:09 +000092
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020093 my ($module_name) = $error_name =~ /^MBEDTLS_ERR_([^_]+)/;
Paul Bakker9d781402011-05-09 16:17:09 +000094
95 # Fix faulty ones
96 $module_name = "BIGNUM" if ($module_name eq "MPI");
Paul Bakker880ac7e2011-11-27 14:50:49 +000097 $module_name = "CTR_DRBG" if ($module_name eq "CTR");
Manuel Pégourié-Gonnardcf383672014-02-01 10:22:21 +010098 $module_name = "HMAC_DRBG" if ($module_name eq "HMAC");
Paul Bakker9d781402011-05-09 16:17:09 +000099
100 my $define_name = $module_name;
Gilles Peskine1bf45e12020-02-26 18:28:23 +0100101 $define_name = "X509_USE,X509_CREATE" if ($define_name eq "X509");
Paul Bakkerdceecd82011-11-15 16:38:34 +0000102 $define_name = "ASN1_PARSE" if ($define_name eq "ASN1");
Gilles Peskine314bc892020-02-26 18:28:25 +0100103 $define_name = "SSL_TLS" if ($define_name eq "SSL");
Paul Bakkercff68422013-09-15 20:43:33 +0200104 $define_name = "PEM_PARSE,PEM_WRITE" if ($define_name eq "PEM");
Paul Bakker9d781402011-05-09 16:17:09 +0000105
106 my $include_name = $module_name;
107 $include_name =~ tr/A-Z/a-z/;
Paul Bakker9d781402011-05-09 16:17:09 +0000108
Gilles Peskine1fcf7212020-02-26 18:26:46 +0100109 # Fix faulty ones
110 $include_name = "net_sockets" if ($module_name eq "NET");
111
Gilles Peskine5241f852020-05-25 12:21:22 +0200112 $included_headers{"${include_name}.h"} = $module_name;
113
Paul Bakker9d781402011-05-09 16:17:09 +0000114 my $found_ll = grep $_ eq $module_name, @low_level_modules;
115 my $found_hl = grep $_ eq $module_name, @high_level_modules;
116 if (!$found_ll && !$found_hl)
117 {
Manuel Pégourié-Gonnard48573f82015-08-06 17:24:56 +0200118 printf("Error: Do not know how to handle: $module_name\n");
Paul Bakker9d781402011-05-09 16:17:09 +0000119 exit 1;
120 }
121
122 my $code_check;
123 my $old_define;
124 my $white_space;
Paul Bakkercff68422013-09-15 20:43:33 +0200125 my $first;
Paul Bakker9d781402011-05-09 16:17:09 +0000126
127 if ($found_ll)
128 {
129 $code_check = \$ll_code_check;
130 $old_define = \$ll_old_define;
Gaurav Aggarwala4a2aa52020-04-09 11:39:04 -0700131 $white_space = ' ';
Paul Bakker9d781402011-05-09 16:17:09 +0000132 }
133 else
134 {
135 $code_check = \$hl_code_check;
136 $old_define = \$hl_old_define;
Gaurav Aggarwala4a2aa52020-04-09 11:39:04 -0700137 $white_space = ' ';
Paul Bakker9d781402011-05-09 16:17:09 +0000138 }
139
140 if ($define_name ne ${$old_define})
141 {
142 if (${$old_define} ne "")
143 {
Paul Bakkercff68422013-09-15 20:43:33 +0200144 ${$code_check} .= "#endif /* ";
145 $first = 0;
146 foreach my $dep (split(/,/, ${$old_define}))
147 {
148 ${$code_check} .= " || " if ($first++);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200149 ${$code_check} .= "MBEDTLS_${dep}_C";
Paul Bakkercff68422013-09-15 20:43:33 +0200150 }
151 ${$code_check} .= " */\n\n";
Paul Bakker9d781402011-05-09 16:17:09 +0000152 }
153
Paul Bakkercff68422013-09-15 20:43:33 +0200154 ${$code_check} .= "#if ";
155 $headers .= "#if " if ($include_name ne "");
156 $first = 0;
157 foreach my $dep (split(/,/, ${define_name}))
158 {
159 ${$code_check} .= " || " if ($first);
160 $headers .= " || " if ($first++);
161
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200162 ${$code_check} .= "defined(MBEDTLS_${dep}_C)";
163 $headers .= "defined(MBEDTLS_${dep}_C)" if
Paul Bakkercff68422013-09-15 20:43:33 +0200164 ($include_name ne "");
165 }
166 ${$code_check} .= "\n";
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000167 $headers .= "\n#include \"mbedtls/${include_name}.h\"\n".
Paul Bakker9d781402011-05-09 16:17:09 +0000168 "#endif\n\n" if ($include_name ne "");
169 ${$old_define} = $define_name;
170 }
171
Gaurav Aggarwala4a2aa52020-04-09 11:39:04 -0700172 ${$code_check} .= "${white_space}case -($error_name):\n".
Gaurav Aggarwalcabde252020-04-22 08:13:25 -0700173 "${white_space} return( \"$module_name - $description\" );\n"
Paul Bakker9d781402011-05-09 16:17:09 +0000174};
175
176if ($ll_old_define ne "")
177{
Manuel Pégourié-Gonnarde546ad42015-04-08 20:27:02 +0200178 $ll_code_check .= "#endif /* ";
179 my $first = 0;
180 foreach my $dep (split(/,/, $ll_old_define))
181 {
182 $ll_code_check .= " || " if ($first++);
183 $ll_code_check .= "MBEDTLS_${dep}_C";
184 }
185 $ll_code_check .= " */\n";
Paul Bakker9d781402011-05-09 16:17:09 +0000186}
187if ($hl_old_define ne "")
188{
Manuel Pégourié-Gonnarde546ad42015-04-08 20:27:02 +0200189 $hl_code_check .= "#endif /* ";
190 my $first = 0;
191 foreach my $dep (split(/,/, $hl_old_define))
192 {
193 $hl_code_check .= " || " if ($first++);
194 $hl_code_check .= "MBEDTLS_${dep}_C";
195 }
196 $hl_code_check .= " */\n";
Paul Bakker9d781402011-05-09 16:17:09 +0000197}
198
199$error_format =~ s/HEADER_INCLUDED\n/$headers/g;
200$error_format =~ s/LOW_LEVEL_CODE_CHECKS\n/$ll_code_check/g;
201$error_format =~ s/HIGH_LEVEL_CODE_CHECKS\n/$hl_code_check/g;
202
203open(ERROR_FILE, ">$error_file") or die "Opening destination file '$error_file': $!";
204print ERROR_FILE $error_format;
205close(ERROR_FILE);
Gilles Peskine5241f852020-05-25 12:21:22 +0200206
207my $errors = 0;
208for my $include_name (@necessary_include_files)
209{
210 if (not $included_headers{$include_name})
211 {
212 print STDERR "The header file \"$include_name\" defines error codes but has not been included!\n";
213 ++$errors;
214 }
215}
216
217exit !!$errors;