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