1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
/*
* Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
*
* Licensed under the Apache License, Version 2.0 (the "License").
* You may not use this file except in compliance with the License.
* A copy of the License is located at
*
* http://aws.amazon.com/apache2.0
*
* or in the "license" file accompanying this file. This file is distributed
* on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either
* express or implied. See the License for the specific language governing
* permissions and limitations under the License.
*/
#include <openssl/evp.h>
#include <string.h>
#include "error/s2n_errno.h"
#include "stuffer/s2n_stuffer.h"
#include "utils/s2n_safety.h"
bool s2n_is_base64_char(unsigned char c)
{
/* use bitwise operations to minimize branching */
uint8_t out = 0;
out ^= (c >= 'A') & (c <= 'Z');
out ^= (c >= 'a') & (c <= 'z');
out ^= (c >= '0') & (c <= '9');
out ^= c == '+';
out ^= c == '/';
out ^= c == '=';
return out == 1;
}
/* We use the base64 decoding implementation from the libcrypto to allow for
* sidechannel-resistant base64 decoding. While OpenSSL doesn't support this,
* AWS-LC does.
*/
int s2n_stuffer_read_base64(struct s2n_stuffer *stuffer, struct s2n_stuffer *out)
{
POSIX_PRECONDITION(s2n_stuffer_validate(stuffer));
POSIX_PRECONDITION(s2n_stuffer_validate(out));
int base64_groups = s2n_stuffer_data_available(stuffer) / 4;
if (base64_groups == 0) {
return S2N_SUCCESS;
}
int base64_data_size = base64_groups * 4;
int binary_output_size = base64_groups * 3;
const uint32_t base64_data_offset = stuffer->read_cursor;
POSIX_GUARD(s2n_stuffer_skip_read(stuffer, base64_data_size));
const uint8_t *start_of_base64_data = stuffer->blob.data + base64_data_offset;
const uint32_t binary_output_offset = out->write_cursor;
POSIX_GUARD(s2n_stuffer_skip_write(out, binary_output_size));
uint8_t *start_of_binary_output = out->blob.data + binary_output_offset;
/* https://docs.openssl.org/master/man3/EVP_EncodeInit/
* > This function will return the length of the data decoded or -1 on error. */
int res = EVP_DecodeBlock(start_of_binary_output, start_of_base64_data, base64_data_size);
POSIX_ENSURE(res == binary_output_size, S2N_ERR_INVALID_BASE64);
/* https://docs.openssl.org/1.1.1/man3/EVP_EncodeInit/
* > The output will be padded with 0 bits if necessary to ensure that the
* > output is always 3 bytes for every 4 input bytes.
* FFFF -> 0x14 0x51 0x45
* FFF= -> 0x14 0x51 0x00
* FF== -> 0x14 0x00 0x00
* F=== -> INVALID
*/
/* manually unrolled loop to prevent CBMC errors */
POSIX_ENSURE_GTE(stuffer->read_cursor, 2);
if (stuffer->blob.data[stuffer->read_cursor - 1] == '=') {
out->write_cursor -= 1;
}
if (stuffer->blob.data[stuffer->read_cursor - 2] == '=') {
out->write_cursor -= 1;
}
return S2N_SUCCESS;
}
int s2n_stuffer_write_base64(struct s2n_stuffer *stuffer, struct s2n_stuffer *in)
{
POSIX_PRECONDITION(s2n_stuffer_validate(stuffer));
POSIX_PRECONDITION(s2n_stuffer_validate(in));
int binary_data_size = s2n_stuffer_data_available(in);
if (binary_data_size == 0) {
return S2N_SUCCESS;
}
int base64_groups = binary_data_size / 3;
/* we will need to add a final padded block */
if (binary_data_size % 3 != 0) {
base64_groups++;
}
int base64_output_size = base64_groups * 4;
/* Null terminator is added */
base64_output_size += 1;
const uint32_t binary_data_offset = in->read_cursor;
POSIX_GUARD(s2n_stuffer_skip_read(in, binary_data_size));
const uint8_t *start_of_binary_data = in->blob.data + binary_data_offset;
const uint32_t base64_output_offset = stuffer->write_cursor;
POSIX_GUARD(s2n_stuffer_skip_write(stuffer, base64_output_size));
uint8_t *start_of_base64_output = stuffer->blob.data + base64_output_offset;
/* https://docs.openssl.org/master/man3/EVP_EncodeInit/
* > The length of the data generated without the NUL terminator is returned from the function. */
int res = EVP_EncodeBlock(start_of_base64_output, start_of_binary_data, binary_data_size);
POSIX_ENSURE(res == base64_output_size - 1, S2N_ERR_INVALID_BASE64);
POSIX_GUARD(s2n_stuffer_wipe_n(stuffer, 1));
return S2N_SUCCESS;
}
|
