1 /* base64.c -- Encode binary data using printable characters.
2 Copyright (C) 1999-2001, 2004-2006, 2009-2012 Free Software Foundation, Inc.
3
4 This program is free software; you can redistribute it and/or modify
5 it under the terms of the GNU General Public License as published by
6 the Free Software Foundation; either version 2, or (at your option)
7 any later version.
8
9 This program is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 GNU General Public License for more details.
13
14 You should have received a copy of the GNU General Public License
15 along with this program; if not, see <http://www.gnu.org/licenses/>. */
16
17 /* Written by Simon Josefsson. Partially adapted from GNU MailUtils
18 * (mailbox/filter_trans.c, as of 2004-11-28). Improved by review
19 * from Paul Eggert, Bruno Haible, and Stepan Kasal.
20 *
21 * See also RFC 4648 <http://www.ietf.org/rfc/rfc4648.txt>.
22 *
23 * Be careful with error checking. Here is how you would typically
24 * use these functions:
25 *
26 * bool ok = base64_decode_alloc (in, inlen, &out, &outlen);
27 * if (!ok)
28 * FAIL: input was not valid base64
29 * if (out == NULL)
30 * FAIL: memory allocation error
31 * OK: data in OUT/OUTLEN
32 *
33 * size_t outlen = base64_encode_alloc (in, inlen, &out);
34 * if (out == NULL && outlen == 0 && inlen != 0)
35 * FAIL: input too long
36 * if (out == NULL)
37 * FAIL: memory allocation error
38 * OK: data in OUT/OUTLEN.
39 *
40 */
41
42 /* Get prototype. */
43 #include "base64.h"
44
45 /* Get malloc. */
46 #include <stdlib.h>
47
48 /* Get UCHAR_MAX. */
49 #include <limits.h>
50
51 #include <string.h>
52
53 /* C89 compliant way to cast 'char' to 'unsigned char'. */
54 static inline unsigned char
to_uchar(char ch)55 to_uchar (char ch)
56 {
57 return ch;
58 }
59
60 /* Base64 encode IN array of size INLEN into OUT array of size OUTLEN.
61 If OUTLEN is less than BASE64_LENGTH(INLEN), write as many bytes as
62 possible. If OUTLEN is larger than BASE64_LENGTH(INLEN), also zero
63 terminate the output buffer. */
64 void
base64_encode(const char * restrict in,size_t inlen,char * restrict out,size_t outlen)65 base64_encode (const char *restrict in, size_t inlen,
66 char *restrict out, size_t outlen)
67 {
68 static const char b64str[64] =
69 "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/";
70
71 while (inlen && outlen)
72 {
73 *out++ = b64str[(to_uchar (in[0]) >> 2) & 0x3f];
74 if (!--outlen)
75 break;
76 *out++ = b64str[((to_uchar (in[0]) << 4)
77 + (--inlen ? to_uchar (in[1]) >> 4 : 0))
78 & 0x3f];
79 if (!--outlen)
80 break;
81 *out++ =
82 (inlen
83 ? b64str[((to_uchar (in[1]) << 2)
84 + (--inlen ? to_uchar (in[2]) >> 6 : 0))
85 & 0x3f]
86 : '=');
87 if (!--outlen)
88 break;
89 *out++ = inlen ? b64str[to_uchar (in[2]) & 0x3f] : '=';
90 if (!--outlen)
91 break;
92 if (inlen)
93 inlen--;
94 if (inlen)
95 in += 3;
96 }
97
98 if (outlen)
99 *out = '\0';
100 }
101
102 /* Allocate a buffer and store zero terminated base64 encoded data
103 from array IN of size INLEN, returning BASE64_LENGTH(INLEN), i.e.,
104 the length of the encoded data, excluding the terminating zero. On
105 return, the OUT variable will hold a pointer to newly allocated
106 memory that must be deallocated by the caller. If output string
107 length would overflow, 0 is returned and OUT is set to NULL. If
108 memory allocation failed, OUT is set to NULL, and the return value
109 indicates length of the requested memory block, i.e.,
110 BASE64_LENGTH(inlen) + 1. */
111 size_t
base64_encode_alloc(const char * in,size_t inlen,char ** out)112 base64_encode_alloc (const char *in, size_t inlen, char **out)
113 {
114 size_t outlen = 1 + BASE64_LENGTH (inlen);
115
116 /* Check for overflow in outlen computation.
117 *
118 * If there is no overflow, outlen >= inlen.
119 *
120 * If the operation (inlen + 2) overflows then it yields at most +1, so
121 * outlen is 0.
122 *
123 * If the multiplication overflows, we lose at least half of the
124 * correct value, so the result is < ((inlen + 2) / 3) * 2, which is
125 * less than (inlen + 2) * 0.66667, which is less than inlen as soon as
126 * (inlen > 4).
127 */
128 if (inlen > outlen)
129 {
130 *out = NULL;
131 return 0;
132 }
133
134 *out = malloc (outlen);
135 if (!*out)
136 return outlen;
137
138 base64_encode (in, inlen, *out, outlen);
139
140 return outlen - 1;
141 }
142
143 /* With this approach this file works independent of the charset used
144 (think EBCDIC). However, it does assume that the characters in the
145 Base64 alphabet (A-Za-z0-9+/) are encoded in 0..255. POSIX
146 1003.1-2001 require that char and unsigned char are 8-bit
147 quantities, though, taking care of that problem. But this may be a
148 potential problem on non-POSIX C99 platforms.
149
150 IBM C V6 for AIX mishandles "#define B64(x) ...'x'...", so use "_"
151 as the formal parameter rather than "x". */
152 #define B64(_) \
153 ((_) == 'A' ? 0 \
154 : (_) == 'B' ? 1 \
155 : (_) == 'C' ? 2 \
156 : (_) == 'D' ? 3 \
157 : (_) == 'E' ? 4 \
158 : (_) == 'F' ? 5 \
159 : (_) == 'G' ? 6 \
160 : (_) == 'H' ? 7 \
161 : (_) == 'I' ? 8 \
162 : (_) == 'J' ? 9 \
163 : (_) == 'K' ? 10 \
164 : (_) == 'L' ? 11 \
165 : (_) == 'M' ? 12 \
166 : (_) == 'N' ? 13 \
167 : (_) == 'O' ? 14 \
168 : (_) == 'P' ? 15 \
169 : (_) == 'Q' ? 16 \
170 : (_) == 'R' ? 17 \
171 : (_) == 'S' ? 18 \
172 : (_) == 'T' ? 19 \
173 : (_) == 'U' ? 20 \
174 : (_) == 'V' ? 21 \
175 : (_) == 'W' ? 22 \
176 : (_) == 'X' ? 23 \
177 : (_) == 'Y' ? 24 \
178 : (_) == 'Z' ? 25 \
179 : (_) == 'a' ? 26 \
180 : (_) == 'b' ? 27 \
181 : (_) == 'c' ? 28 \
182 : (_) == 'd' ? 29 \
183 : (_) == 'e' ? 30 \
184 : (_) == 'f' ? 31 \
185 : (_) == 'g' ? 32 \
186 : (_) == 'h' ? 33 \
187 : (_) == 'i' ? 34 \
188 : (_) == 'j' ? 35 \
189 : (_) == 'k' ? 36 \
190 : (_) == 'l' ? 37 \
191 : (_) == 'm' ? 38 \
192 : (_) == 'n' ? 39 \
193 : (_) == 'o' ? 40 \
194 : (_) == 'p' ? 41 \
195 : (_) == 'q' ? 42 \
196 : (_) == 'r' ? 43 \
197 : (_) == 's' ? 44 \
198 : (_) == 't' ? 45 \
199 : (_) == 'u' ? 46 \
200 : (_) == 'v' ? 47 \
201 : (_) == 'w' ? 48 \
202 : (_) == 'x' ? 49 \
203 : (_) == 'y' ? 50 \
204 : (_) == 'z' ? 51 \
205 : (_) == '0' ? 52 \
206 : (_) == '1' ? 53 \
207 : (_) == '2' ? 54 \
208 : (_) == '3' ? 55 \
209 : (_) == '4' ? 56 \
210 : (_) == '5' ? 57 \
211 : (_) == '6' ? 58 \
212 : (_) == '7' ? 59 \
213 : (_) == '8' ? 60 \
214 : (_) == '9' ? 61 \
215 : (_) == '+' ? 62 \
216 : (_) == '/' ? 63 \
217 : -1)
218
219 static const signed char b64[0x100] = {
220 B64 (0), B64 (1), B64 (2), B64 (3),
221 B64 (4), B64 (5), B64 (6), B64 (7),
222 B64 (8), B64 (9), B64 (10), B64 (11),
223 B64 (12), B64 (13), B64 (14), B64 (15),
224 B64 (16), B64 (17), B64 (18), B64 (19),
225 B64 (20), B64 (21), B64 (22), B64 (23),
226 B64 (24), B64 (25), B64 (26), B64 (27),
227 B64 (28), B64 (29), B64 (30), B64 (31),
228 B64 (32), B64 (33), B64 (34), B64 (35),
229 B64 (36), B64 (37), B64 (38), B64 (39),
230 B64 (40), B64 (41), B64 (42), B64 (43),
231 B64 (44), B64 (45), B64 (46), B64 (47),
232 B64 (48), B64 (49), B64 (50), B64 (51),
233 B64 (52), B64 (53), B64 (54), B64 (55),
234 B64 (56), B64 (57), B64 (58), B64 (59),
235 B64 (60), B64 (61), B64 (62), B64 (63),
236 B64 (64), B64 (65), B64 (66), B64 (67),
237 B64 (68), B64 (69), B64 (70), B64 (71),
238 B64 (72), B64 (73), B64 (74), B64 (75),
239 B64 (76), B64 (77), B64 (78), B64 (79),
240 B64 (80), B64 (81), B64 (82), B64 (83),
241 B64 (84), B64 (85), B64 (86), B64 (87),
242 B64 (88), B64 (89), B64 (90), B64 (91),
243 B64 (92), B64 (93), B64 (94), B64 (95),
244 B64 (96), B64 (97), B64 (98), B64 (99),
245 B64 (100), B64 (101), B64 (102), B64 (103),
246 B64 (104), B64 (105), B64 (106), B64 (107),
247 B64 (108), B64 (109), B64 (110), B64 (111),
248 B64 (112), B64 (113), B64 (114), B64 (115),
249 B64 (116), B64 (117), B64 (118), B64 (119),
250 B64 (120), B64 (121), B64 (122), B64 (123),
251 B64 (124), B64 (125), B64 (126), B64 (127),
252 B64 (128), B64 (129), B64 (130), B64 (131),
253 B64 (132), B64 (133), B64 (134), B64 (135),
254 B64 (136), B64 (137), B64 (138), B64 (139),
255 B64 (140), B64 (141), B64 (142), B64 (143),
256 B64 (144), B64 (145), B64 (146), B64 (147),
257 B64 (148), B64 (149), B64 (150), B64 (151),
258 B64 (152), B64 (153), B64 (154), B64 (155),
259 B64 (156), B64 (157), B64 (158), B64 (159),
260 B64 (160), B64 (161), B64 (162), B64 (163),
261 B64 (164), B64 (165), B64 (166), B64 (167),
262 B64 (168), B64 (169), B64 (170), B64 (171),
263 B64 (172), B64 (173), B64 (174), B64 (175),
264 B64 (176), B64 (177), B64 (178), B64 (179),
265 B64 (180), B64 (181), B64 (182), B64 (183),
266 B64 (184), B64 (185), B64 (186), B64 (187),
267 B64 (188), B64 (189), B64 (190), B64 (191),
268 B64 (192), B64 (193), B64 (194), B64 (195),
269 B64 (196), B64 (197), B64 (198), B64 (199),
270 B64 (200), B64 (201), B64 (202), B64 (203),
271 B64 (204), B64 (205), B64 (206), B64 (207),
272 B64 (208), B64 (209), B64 (210), B64 (211),
273 B64 (212), B64 (213), B64 (214), B64 (215),
274 B64 (216), B64 (217), B64 (218), B64 (219),
275 B64 (220), B64 (221), B64 (222), B64 (223),
276 B64 (224), B64 (225), B64 (226), B64 (227),
277 B64 (228), B64 (229), B64 (230), B64 (231),
278 B64 (232), B64 (233), B64 (234), B64 (235),
279 B64 (236), B64 (237), B64 (238), B64 (239),
280 B64 (240), B64 (241), B64 (242), B64 (243),
281 B64 (244), B64 (245), B64 (246), B64 (247),
282 B64 (248), B64 (249), B64 (250), B64 (251),
283 B64 (252), B64 (253), B64 (254), B64 (255)
284 };
285
286 #if UCHAR_MAX == 255
287 # define uchar_in_range(c) true
288 #else
289 # define uchar_in_range(c) ((c) <= 255)
290 #endif
291
292 /* Return true if CH is a character from the Base64 alphabet, and
293 false otherwise. Note that '=' is padding and not considered to be
294 part of the alphabet. */
295 bool
isbase64(char ch)296 isbase64 (char ch)
297 {
298 return uchar_in_range (to_uchar (ch)) && 0 <= b64[to_uchar (ch)];
299 }
300
301 /* Initialize decode-context buffer, CTX. */
302 void
base64_decode_ctx_init(struct base64_decode_context * ctx)303 base64_decode_ctx_init (struct base64_decode_context *ctx)
304 {
305 ctx->i = 0;
306 }
307
308 /* If CTX->i is 0 or 4, there are four or more bytes in [*IN..IN_END), and
309 none of those four is a newline, then return *IN. Otherwise, copy up to
310 4 - CTX->i non-newline bytes from that range into CTX->buf, starting at
311 index CTX->i and setting CTX->i to reflect the number of bytes copied,
312 and return CTX->buf. In either case, advance *IN to point to the byte
313 after the last one processed, and set *N_NON_NEWLINE to the number of
314 verified non-newline bytes accessible through the returned pointer. */
315 static inline char *
get_4(struct base64_decode_context * ctx,char const * restrict * in,char const * restrict in_end,size_t * n_non_newline)316 get_4 (struct base64_decode_context *ctx,
317 char const *restrict *in, char const *restrict in_end,
318 size_t *n_non_newline)
319 {
320 if (ctx->i == 4)
321 ctx->i = 0;
322
323 if (ctx->i == 0)
324 {
325 char const *t = *in;
326 if (4 <= in_end - *in && memchr (t, '\n', 4) == NULL)
327 {
328 /* This is the common case: no newline. */
329 *in += 4;
330 *n_non_newline = 4;
331 return (char *) t;
332 }
333 }
334
335 {
336 /* Copy non-newline bytes into BUF. */
337 char const *p = *in;
338 while (p < in_end)
339 {
340 char c = *p++;
341 if (c != '\n')
342 {
343 ctx->buf[ctx->i++] = c;
344 if (ctx->i == 4)
345 break;
346 }
347 }
348
349 *in = p;
350 *n_non_newline = ctx->i;
351 return ctx->buf;
352 }
353 }
354
355 #define return_false \
356 do \
357 { \
358 *outp = out; \
359 return false; \
360 } \
361 while (false)
362
363 /* Decode up to four bytes of base64-encoded data, IN, of length INLEN
364 into the output buffer, *OUT, of size *OUTLEN bytes. Return true if
365 decoding is successful, false otherwise. If *OUTLEN is too small,
366 as many bytes as possible are written to *OUT. On return, advance
367 *OUT to point to the byte after the last one written, and decrement
368 *OUTLEN to reflect the number of bytes remaining in *OUT. */
369 static inline bool
decode_4(char const * restrict in,size_t inlen,char * restrict * outp,size_t * outleft)370 decode_4 (char const *restrict in, size_t inlen,
371 char *restrict *outp, size_t *outleft)
372 {
373 char *out = *outp;
374 if (inlen < 2)
375 return false;
376
377 if (!isbase64 (in[0]) || !isbase64 (in[1]))
378 return false;
379
380 if (*outleft)
381 {
382 *out++ = ((b64[to_uchar (in[0])] << 2)
383 | (b64[to_uchar (in[1])] >> 4));
384 --*outleft;
385 }
386
387 if (inlen == 2)
388 return_false;
389
390 if (in[2] == '=')
391 {
392 if (inlen != 4)
393 return_false;
394
395 if (in[3] != '=')
396 return_false;
397 }
398 else
399 {
400 if (!isbase64 (in[2]))
401 return_false;
402
403 if (*outleft)
404 {
405 *out++ = (((b64[to_uchar (in[1])] << 4) & 0xf0)
406 | (b64[to_uchar (in[2])] >> 2));
407 --*outleft;
408 }
409
410 if (inlen == 3)
411 return_false;
412
413 if (in[3] == '=')
414 {
415 if (inlen != 4)
416 return_false;
417 }
418 else
419 {
420 if (!isbase64 (in[3]))
421 return_false;
422
423 if (*outleft)
424 {
425 *out++ = (((b64[to_uchar (in[2])] << 6) & 0xc0)
426 | b64[to_uchar (in[3])]);
427 --*outleft;
428 }
429 }
430 }
431
432 *outp = out;
433 return true;
434 }
435
436 /* Decode base64-encoded input array IN of length INLEN to output array
437 OUT that can hold *OUTLEN bytes. The input data may be interspersed
438 with newlines. Return true if decoding was successful, i.e. if the
439 input was valid base64 data, false otherwise. If *OUTLEN is too
440 small, as many bytes as possible will be written to OUT. On return,
441 *OUTLEN holds the length of decoded bytes in OUT. Note that as soon
442 as any non-alphabet, non-newline character is encountered, decoding
443 is stopped and false is returned. If INLEN is zero, then process
444 only whatever data is stored in CTX.
445
446 Initially, CTX must have been initialized via base64_decode_ctx_init.
447 Subsequent calls to this function must reuse whatever state is recorded
448 in that buffer. It is necessary for when a quadruple of base64 input
449 bytes spans two input buffers.
450
451 If CTX is NULL then newlines are treated as garbage and the input
452 buffer is processed as a unit. */
453
454 bool
base64_decode_ctx(struct base64_decode_context * ctx,const char * restrict in,size_t inlen,char * restrict out,size_t * outlen)455 base64_decode_ctx (struct base64_decode_context *ctx,
456 const char *restrict in, size_t inlen,
457 char *restrict out, size_t *outlen)
458 {
459 size_t outleft = *outlen;
460 bool ignore_newlines = ctx != NULL;
461 bool flush_ctx = false;
462 unsigned int ctx_i = 0;
463
464 if (ignore_newlines)
465 {
466 ctx_i = ctx->i;
467 flush_ctx = inlen == 0;
468 }
469
470
471 while (true)
472 {
473 size_t outleft_save = outleft;
474 if (ctx_i == 0 && !flush_ctx)
475 {
476 while (true)
477 {
478 /* Save a copy of outleft, in case we need to re-parse this
479 block of four bytes. */
480 outleft_save = outleft;
481 if (!decode_4 (in, inlen, &out, &outleft))
482 break;
483
484 in += 4;
485 inlen -= 4;
486 }
487 }
488
489 if (inlen == 0 && !flush_ctx)
490 break;
491
492 /* Handle the common case of 72-byte wrapped lines.
493 This also handles any other multiple-of-4-byte wrapping. */
494 if (inlen && *in == '\n' && ignore_newlines)
495 {
496 ++in;
497 --inlen;
498 continue;
499 }
500
501 /* Restore OUT and OUTLEFT. */
502 out -= outleft_save - outleft;
503 outleft = outleft_save;
504
505 {
506 char const *in_end = in + inlen;
507 char const *non_nl;
508
509 if (ignore_newlines)
510 non_nl = get_4 (ctx, &in, in_end, &inlen);
511 else
512 non_nl = in; /* Might have nl in this case. */
513
514 /* If the input is empty or consists solely of newlines (0 non-newlines),
515 then we're done. Likewise if there are fewer than 4 bytes when not
516 flushing context and not treating newlines as garbage. */
517 if (inlen == 0 || (inlen < 4 && !flush_ctx && ignore_newlines))
518 {
519 inlen = 0;
520 break;
521 }
522 if (!decode_4 (non_nl, inlen, &out, &outleft))
523 break;
524
525 inlen = in_end - in;
526 }
527 }
528
529 *outlen -= outleft;
530
531 return inlen == 0;
532 }
533
534 /* Allocate an output buffer in *OUT, and decode the base64 encoded
535 data stored in IN of size INLEN to the *OUT buffer. On return, the
536 size of the decoded data is stored in *OUTLEN. OUTLEN may be NULL,
537 if the caller is not interested in the decoded length. *OUT may be
538 NULL to indicate an out of memory error, in which case *OUTLEN
539 contains the size of the memory block needed. The function returns
540 true on successful decoding and memory allocation errors. (Use the
541 *OUT and *OUTLEN parameters to differentiate between successful
542 decoding and memory error.) The function returns false if the
543 input was invalid, in which case *OUT is NULL and *OUTLEN is
544 undefined. */
545 bool
base64_decode_alloc_ctx(struct base64_decode_context * ctx,const char * in,size_t inlen,char ** out,size_t * outlen)546 base64_decode_alloc_ctx (struct base64_decode_context *ctx,
547 const char *in, size_t inlen, char **out,
548 size_t *outlen)
549 {
550 /* This may allocate a few bytes too many, depending on input,
551 but it's not worth the extra CPU time to compute the exact size.
552 The exact size is 3 * (inlen + (ctx ? ctx->i : 0)) / 4, minus 1 if the
553 input ends with "=" and minus another 1 if the input ends with "==".
554 Dividing before multiplying avoids the possibility of overflow. */
555 size_t needlen = 3 * (inlen / 4) + 3;
556
557 *out = malloc (needlen);
558 if (!*out)
559 return true;
560
561 if (!base64_decode_ctx (ctx, in, inlen, *out, &needlen))
562 {
563 free (*out);
564 *out = NULL;
565 return false;
566 }
567
568 if (outlen)
569 *outlen = needlen;
570
571 return true;
572 }
573