blob: 7905b527cccbaee8a7cfeb088a89baf407cc17dd [file] [log] [blame]
Bence Szépkúti700ee442020-05-26 00:33:31 +02001/*
Bence Szépkúti1e148272020-08-07 13:07:28 +02002 * Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +00003 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Bence Szépkúti700ee442020-05-26 00:33:31 +02004 */
5
Gilles Peskine3f775262019-02-13 18:42:06 +01006#include <errno.h>
7#include <stdint.h>
Gilles Peskine029b5d62018-07-16 23:13:37 +02008#include <stdio.h>
9#include <stdlib.h>
10#include <string.h>
11
12#include "psa/crypto.h"
13
Darryl Green608e0912018-10-17 14:48:27 +010014/* This block is present to support Visual Studio builds prior to 2015 */
15#if defined(_MSC_VER) && _MSC_VER < 1900
16#include <stdarg.h>
Gilles Peskine449bd832023-01-11 14:50:10 +010017int snprintf(char *s, size_t n, const char *fmt, ...)
Darryl Green608e0912018-10-17 14:48:27 +010018{
19 int ret;
20 va_list argp;
21
22 /* Avoid calling the invalid parameter handler by checking ourselves */
Gilles Peskine449bd832023-01-11 14:50:10 +010023 if (s == NULL || n == 0 || fmt == NULL) {
24 return -1;
25 }
Darryl Green608e0912018-10-17 14:48:27 +010026
Gilles Peskine449bd832023-01-11 14:50:10 +010027 va_start(argp, fmt);
Darryl Green608e0912018-10-17 14:48:27 +010028#if defined(_TRUNCATE) && !defined(__MINGW32__)
Gilles Peskine449bd832023-01-11 14:50:10 +010029 ret = _vsnprintf_s(s, n, _TRUNCATE, fmt, argp);
Darryl Green608e0912018-10-17 14:48:27 +010030#else
Gilles Peskine449bd832023-01-11 14:50:10 +010031 ret = _vsnprintf(s, n, fmt, argp);
32 if (ret < 0 || (size_t) ret == n) {
Darryl Green608e0912018-10-17 14:48:27 +010033 s[n-1] = '\0';
34 ret = -1;
35 }
36#endif
Gilles Peskine449bd832023-01-11 14:50:10 +010037 va_end(argp);
Darryl Green608e0912018-10-17 14:48:27 +010038
Gilles Peskine449bd832023-01-11 14:50:10 +010039 return ret;
Darryl Green608e0912018-10-17 14:48:27 +010040}
41#endif
42
Gilles Peskine029b5d62018-07-16 23:13:37 +020043static void append(char **buffer, size_t buffer_size,
44 size_t *required_size,
45 const char *string, size_t length)
46{
47 *required_size += length;
48 if (*required_size < buffer_size) {
49 memcpy(*buffer, string, length);
50 *buffer += length;
51 }
52}
53
Gilles Peskine0deaf3d2018-08-20 15:06:39 +020054static void append_integer(char **buffer, size_t buffer_size,
55 size_t *required_size,
56 const char *format /*printf format for value*/,
57 unsigned long value)
58{
59 size_t n = snprintf(*buffer, buffer_size - *required_size, format, value);
Gilles Peskine449bd832023-01-11 14:50:10 +010060 if (n < buffer_size - *required_size) {
61 *buffer += n;
62 }
Gilles Peskine0deaf3d2018-08-20 15:06:39 +020063 *required_size += n;
64}
65
Gilles Peskine029b5d62018-07-16 23:13:37 +020066/* The code of these function is automatically generated and included below. */
Paul Elliott8ff510a2020-06-02 17:19:28 +010067static const char *psa_ecc_family_name(psa_ecc_family_t curve);
Paul Elliott75e27032020-06-03 15:17:39 +010068static const char *psa_dh_family_name(psa_dh_family_t group);
Gilles Peskine029b5d62018-07-16 23:13:37 +020069static const char *psa_hash_algorithm_name(psa_algorithm_t hash_alg);
70
71static void append_with_curve(char **buffer, size_t buffer_size,
72 size_t *required_size,
73 const char *string, size_t length,
Paul Elliott8ff510a2020-06-02 17:19:28 +010074 psa_ecc_family_t curve)
Gilles Peskine029b5d62018-07-16 23:13:37 +020075{
Paul Elliott8ff510a2020-06-02 17:19:28 +010076 const char *family_name = psa_ecc_family_name(curve);
Gilles Peskine029b5d62018-07-16 23:13:37 +020077 append(buffer, buffer_size, required_size, string, length);
78 append(buffer, buffer_size, required_size, "(", 1);
Paul Elliott8ff510a2020-06-02 17:19:28 +010079 if (family_name != NULL) {
Gilles Peskine029b5d62018-07-16 23:13:37 +020080 append(buffer, buffer_size, required_size,
Paul Elliott8ff510a2020-06-02 17:19:28 +010081 family_name, strlen(family_name));
Gilles Peskine029b5d62018-07-16 23:13:37 +020082 } else {
Gilles Peskine0deaf3d2018-08-20 15:06:39 +020083 append_integer(buffer, buffer_size, required_size,
Gilles Peskinef65ed6f2019-12-04 17:18:41 +010084 "0x%02x", curve);
Gilles Peskine029b5d62018-07-16 23:13:37 +020085 }
86 append(buffer, buffer_size, required_size, ")", 1);
87}
88
Gilles Peskinedcaefae2019-05-16 12:55:35 +020089static void append_with_group(char **buffer, size_t buffer_size,
90 size_t *required_size,
91 const char *string, size_t length,
Paul Elliott75e27032020-06-03 15:17:39 +010092 psa_dh_family_t group)
Gilles Peskinedcaefae2019-05-16 12:55:35 +020093{
Paul Elliott75e27032020-06-03 15:17:39 +010094 const char *group_name = psa_dh_family_name(group);
Gilles Peskinedcaefae2019-05-16 12:55:35 +020095 append(buffer, buffer_size, required_size, string, length);
96 append(buffer, buffer_size, required_size, "(", 1);
97 if (group_name != NULL) {
98 append(buffer, buffer_size, required_size,
99 group_name, strlen(group_name));
100 } else {
101 append_integer(buffer, buffer_size, required_size,
Gilles Peskinef65ed6f2019-12-04 17:18:41 +0100102 "0x%02x", group);
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200103 }
104 append(buffer, buffer_size, required_size, ")", 1);
105}
106
Gilles Peskine882e57e2019-04-12 00:12:07 +0200107typedef const char *(*psa_get_algorithm_name_func_ptr)(psa_algorithm_t alg);
108
109static void append_with_alg(char **buffer, size_t buffer_size,
110 size_t *required_size,
111 psa_get_algorithm_name_func_ptr get_name,
112 psa_algorithm_t alg)
Gilles Peskine029b5d62018-07-16 23:13:37 +0200113{
Gilles Peskine882e57e2019-04-12 00:12:07 +0200114 const char *name = get_name(alg);
115 if (name != NULL) {
Gilles Peskine029b5d62018-07-16 23:13:37 +0200116 append(buffer, buffer_size, required_size,
Gilles Peskine882e57e2019-04-12 00:12:07 +0200117 name, strlen(name));
Gilles Peskine029b5d62018-07-16 23:13:37 +0200118 } else {
Gilles Peskine0deaf3d2018-08-20 15:06:39 +0200119 append_integer(buffer, buffer_size, required_size,
Gilles Peskine882e57e2019-04-12 00:12:07 +0200120 "0x%08lx", alg);
Gilles Peskine029b5d62018-07-16 23:13:37 +0200121 }
Gilles Peskine029b5d62018-07-16 23:13:37 +0200122}
123
124#include "psa_constant_names_generated.c"
125
126static int psa_snprint_status(char *buffer, size_t buffer_size,
127 psa_status_t status)
128{
129 const char *name = psa_strerror(status);
130 if (name == NULL) {
131 return snprintf(buffer, buffer_size, "%ld", (long) status);
132 } else {
133 size_t length = strlen(name);
134 if (length < buffer_size) {
135 memcpy(buffer, name, length + 1);
Darryl Green18246962018-10-17 15:01:45 +0100136 return (int) length;
Gilles Peskine029b5d62018-07-16 23:13:37 +0200137 } else {
Darryl Green18246962018-10-17 15:01:45 +0100138 return (int) buffer_size;
Gilles Peskine029b5d62018-07-16 23:13:37 +0200139 }
140 }
141}
142
143static int psa_snprint_ecc_curve(char *buffer, size_t buffer_size,
Paul Elliott8ff510a2020-06-02 17:19:28 +0100144 psa_ecc_family_t curve)
Gilles Peskine029b5d62018-07-16 23:13:37 +0200145{
Paul Elliott8ff510a2020-06-02 17:19:28 +0100146 const char *name = psa_ecc_family_name(curve);
Gilles Peskine029b5d62018-07-16 23:13:37 +0200147 if (name == NULL) {
Gilles Peskinef65ed6f2019-12-04 17:18:41 +0100148 return snprintf(buffer, buffer_size, "0x%02x", (unsigned) curve);
Gilles Peskine029b5d62018-07-16 23:13:37 +0200149 } else {
150 size_t length = strlen(name);
151 if (length < buffer_size) {
152 memcpy(buffer, name, length + 1);
Darryl Green18246962018-10-17 15:01:45 +0100153 return (int) length;
Gilles Peskine029b5d62018-07-16 23:13:37 +0200154 } else {
Darryl Green18246962018-10-17 15:01:45 +0100155 return (int) buffer_size;
Gilles Peskine029b5d62018-07-16 23:13:37 +0200156 }
157 }
158}
159
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200160static int psa_snprint_dh_group(char *buffer, size_t buffer_size,
Paul Elliott75e27032020-06-03 15:17:39 +0100161 psa_dh_family_t group)
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200162{
Paul Elliott75e27032020-06-03 15:17:39 +0100163 const char *name = psa_dh_family_name(group);
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200164 if (name == NULL) {
Gilles Peskinef65ed6f2019-12-04 17:18:41 +0100165 return snprintf(buffer, buffer_size, "0x%02x", (unsigned) group);
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200166 } else {
167 size_t length = strlen(name);
168 if (length < buffer_size) {
169 memcpy(buffer, name, length + 1);
170 return (int) length;
171 } else {
172 return (int) buffer_size;
173 }
174 }
175}
176
Gilles Peskine029b5d62018-07-16 23:13:37 +0200177static void usage(const char *program_name)
178{
Gilles Peskine567840e2018-09-25 18:27:53 +0200179 printf("Usage: %s TYPE VALUE [VALUE...]\n",
Gilles Peskine029b5d62018-07-16 23:13:37 +0200180 program_name == NULL ? "psa_constant_names" : program_name);
181 printf("Print the symbolic name whose numerical value is VALUE in TYPE.\n");
182 printf("Supported types (with = between aliases):\n");
Gilles Peskine38808fa2018-08-20 15:07:37 +0200183 printf(" alg=algorithm Algorithm (psa_algorithm_t)\n");
Paul Elliott8ff510a2020-06-02 17:19:28 +0100184 printf(" curve=ecc_curve Elliptic curve identifier (psa_ecc_family_t)\n");
Paul Elliott75e27032020-06-03 15:17:39 +0100185 printf(" group=dh_group Diffie-Hellman group identifier (psa_dh_family_t)\n");
Gilles Peskine38808fa2018-08-20 15:07:37 +0200186 printf(" type=key_type Key type (psa_key_type_t)\n");
Gilles Peskine029b5d62018-07-16 23:13:37 +0200187 printf(" usage=key_usage Key usage (psa_key_usage_t)\n");
188 printf(" error=status Status code (psa_status_t)\n");
189}
190
Gilles Peskine567840e2018-09-25 18:27:53 +0200191typedef enum {
192 TYPE_STATUS,
Gilles Peskine3f775262019-02-13 18:42:06 +0100193} signed_value_type;
194
Michael Schuster6fa32fd2024-06-01 21:15:02 +0200195static int process_signed(signed_value_type type, long min, long max, char **argp)
Gilles Peskine3f775262019-02-13 18:42:06 +0100196{
197 for (; *argp != NULL; argp++) {
198 char buffer[200];
199 char *end;
200 long value = strtol(*argp, &end, 0);
201 if (*end) {
202 printf("Non-numeric value: %s\n", *argp);
203 return EXIT_FAILURE;
204 }
205 if (value < min || (errno == ERANGE && value < 0)) {
206 printf("Value too small: %s\n", *argp);
207 return EXIT_FAILURE;
208 }
209 if (value > max || (errno == ERANGE && value > 0)) {
210 printf("Value too large: %s\n", *argp);
211 return EXIT_FAILURE;
212 }
213
214 switch (type) {
215 case TYPE_STATUS:
216 psa_snprint_status(buffer, sizeof(buffer),
217 (psa_status_t) value);
218 break;
219 }
220 puts(buffer);
221 }
222
223 return EXIT_SUCCESS;
224}
225
226typedef enum {
Gilles Peskine567840e2018-09-25 18:27:53 +0200227 TYPE_ALGORITHM,
228 TYPE_ECC_CURVE,
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200229 TYPE_DH_GROUP,
Gilles Peskine567840e2018-09-25 18:27:53 +0200230 TYPE_KEY_TYPE,
231 TYPE_KEY_USAGE,
Gilles Peskine1b879842019-02-13 18:40:50 +0100232} unsigned_value_type;
Gilles Peskine567840e2018-09-25 18:27:53 +0200233
Michael Schuster6fa32fd2024-06-01 21:15:02 +0200234static int process_unsigned(unsigned_value_type type, unsigned long max, char **argp)
Gilles Peskine029b5d62018-07-16 23:13:37 +0200235{
Gilles Peskine1b879842019-02-13 18:40:50 +0100236 for (; *argp != NULL; argp++) {
Gilles Peskine567840e2018-09-25 18:27:53 +0200237 char buffer[200];
238 char *end;
Gilles Peskine1b879842019-02-13 18:40:50 +0100239 unsigned long value = strtoul(*argp, &end, 0);
Gilles Peskine567840e2018-09-25 18:27:53 +0200240 if (*end) {
Gilles Peskine1b879842019-02-13 18:40:50 +0100241 printf("Non-numeric value: %s\n", *argp);
Gilles Peskine567840e2018-09-25 18:27:53 +0200242 return EXIT_FAILURE;
243 }
Gilles Peskine3f775262019-02-13 18:42:06 +0100244 if (value > max || errno == ERANGE) {
Gilles Peskine1b879842019-02-13 18:40:50 +0100245 printf("Value out of range: %s\n", *argp);
Gilles Peskine265a1712018-10-31 14:52:28 +0100246 return EXIT_FAILURE;
247 }
Gilles Peskine567840e2018-09-25 18:27:53 +0200248
249 switch (type) {
Gilles Peskine567840e2018-09-25 18:27:53 +0200250 case TYPE_ALGORITHM:
251 psa_snprint_algorithm(buffer, sizeof(buffer),
252 (psa_algorithm_t) value);
253 break;
254 case TYPE_ECC_CURVE:
255 psa_snprint_ecc_curve(buffer, sizeof(buffer),
Paul Elliott8ff510a2020-06-02 17:19:28 +0100256 (psa_ecc_family_t) value);
Gilles Peskine567840e2018-09-25 18:27:53 +0200257 break;
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200258 case TYPE_DH_GROUP:
259 psa_snprint_dh_group(buffer, sizeof(buffer),
Paul Elliott75e27032020-06-03 15:17:39 +0100260 (psa_dh_family_t) value);
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200261 break;
Gilles Peskine567840e2018-09-25 18:27:53 +0200262 case TYPE_KEY_TYPE:
263 psa_snprint_key_type(buffer, sizeof(buffer),
264 (psa_key_type_t) value);
265 break;
266 case TYPE_KEY_USAGE:
267 psa_snprint_key_usage(buffer, sizeof(buffer),
268 (psa_key_usage_t) value);
269 break;
270 }
271 puts(buffer);
272 }
273
Gilles Peskine029b5d62018-07-16 23:13:37 +0200274 return EXIT_SUCCESS;
275}
Gilles Peskine1b879842019-02-13 18:40:50 +0100276
277int main(int argc, char *argv[])
278{
279 if (argc <= 1 ||
280 !strcmp(argv[1], "help") ||
Gilles Peskine449bd832023-01-11 14:50:10 +0100281 !strcmp(argv[1], "--help")) {
Gilles Peskine1b879842019-02-13 18:40:50 +0100282 usage(argv[0]);
283 return EXIT_FAILURE;
284 }
285
286 if (!strcmp(argv[1], "error") || !strcmp(argv[1], "status")) {
Gilles Peskine3f775262019-02-13 18:42:06 +0100287 /* There's no way to obtain the actual range of a signed type,
288 * so hard-code it here: psa_status_t is int32_t. */
289 return process_signed(TYPE_STATUS, INT32_MIN, INT32_MAX,
290 argv + 2);
Gilles Peskine1b879842019-02-13 18:40:50 +0100291 } else if (!strcmp(argv[1], "alg") || !strcmp(argv[1], "algorithm")) {
292 return process_unsigned(TYPE_ALGORITHM, (psa_algorithm_t) (-1),
293 argv + 2);
294 } else if (!strcmp(argv[1], "curve") || !strcmp(argv[1], "ecc_curve")) {
Paul Elliott8ff510a2020-06-02 17:19:28 +0100295 return process_unsigned(TYPE_ECC_CURVE, (psa_ecc_family_t) (-1),
Gilles Peskine1b879842019-02-13 18:40:50 +0100296 argv + 2);
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200297 } else if (!strcmp(argv[1], "group") || !strcmp(argv[1], "dh_group")) {
Paul Elliott75e27032020-06-03 15:17:39 +0100298 return process_unsigned(TYPE_DH_GROUP, (psa_dh_family_t) (-1),
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200299 argv + 2);
Gilles Peskine1b879842019-02-13 18:40:50 +0100300 } else if (!strcmp(argv[1], "type") || !strcmp(argv[1], "key_type")) {
301 return process_unsigned(TYPE_KEY_TYPE, (psa_key_type_t) (-1),
302 argv + 2);
303 } else if (!strcmp(argv[1], "usage") || !strcmp(argv[1], "key_usage")) {
304 return process_unsigned(TYPE_KEY_USAGE, (psa_key_usage_t) (-1),
305 argv + 2);
306 } else {
307 printf("Unknown type: %s\n", argv[1]);
308 return EXIT_FAILURE;
309 }
310}