blob: 4e030ce9d0a70eac79f5fb5d6a2cb161c99e5491 [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 Rodgman7ff79652023-11-03 12:04:52 +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 Peskine1b6c09a2023-01-11 14:52:35 +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 Peskine1b6c09a2023-01-11 14:52:35 +010023 if (s == NULL || n == 0 || fmt == NULL) {
24 return -1;
25 }
Darryl Green608e0912018-10-17 14:48:27 +010026
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010027 va_start(argp, fmt);
Darryl Green608e0912018-10-17 14:48:27 +010028#if defined(_TRUNCATE) && !defined(__MINGW32__)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010029 ret = _vsnprintf_s(s, n, _TRUNCATE, fmt, argp);
Darryl Green608e0912018-10-17 14:48:27 +010030#else
Gilles Peskine1b6c09a2023-01-11 14:52:35 +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 Peskine1b6c09a2023-01-11 14:52:35 +010037 va_end(argp);
Darryl Green608e0912018-10-17 14:48:27 +010038
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010039 return ret;
Darryl Green608e0912018-10-17 14:48:27 +010040}
41#endif
42
Gilles Peskine029b5d62018-07-16 23:13:37 +020043/* There are different GET_HASH macros for different kinds of algorithms
44 * built from hashes, but the values are all constructed on the
45 * same model. */
46#define PSA_ALG_GET_HASH(alg) \
47 (((alg) & PSA_ALG_HASH_MASK) | PSA_ALG_CATEGORY_HASH)
48
49static void append(char **buffer, size_t buffer_size,
50 size_t *required_size,
51 const char *string, size_t length)
52{
53 *required_size += length;
54 if (*required_size < buffer_size) {
55 memcpy(*buffer, string, length);
56 *buffer += length;
57 }
58}
59
Gilles Peskine0deaf3d2018-08-20 15:06:39 +020060static void append_integer(char **buffer, size_t buffer_size,
61 size_t *required_size,
62 const char *format /*printf format for value*/,
63 unsigned long value)
64{
65 size_t n = snprintf(*buffer, buffer_size - *required_size, format, value);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010066 if (n < buffer_size - *required_size) {
67 *buffer += n;
68 }
Gilles Peskine0deaf3d2018-08-20 15:06:39 +020069 *required_size += n;
70}
71
Gilles Peskine029b5d62018-07-16 23:13:37 +020072/* The code of these function is automatically generated and included below. */
Paul Elliott8ff510a2020-06-02 17:19:28 +010073static const char *psa_ecc_family_name(psa_ecc_family_t curve);
Paul Elliott75e27032020-06-03 15:17:39 +010074static const char *psa_dh_family_name(psa_dh_family_t group);
Gilles Peskine029b5d62018-07-16 23:13:37 +020075static const char *psa_hash_algorithm_name(psa_algorithm_t hash_alg);
76
77static void append_with_curve(char **buffer, size_t buffer_size,
78 size_t *required_size,
79 const char *string, size_t length,
Paul Elliott8ff510a2020-06-02 17:19:28 +010080 psa_ecc_family_t curve)
Gilles Peskine029b5d62018-07-16 23:13:37 +020081{
Paul Elliott8ff510a2020-06-02 17:19:28 +010082 const char *family_name = psa_ecc_family_name(curve);
Gilles Peskine029b5d62018-07-16 23:13:37 +020083 append(buffer, buffer_size, required_size, string, length);
84 append(buffer, buffer_size, required_size, "(", 1);
Paul Elliott8ff510a2020-06-02 17:19:28 +010085 if (family_name != NULL) {
Gilles Peskine029b5d62018-07-16 23:13:37 +020086 append(buffer, buffer_size, required_size,
Paul Elliott8ff510a2020-06-02 17:19:28 +010087 family_name, strlen(family_name));
Gilles Peskine029b5d62018-07-16 23:13:37 +020088 } else {
Gilles Peskine0deaf3d2018-08-20 15:06:39 +020089 append_integer(buffer, buffer_size, required_size,
Gilles Peskinef65ed6f2019-12-04 17:18:41 +010090 "0x%02x", curve);
Gilles Peskine029b5d62018-07-16 23:13:37 +020091 }
92 append(buffer, buffer_size, required_size, ")", 1);
93}
94
Gilles Peskinedcaefae2019-05-16 12:55:35 +020095static void append_with_group(char **buffer, size_t buffer_size,
96 size_t *required_size,
97 const char *string, size_t length,
Paul Elliott75e27032020-06-03 15:17:39 +010098 psa_dh_family_t group)
Gilles Peskinedcaefae2019-05-16 12:55:35 +020099{
Paul Elliott75e27032020-06-03 15:17:39 +0100100 const char *group_name = psa_dh_family_name(group);
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200101 append(buffer, buffer_size, required_size, string, length);
102 append(buffer, buffer_size, required_size, "(", 1);
103 if (group_name != NULL) {
104 append(buffer, buffer_size, required_size,
105 group_name, strlen(group_name));
106 } else {
107 append_integer(buffer, buffer_size, required_size,
Gilles Peskinef65ed6f2019-12-04 17:18:41 +0100108 "0x%02x", group);
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200109 }
110 append(buffer, buffer_size, required_size, ")", 1);
111}
112
Gilles Peskine882e57e2019-04-12 00:12:07 +0200113typedef const char *(*psa_get_algorithm_name_func_ptr)(psa_algorithm_t alg);
114
115static void append_with_alg(char **buffer, size_t buffer_size,
116 size_t *required_size,
117 psa_get_algorithm_name_func_ptr get_name,
118 psa_algorithm_t alg)
Gilles Peskine029b5d62018-07-16 23:13:37 +0200119{
Gilles Peskine882e57e2019-04-12 00:12:07 +0200120 const char *name = get_name(alg);
121 if (name != NULL) {
Gilles Peskine029b5d62018-07-16 23:13:37 +0200122 append(buffer, buffer_size, required_size,
Gilles Peskine882e57e2019-04-12 00:12:07 +0200123 name, strlen(name));
Gilles Peskine029b5d62018-07-16 23:13:37 +0200124 } else {
Gilles Peskine0deaf3d2018-08-20 15:06:39 +0200125 append_integer(buffer, buffer_size, required_size,
Gilles Peskine882e57e2019-04-12 00:12:07 +0200126 "0x%08lx", alg);
Gilles Peskine029b5d62018-07-16 23:13:37 +0200127 }
Gilles Peskine029b5d62018-07-16 23:13:37 +0200128}
129
130#include "psa_constant_names_generated.c"
131
132static int psa_snprint_status(char *buffer, size_t buffer_size,
133 psa_status_t status)
134{
135 const char *name = psa_strerror(status);
136 if (name == NULL) {
137 return snprintf(buffer, buffer_size, "%ld", (long) status);
138 } else {
139 size_t length = strlen(name);
140 if (length < buffer_size) {
141 memcpy(buffer, name, length + 1);
Darryl Green18246962018-10-17 15:01:45 +0100142 return (int) length;
Gilles Peskine029b5d62018-07-16 23:13:37 +0200143 } else {
Darryl Green18246962018-10-17 15:01:45 +0100144 return (int) buffer_size;
Gilles Peskine029b5d62018-07-16 23:13:37 +0200145 }
146 }
147}
148
149static int psa_snprint_ecc_curve(char *buffer, size_t buffer_size,
Paul Elliott8ff510a2020-06-02 17:19:28 +0100150 psa_ecc_family_t curve)
Gilles Peskine029b5d62018-07-16 23:13:37 +0200151{
Paul Elliott8ff510a2020-06-02 17:19:28 +0100152 const char *name = psa_ecc_family_name(curve);
Gilles Peskine029b5d62018-07-16 23:13:37 +0200153 if (name == NULL) {
Gilles Peskinef65ed6f2019-12-04 17:18:41 +0100154 return snprintf(buffer, buffer_size, "0x%02x", (unsigned) curve);
Gilles Peskine029b5d62018-07-16 23:13:37 +0200155 } else {
156 size_t length = strlen(name);
157 if (length < buffer_size) {
158 memcpy(buffer, name, length + 1);
Darryl Green18246962018-10-17 15:01:45 +0100159 return (int) length;
Gilles Peskine029b5d62018-07-16 23:13:37 +0200160 } else {
Darryl Green18246962018-10-17 15:01:45 +0100161 return (int) buffer_size;
Gilles Peskine029b5d62018-07-16 23:13:37 +0200162 }
163 }
164}
165
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200166static int psa_snprint_dh_group(char *buffer, size_t buffer_size,
Paul Elliott75e27032020-06-03 15:17:39 +0100167 psa_dh_family_t group)
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200168{
Paul Elliott75e27032020-06-03 15:17:39 +0100169 const char *name = psa_dh_family_name(group);
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200170 if (name == NULL) {
Gilles Peskinef65ed6f2019-12-04 17:18:41 +0100171 return snprintf(buffer, buffer_size, "0x%02x", (unsigned) group);
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200172 } else {
173 size_t length = strlen(name);
174 if (length < buffer_size) {
175 memcpy(buffer, name, length + 1);
176 return (int) length;
177 } else {
178 return (int) buffer_size;
179 }
180 }
181}
182
Gilles Peskine029b5d62018-07-16 23:13:37 +0200183static void usage(const char *program_name)
184{
Gilles Peskine567840e2018-09-25 18:27:53 +0200185 printf("Usage: %s TYPE VALUE [VALUE...]\n",
Gilles Peskine029b5d62018-07-16 23:13:37 +0200186 program_name == NULL ? "psa_constant_names" : program_name);
187 printf("Print the symbolic name whose numerical value is VALUE in TYPE.\n");
188 printf("Supported types (with = between aliases):\n");
Gilles Peskine38808fa2018-08-20 15:07:37 +0200189 printf(" alg=algorithm Algorithm (psa_algorithm_t)\n");
Paul Elliott8ff510a2020-06-02 17:19:28 +0100190 printf(" curve=ecc_curve Elliptic curve identifier (psa_ecc_family_t)\n");
Paul Elliott75e27032020-06-03 15:17:39 +0100191 printf(" group=dh_group Diffie-Hellman group identifier (psa_dh_family_t)\n");
Gilles Peskine38808fa2018-08-20 15:07:37 +0200192 printf(" type=key_type Key type (psa_key_type_t)\n");
Gilles Peskine029b5d62018-07-16 23:13:37 +0200193 printf(" usage=key_usage Key usage (psa_key_usage_t)\n");
194 printf(" error=status Status code (psa_status_t)\n");
195}
196
Gilles Peskine567840e2018-09-25 18:27:53 +0200197typedef enum {
198 TYPE_STATUS,
Gilles Peskine3f775262019-02-13 18:42:06 +0100199} signed_value_type;
200
201int process_signed(signed_value_type type, long min, long max, char **argp)
202{
203 for (; *argp != NULL; argp++) {
204 char buffer[200];
205 char *end;
206 long value = strtol(*argp, &end, 0);
207 if (*end) {
208 printf("Non-numeric value: %s\n", *argp);
209 return EXIT_FAILURE;
210 }
211 if (value < min || (errno == ERANGE && value < 0)) {
212 printf("Value too small: %s\n", *argp);
213 return EXIT_FAILURE;
214 }
215 if (value > max || (errno == ERANGE && value > 0)) {
216 printf("Value too large: %s\n", *argp);
217 return EXIT_FAILURE;
218 }
219
220 switch (type) {
221 case TYPE_STATUS:
222 psa_snprint_status(buffer, sizeof(buffer),
223 (psa_status_t) value);
224 break;
225 }
226 puts(buffer);
227 }
228
229 return EXIT_SUCCESS;
230}
231
232typedef enum {
Gilles Peskine567840e2018-09-25 18:27:53 +0200233 TYPE_ALGORITHM,
234 TYPE_ECC_CURVE,
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200235 TYPE_DH_GROUP,
Gilles Peskine567840e2018-09-25 18:27:53 +0200236 TYPE_KEY_TYPE,
237 TYPE_KEY_USAGE,
Gilles Peskine1b879842019-02-13 18:40:50 +0100238} unsigned_value_type;
Gilles Peskine567840e2018-09-25 18:27:53 +0200239
Gilles Peskine1b879842019-02-13 18:40:50 +0100240int process_unsigned(unsigned_value_type type, unsigned long max, char **argp)
Gilles Peskine029b5d62018-07-16 23:13:37 +0200241{
Gilles Peskine1b879842019-02-13 18:40:50 +0100242 for (; *argp != NULL; argp++) {
Gilles Peskine567840e2018-09-25 18:27:53 +0200243 char buffer[200];
244 char *end;
Gilles Peskine1b879842019-02-13 18:40:50 +0100245 unsigned long value = strtoul(*argp, &end, 0);
Gilles Peskine567840e2018-09-25 18:27:53 +0200246 if (*end) {
Gilles Peskine1b879842019-02-13 18:40:50 +0100247 printf("Non-numeric value: %s\n", *argp);
Gilles Peskine567840e2018-09-25 18:27:53 +0200248 return EXIT_FAILURE;
249 }
Gilles Peskine3f775262019-02-13 18:42:06 +0100250 if (value > max || errno == ERANGE) {
Gilles Peskine1b879842019-02-13 18:40:50 +0100251 printf("Value out of range: %s\n", *argp);
Gilles Peskine265a1712018-10-31 14:52:28 +0100252 return EXIT_FAILURE;
253 }
Gilles Peskine567840e2018-09-25 18:27:53 +0200254
255 switch (type) {
Gilles Peskine567840e2018-09-25 18:27:53 +0200256 case TYPE_ALGORITHM:
257 psa_snprint_algorithm(buffer, sizeof(buffer),
258 (psa_algorithm_t) value);
259 break;
260 case TYPE_ECC_CURVE:
261 psa_snprint_ecc_curve(buffer, sizeof(buffer),
Paul Elliott8ff510a2020-06-02 17:19:28 +0100262 (psa_ecc_family_t) value);
Gilles Peskine567840e2018-09-25 18:27:53 +0200263 break;
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200264 case TYPE_DH_GROUP:
265 psa_snprint_dh_group(buffer, sizeof(buffer),
Paul Elliott75e27032020-06-03 15:17:39 +0100266 (psa_dh_family_t) value);
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200267 break;
Gilles Peskine567840e2018-09-25 18:27:53 +0200268 case TYPE_KEY_TYPE:
269 psa_snprint_key_type(buffer, sizeof(buffer),
270 (psa_key_type_t) value);
271 break;
272 case TYPE_KEY_USAGE:
273 psa_snprint_key_usage(buffer, sizeof(buffer),
274 (psa_key_usage_t) value);
275 break;
276 }
277 puts(buffer);
278 }
279
Gilles Peskine029b5d62018-07-16 23:13:37 +0200280 return EXIT_SUCCESS;
281}
Gilles Peskine1b879842019-02-13 18:40:50 +0100282
283int main(int argc, char *argv[])
284{
285 if (argc <= 1 ||
286 !strcmp(argv[1], "help") ||
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100287 !strcmp(argv[1], "--help")) {
Gilles Peskine1b879842019-02-13 18:40:50 +0100288 usage(argv[0]);
289 return EXIT_FAILURE;
290 }
291
292 if (!strcmp(argv[1], "error") || !strcmp(argv[1], "status")) {
Gilles Peskine3f775262019-02-13 18:42:06 +0100293 /* There's no way to obtain the actual range of a signed type,
294 * so hard-code it here: psa_status_t is int32_t. */
295 return process_signed(TYPE_STATUS, INT32_MIN, INT32_MAX,
296 argv + 2);
Gilles Peskine1b879842019-02-13 18:40:50 +0100297 } else if (!strcmp(argv[1], "alg") || !strcmp(argv[1], "algorithm")) {
298 return process_unsigned(TYPE_ALGORITHM, (psa_algorithm_t) (-1),
299 argv + 2);
300 } else if (!strcmp(argv[1], "curve") || !strcmp(argv[1], "ecc_curve")) {
Paul Elliott8ff510a2020-06-02 17:19:28 +0100301 return process_unsigned(TYPE_ECC_CURVE, (psa_ecc_family_t) (-1),
Gilles Peskine1b879842019-02-13 18:40:50 +0100302 argv + 2);
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200303 } else if (!strcmp(argv[1], "group") || !strcmp(argv[1], "dh_group")) {
Paul Elliott75e27032020-06-03 15:17:39 +0100304 return process_unsigned(TYPE_DH_GROUP, (psa_dh_family_t) (-1),
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200305 argv + 2);
Gilles Peskine1b879842019-02-13 18:40:50 +0100306 } else if (!strcmp(argv[1], "type") || !strcmp(argv[1], "key_type")) {
307 return process_unsigned(TYPE_KEY_TYPE, (psa_key_type_t) (-1),
308 argv + 2);
309 } else if (!strcmp(argv[1], "usage") || !strcmp(argv[1], "key_usage")) {
310 return process_unsigned(TYPE_KEY_USAGE, (psa_key_usage_t) (-1),
311 argv + 2);
312 } else {
313 printf("Unknown type: %s\n", argv[1]);
314 return EXIT_FAILURE;
315 }
316}