blob: f660d7c42fafbf4470b90b0d13f6d66cb14ad55d [file] [log] [blame]
Laurence Lundbladeb69cad72018-09-13 11:09:01 -07001/*==============================================================================
Laurence Lundbladed92a6162018-11-01 11:38:35 +07002 Copyright (c) 2016-2018, The Linux Foundation.
3 Copyright (c) 2018, Laurence Lundblade.
4 All rights reserved.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -08005
Laurence Lundblade0dbc9172018-11-01 14:17:21 +07006Redistribution and use in source and binary forms, with or without
7modification, are permitted provided that the following conditions are
8met:
9 * Redistributions of source code must retain the above copyright
10 notice, this list of conditions and the following disclaimer.
11 * Redistributions in binary form must reproduce the above
12 copyright notice, this list of conditions and the following
13 disclaimer in the documentation and/or other materials provided
14 with the distribution.
15 * Neither the name of The Linux Foundation nor the names of its
16 contributors, nor the name "Laurence Lundblade" may be used to
17 endorse or promote products derived from this software without
18 specific prior written permission.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -080019
Laurence Lundblade0dbc9172018-11-01 14:17:21 +070020THIS SOFTWARE IS PROVIDED "AS IS" AND ANY EXPRESS OR IMPLIED
21WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
22MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT
23ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS
24BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
25CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
26SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
27BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
28WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
29OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN
30IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
Laurence Lundblade624405d2018-09-18 20:10:47 -070031 ==============================================================================*/
32
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070033/*===================================================================================
34 FILE: qcbor_encode.c
Laurence Lundblade3aee3a32018-12-17 16:17:45 -080035
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070036 DESCRIPTION: This file contains the implementation of QCBOR.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -080037
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070038 EDIT HISTORY FOR FILE:
Laurence Lundblade3aee3a32018-12-17 16:17:45 -080039
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070040 This section contains comments describing changes made to the module.
41 Notice that changes are listed in reverse chronological order.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -080042
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070043 when who what, where, why
44 -------- ---- ---------------------------------------------------
Laurence Lundblade067035b2018-11-28 17:35:25 -080045 11/29/18 llundblade Rework to simpler handling of tags and labels.
46 11/9/18 llundblade Error codes are now enums.
47 11/1/18 llundblade Floating support.
48 10/31/18 llundblade Switch to one license that is almost BSD-3.
49 09/28/18 llundblade Added bstr wrapping feature for COSE implementation.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -080050 02/05/18 llundbla Works on CPUs which require integer alignment.
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070051 Requires new version of UsefulBuf.
52 07/05/17 llundbla Add bstr wrapping of maps/arrays for COSE
53 03/01/17 llundbla More data types
54 11/13/16 llundbla Integrate most TZ changes back into github version.
55 09/30/16 gkanike Porting to TZ.
56 03/15/16 llundbla Initial Version.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -080057
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070058 =====================================================================================*/
59
60#include "qcbor.h"
Laurence Lundblade12d32c52018-09-19 11:25:27 -070061#include "ieee754.h"
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070062
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070063
64/*...... This is a ruler that is 80 characters long...........................*/
65
66
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070067/*
68 CBOR's two nesting types, arrays and maps, are tracked here. There is a
69 limit of QCBOR_MAX_ARRAY_NESTING to the number of arrays and maps
70 that can be nested in one encoding so the encoding context stays
71 small enough to fit on the stack.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -080072
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070073 When an array / map is opened, pCurrentNesting points to the element
74 in pArrays that records the type, start position and accumluates a
75 count of the number of items added. When closed the start position is
76 used to go back and fill in the type and number of items in the array
77 / map.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -080078
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070079 Encoded output be just items like ints and strings that are
80 not part of any array / map. That is, the first thing encoded
81 does not have to be an array or a map.
82 */
83inline static void Nesting_Init(QCBORTrackNesting *pNesting)
84{
85 // assumes pNesting has been zeroed
86 pNesting->pCurrentNesting = &pNesting->pArrays[0];
87 // Implied CBOR array at the top nesting level. This is never returned,
88 // but makes the item count work correctly.
89 pNesting->pCurrentNesting->uMajorType = CBOR_MAJOR_TYPE_ARRAY;
90}
91
Laurence Lundblade30816f22018-11-10 13:40:22 +070092inline static QCBORError Nesting_Increase(QCBORTrackNesting *pNesting, uint8_t uMajorType, uint32_t uPos)
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070093{
Laurence Lundblade30816f22018-11-10 13:40:22 +070094 QCBORError nReturn = QCBOR_SUCCESS;
Laurence Lundblade3aee3a32018-12-17 16:17:45 -080095
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070096 if(pNesting->pCurrentNesting == &pNesting->pArrays[QCBOR_MAX_ARRAY_NESTING]) {
97 // trying to open one too many
98 nReturn = QCBOR_ERR_ARRAY_NESTING_TOO_DEEP;
99 } else {
100 pNesting->pCurrentNesting++;
101 pNesting->pCurrentNesting->uCount = 0;
102 pNesting->pCurrentNesting->uStart = uPos;
103 pNesting->pCurrentNesting->uMajorType = uMajorType;
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700104 }
105 return nReturn;
106}
107
108inline static void Nesting_Decrease(QCBORTrackNesting *pNesting)
109{
110 pNesting->pCurrentNesting--;
111}
112
Laurence Lundblade30816f22018-11-10 13:40:22 +0700113inline static QCBORError Nesting_Increment(QCBORTrackNesting *pNesting, uint16_t uAmount)
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700114{
115 if(uAmount >= QCBOR_MAX_ITEMS_IN_ARRAY - pNesting->pCurrentNesting->uCount) {
116 return QCBOR_ERR_ARRAY_TOO_LONG;
117 }
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800118
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700119 pNesting->pCurrentNesting->uCount += uAmount;
120 return QCBOR_SUCCESS;
121}
122
123inline static uint16_t Nesting_GetCount(QCBORTrackNesting *pNesting)
124{
125 // The nesting count recorded is always the actual number of individiual
126 // data items in the array or map. For arrays CBOR uses the actual item
127 // count. For maps, CBOR uses the number of pairs. This function returns
128 // the number needed for the CBOR encoding, so it divides the number of
129 // items by two for maps to get the number of pairs. This implementation
130 // takes advantage of the map major type being one larger the array major
131 // type, hence the subtraction returns either 1 or 2.
132 return pNesting->pCurrentNesting->uCount / (pNesting->pCurrentNesting->uMajorType - CBOR_MAJOR_TYPE_ARRAY+1);
133}
134
135inline static uint32_t Nesting_GetStartPos(QCBORTrackNesting *pNesting)
136{
137 return pNesting->pCurrentNesting->uStart;
138}
139
140inline static uint8_t Nesting_GetMajorType(QCBORTrackNesting *pNesting)
141{
142 return pNesting->pCurrentNesting->uMajorType;
143}
144
145inline static int Nesting_IsInNest(QCBORTrackNesting *pNesting)
146{
147 return pNesting->pCurrentNesting == &pNesting->pArrays[0] ? 0 : 1;
148}
149
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700150
151
152
153/*
154 Error tracking plan -- Errors are tracked internally and not returned
155 until Finish is called. The CBOR errors are in me->uError.
Laurence Lundblade067035b2018-11-28 17:35:25 -0800156 UsefulOutBuf also tracks whether the buffer is full or not in its
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700157 context. Once either of these errors is set they are never
158 cleared. Only Init() resets them. Or said another way, they must
159 never be cleared or we'll tell the caller all is good when it is not.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800160
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700161 Only one error code is reported by Finish() even if there are
162 multiple errors. The last one set wins. The caller might have to fix
163 one error to reveal the next one they have to fix. This is OK.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800164
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700165 The buffer full error tracked by UsefulBuf is only pulled out of
166 UsefulBuf in Finish() so it is the one that usually wins. UsefulBuf
167 will never go off the end of the buffer even if it is called again
168 and again when full.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800169
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700170 It is really tempting to not check for overflow on the count in the
171 number of items in an array. It would save a lot of code, it is
172 extremely unlikely that any one will every put 65,000 items in an
173 array, and the only bad thing that would happen is the CBOR would be
174 bogus. Once we prove that is the only consequence, then we can make
175 the change.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800176
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700177 Since this does not parse any input, you could in theory remove all
178 error checks in this code if you knew the caller called it
179 correctly. Maybe someday CDDL or some such language will be able to
180 generate the code to call this and the calling code would always be
Laurence Lundblade56230d12018-11-01 11:14:51 +0700181 correct. This could also automatically size some of the data
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700182 structures like array/map nesting resulting in some good memory
183 savings.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800184
Laurence Lundblade067035b2018-11-28 17:35:25 -0800185 Errors returned here fall into three categories:
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800186
Laurence Lundblade067035b2018-11-28 17:35:25 -0800187 Sizes
188 QCBOR_ERR_BUFFER_TOO_LARGE -- A buffer passed in > UINT32_MAX
189 QCBOR_ERR_BUFFER_TOO_SMALL -- output buffer too small
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800190
Laurence Lundblade067035b2018-11-28 17:35:25 -0800191 QCBOR_ERR_ARRAY_NESTING_TOO_DEEP -- Too many opens without closes
192 QCBOR_ERR_ARRAY_TOO_LONG -- Too many things added to an array/map
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800193
Laurence Lundblade067035b2018-11-28 17:35:25 -0800194 Nesting constructed incorrectly
195 QCBOR_ERR_TOO_MANY_CLOSES -- more close calls than opens
196 QCBOR_ERR_CLOSE_MISMATCH -- Type of close does not match open
197 QCBOR_ERR_ARRAY_OR_MAP_STILL_OPEN -- Finish called without enough closes
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800198
Laurence Lundblade067035b2018-11-28 17:35:25 -0800199 Bad data
200 QCBOR_ERR_BAD_SIMPLE -- Simple value integer not valid
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800201
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700202 */
203
204
205
206
207/*
208 Public function for initialization. See header qcbor.h
209 */
Laurence Lundblade2296db52018-09-14 18:08:39 -0700210void QCBOREncode_Init(QCBOREncodeContext *me, UsefulBuf Storage)
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700211{
212 memset(me, 0, sizeof(QCBOREncodeContext));
Laurence Lundblade2296db52018-09-14 18:08:39 -0700213 if(Storage.len > UINT32_MAX) {
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700214 me->uError = QCBOR_ERR_BUFFER_TOO_LARGE;
215 } else {
Laurence Lundblade2296db52018-09-14 18:08:39 -0700216 UsefulOutBuf_Init(&(me->OutBuf), Storage);
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700217 Nesting_Init(&(me->nesting));
218 }
219}
220
221
222
223
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800224/*
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700225 All CBOR data items have a type and a number. The number is either
226 the value of the item for integer types, the length of the content
227 for string, byte, array and map types, a tag for major type 6, and
228 has serveral uses for major type 7.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800229
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700230 This function encodes the type and the number. There are several
231 encodings for the number depending on how large it is and how it is
232 used.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800233
234 Every encoding of the type and number has at least one byte, the
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700235 "initial byte".
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800236
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700237 The top three bits of the initial byte are the major type for the
238 CBOR data item. The eight major types defined by the standard are
239 defined as CBOR_MAJOR_TYPE_xxxx in qcbor.h.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800240
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700241 The remaining five bits, known as "additional information", and
242 possibly more bytes encode the number. If the number is less than 24,
243 then it is encoded entirely in the five bits. This is neat because it
244 allows you to encode an entire CBOR data item in 1 byte for many
245 values and types (integers 0-23, true, false, and tags).
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800246
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700247 If the number is larger than 24, then it is encoded in 1,2,4 or 8
248 additional bytes, with the number of these bytes indicated by the
249 values of the 5 bits 24, 25, 25 and 27.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800250
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700251 It is possible to encode a particular number in many ways with this
252 representation. This implementation always uses the smallest
253 possible representation. This is also the suggestion made in the RFC
254 for cannonical CBOR.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800255
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700256 This function inserts them into the output buffer at the specified
Laurence Lundblade067035b2018-11-28 17:35:25 -0800257 position. AppendEncodedTypeAndNumber() appends to the end.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800258
259 This function takes care of converting to network byte order.
260
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700261 This function is also used to insert floats and doubles. Before this
262 function is called the float or double must be copied into a
263 uint64_t. That is how they are passed in. They are then converted to
264 network byte order correctly. The uMinLen param makes sure that even
Laurence Lundblade067035b2018-11-28 17:35:25 -0800265 if all the digits of a halft, float or double are 0 it is still correctly
266 encoded in 2, 4 or 8 bytes.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800267
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700268 */
269static void InsertEncodedTypeAndNumber(QCBOREncodeContext *me, uint8_t uMajorType, size_t uMinLen, uint64_t uNumber, size_t uPos)
270{
271 // No need to worry about integer overflow here because a) uMajorType is
272 // always generated internally, not by the caller, b) this is for CBOR
273 // _generation_, not parsing c) a mistake will result in bad CBOR generation,
274 // not a security vulnerability.
Laurence Lundblade56230d12018-11-01 11:14:51 +0700275 uMajorType <<= 5;
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800276
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700277 if(uNumber > 0xffffffff || uMinLen >= 8) {
278 UsefulOutBuf_InsertByte(&(me->OutBuf), uMajorType + LEN_IS_EIGHT_BYTES, uPos);
279 UsefulOutBuf_InsertUint64(&(me->OutBuf), (uint64_t)uNumber, uPos+1);
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800280
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700281 } else if(uNumber > 0xffff || uMinLen >= 4) {
282 UsefulOutBuf_InsertByte(&(me->OutBuf), uMajorType + LEN_IS_FOUR_BYTES, uPos);
283 UsefulOutBuf_InsertUint32(&(me->OutBuf), (uint32_t)uNumber, uPos+1);
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800284
Laurence Lundblade12d32c52018-09-19 11:25:27 -0700285 } else if (uNumber > 0xff || uMinLen>= 2) {
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700286 // Between 0 and 65535
287 UsefulOutBuf_InsertByte(&(me->OutBuf), uMajorType + LEN_IS_TWO_BYTES, uPos);
288 UsefulOutBuf_InsertUint16(&(me->OutBuf), (uint16_t)uNumber, uPos+1);
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800289
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700290 } else if(uNumber >= 24) {
291 // Between 0 and 255, but only between 24 and 255 is ever encoded here
292 UsefulOutBuf_InsertByte(&(me->OutBuf), uMajorType + LEN_IS_ONE_BYTE, uPos);
293 UsefulOutBuf_InsertByte(&(me->OutBuf), (uint8_t)uNumber, uPos+1);
294
295 } else {
296 // Between 0 and 23
297 UsefulOutBuf_InsertByte(&(me->OutBuf), uMajorType + (uint8_t)uNumber, uPos);
298 }
299}
300
301
302/*
303 Append the type and number info to the end of the buffer.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800304
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700305 See InsertEncodedTypeAndNumber() function above for details
306*/
307inline static void AppendEncodedTypeAndNumber(QCBOREncodeContext *me, uint8_t uMajorType, uint64_t uNumber)
308{
309 // An append is an insert at the end.
310 InsertEncodedTypeAndNumber(me, uMajorType, 0, uNumber, UsefulOutBuf_GetEndPosition(&(me->OutBuf)));
311}
312
313
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700314
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700315/*
Laurence Lundblade067035b2018-11-28 17:35:25 -0800316 Public functions for closing arrays and maps. See header qcbor.h
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700317 */
Laurence Lundblade067035b2018-11-28 17:35:25 -0800318void QCBOREncode_AddUInt64(QCBOREncodeContext *me, uint64_t uValue)
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700319{
Laurence Lundblade067035b2018-11-28 17:35:25 -0800320 if(me->uError == QCBOR_SUCCESS) {
321 AppendEncodedTypeAndNumber(me, CBOR_MAJOR_TYPE_POSITIVE_INT, uValue);
322 me->uError = Nesting_Increment(&(me->nesting), 1);
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700323 }
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700324}
325
Laurence Lundblade56230d12018-11-01 11:14:51 +0700326
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700327/*
Laurence Lundblade067035b2018-11-28 17:35:25 -0800328 Public functions for closing arrays and maps. See header qcbor.h
329 */
330void QCBOREncode_AddInt64(QCBOREncodeContext *me, int64_t nNum)
331{
332 if(me->uError == QCBOR_SUCCESS) {
333 uint8_t uMajorType;
334 uint64_t uValue;
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800335
Laurence Lundblade067035b2018-11-28 17:35:25 -0800336 if(nNum < 0) {
337 uValue = (uint64_t)(-nNum - 1); // This is the way negative ints work in CBOR. -1 encodes as 0x00 with major type negative int.
338 uMajorType = CBOR_MAJOR_TYPE_NEGATIVE_INT;
339 } else {
340 uValue = (uint64_t)nNum;
341 uMajorType = CBOR_MAJOR_TYPE_POSITIVE_INT;
342 }
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800343
Laurence Lundblade067035b2018-11-28 17:35:25 -0800344 AppendEncodedTypeAndNumber(me, uMajorType, uValue);
345 me->uError = Nesting_Increment(&(me->nesting), 1);
346 }
347}
348
349
350/*
351 Semi-private function. It is exposed to user of the interface,
352 but they will usually call one of the inline wrappers rather than this.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800353
Laurence Lundblade067035b2018-11-28 17:35:25 -0800354 See header qcbor.h
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800355
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700356 Does the work of adding some bytes to the CBOR output. Works for a
357 byte and text strings, which are the same in in CBOR though they have
Laurence Lundbladeda3f0822018-09-18 19:49:02 -0700358 different major types. This is also used to insert raw
359 pre-encoded CBOR.
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700360 */
Laurence Lundblade067035b2018-11-28 17:35:25 -0800361void QCBOREncode_AddBuffer(QCBOREncodeContext *me, uint8_t uMajorType, UsefulBufC Bytes)
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700362{
363 if(Bytes.len >= UINT32_MAX) {
Laurence Lundblade56230d12018-11-01 11:14:51 +0700364 // This implementation doesn't allow buffers larger than UINT32_MAX.
365 // This is primarily because QCBORTrackNesting.pArrays[].uStart is
366 // an uint32 rather than size_t to keep the stack usage down. Also
367 // it is entirely impractical to create tokens bigger than 4GB in
368 // contiguous RAM
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700369 me->uError = QCBOR_ERR_BUFFER_TOO_LARGE;
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800370
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700371 } else {
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700372 if(!me->uError) {
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700373 // If it is not Raw CBOR, add the type and the length
374 if(uMajorType != CBOR_MAJOR_NONE_TYPE_RAW) {
Laurence Lundblade067035b2018-11-28 17:35:25 -0800375 AppendEncodedTypeAndNumber(me, uMajorType, Bytes.len);
Laurence Lundblade56230d12018-11-01 11:14:51 +0700376 // The increment in uPos is to account for bytes added for
377 // type and number so the buffer being added goes to the
378 // right place
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700379 }
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800380
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700381 // Actually add the bytes
Laurence Lundblade067035b2018-11-28 17:35:25 -0800382 UsefulOutBuf_AppendUsefulBuf(&(me->OutBuf), Bytes);
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800383
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700384 // Update the array counting if there is any nesting at all
Laurence Lundbladeda3f0822018-09-18 19:49:02 -0700385 me->uError = Nesting_Increment(&(me->nesting), 1);
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700386 }
387 }
388}
389
Laurence Lundbladecafcfe12018-10-31 21:59:50 +0700390
Laurence Lundblade55a24832018-10-30 04:35:08 +0700391/*
Laurence Lundblade067035b2018-11-28 17:35:25 -0800392 Public functions for closing arrays and maps. See header qcbor.h
Laurence Lundblade55a24832018-10-30 04:35:08 +0700393 */
394void QCBOREncode_AddTag(QCBOREncodeContext *me, uint64_t uTag)
395{
Laurence Lundblade55a24832018-10-30 04:35:08 +0700396 AppendEncodedTypeAndNumber(me, CBOR_MAJOR_TYPE_OPTIONAL, uTag);
397}
398
399
Laurence Lundblade487930f2018-11-30 11:01:45 -0800400
401
Laurence Lundblade56230d12018-11-01 11:14:51 +0700402/*
Laurence Lundblade487930f2018-11-30 11:01:45 -0800403 Semi-private function. It is exposed to user of the interface,
404 but they will usually call one of the inline wrappers rather than this.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800405
Laurence Lundblade487930f2018-11-30 11:01:45 -0800406 See header qcbor.h
Laurence Lundblade56230d12018-11-01 11:14:51 +0700407 */
Laurence Lundblade487930f2018-11-30 11:01:45 -0800408void QCBOREncode_AddType7(QCBOREncodeContext *me, size_t uSize, uint64_t uNum)
Laurence Lundblade55a24832018-10-30 04:35:08 +0700409{
Laurence Lundblade487930f2018-11-30 11:01:45 -0800410 if(me->uError == QCBOR_SUCCESS) {
411 // This function call takes care of endian swapping for the float / double
412 InsertEncodedTypeAndNumber(me,
413 CBOR_MAJOR_TYPE_SIMPLE, // The major type for
414 // floats and doubles
415 uSize, // min size / tells
416 // encoder to do it right
417 uNum, // Bytes of the floating
418 // point number as a uint
419 UsefulOutBuf_GetEndPosition(&(me->OutBuf))); // end position for append
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800420
Laurence Lundblade487930f2018-11-30 11:01:45 -0800421 me->uError = Nesting_Increment(&(me->nesting), 1);
422 }
Laurence Lundblade55a24832018-10-30 04:35:08 +0700423}
424
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700425
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700426/*
Laurence Lundblade067035b2018-11-28 17:35:25 -0800427 Public functions for closing arrays and maps. See header qcbor.h
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700428 */
Laurence Lundblade067035b2018-11-28 17:35:25 -0800429void QCBOREncode_AddDouble(QCBOREncodeContext *me, double dNum)
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700430{
Laurence Lundblade067035b2018-11-28 17:35:25 -0800431 const IEEE754_union uNum = IEEE754_DoubleToSmallest(dNum);
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800432
Laurence Lundblade487930f2018-11-30 11:01:45 -0800433 QCBOREncode_AddType7(me, uNum.uSize, uNum.uValue);
Laurence Lundblade067035b2018-11-28 17:35:25 -0800434}
435
436
437/*
438 Semi-public function. It is exposed to user of the interface,
439 but they will usually call one of the inline wrappers rather than this.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800440
Laurence Lundblade067035b2018-11-28 17:35:25 -0800441 See header qcbor.h
442*/
443void QCBOREncode_OpenMapOrArray(QCBOREncodeContext *me, uint8_t uMajorType)
444{
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700445 // Add one item to the nesting level we are in for the new map or array
446 me->uError = Nesting_Increment(&(me->nesting), 1);
447 if(!me->uError) {
448 // Increase nesting level because this is a map or array
449 // Cast from size_t to uin32_t is safe because the UsefulOutBuf
450 // size is limited to UINT32_MAX in QCBOR_Init().
Laurence Lundbladea954db92018-09-28 19:27:31 -0700451 me->uError = Nesting_Increase(&(me->nesting), uMajorType, (uint32_t)UsefulOutBuf_GetEndPosition(&(me->OutBuf)));
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700452 }
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700453}
454
455
456/*
Laurence Lundbladecafcfe12018-10-31 21:59:50 +0700457 Public functions for closing arrays and maps. See header qcbor.h
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700458 */
Laurence Lundblade067035b2018-11-28 17:35:25 -0800459void QCBOREncode_CloseMapOrArray(QCBOREncodeContext *me, uint8_t uMajorType, UsefulBufC *pWrappedCBOR)
Laurence Lundbladea954db92018-09-28 19:27:31 -0700460{
461 if(!me->uError) {
462 if(!Nesting_IsInNest(&(me->nesting))) {
463 me->uError = QCBOR_ERR_TOO_MANY_CLOSES;
464 } else if( Nesting_GetMajorType(&(me->nesting)) != uMajorType) {
Laurence Lundblade067035b2018-11-28 17:35:25 -0800465 me->uError = QCBOR_ERR_CLOSE_MISMATCH;
Laurence Lundbladea954db92018-09-28 19:27:31 -0700466 } else {
Laurence Lundblade56230d12018-11-01 11:14:51 +0700467 // When the array, map or bstr wrap was started, nothing was done
468 // except note the position of the start of it. This code goes back
469 // and inserts the actual CBOR array, map or bstr and its length.
470 // That means all the data that is in the array, map or wrapped
471 // needs to be slid to the right. This is done by UsefulOutBuf's
472 // insert function that is called from inside
473 // InsertEncodedTypeAndNumber()
474 const size_t uInsertPosition = Nesting_GetStartPos(&(me->nesting));
475 const size_t uEndPosition = UsefulOutBuf_GetEndPosition(&(me->OutBuf));
476 // This can't go negative because the UsefulOutBuf always only grows
477 // and never shrinks. UsefulOutBut itself also has defenses such that
478 // it won't write were it should not even if given hostile input lengths
479 const size_t uLenOfEncodedMapOrArray = uEndPosition - uInsertPosition;
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800480
Laurence Lundblade56230d12018-11-01 11:14:51 +0700481 // Length is number of bytes for a bstr and number of items a for map & array
482 const size_t uLength = uMajorType == CBOR_MAJOR_TYPE_BYTE_STRING ?
Laurence Lundbladea954db92018-09-28 19:27:31 -0700483 uLenOfEncodedMapOrArray : Nesting_GetCount(&(me->nesting));
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800484
Laurence Lundbladea954db92018-09-28 19:27:31 -0700485 // Actually insert
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700486 InsertEncodedTypeAndNumber(me,
Laurence Lundbladea954db92018-09-28 19:27:31 -0700487 uMajorType, // major type bstr, array or map
488 0, // no minimum length for encoding
489 uLength, // either len of bstr or num items in array or map
490 uInsertPosition); // position in out buffer
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800491
Laurence Lundbladea954db92018-09-28 19:27:31 -0700492 // Return pointer and length to the enclosed encoded CBOR. The intended
493 // use is for it to be hashed (e.g., SHA-256) in a COSE implementation.
494 // This must be used right away, as the pointer and length go invalid
495 // on any subsequent calls to this function because of the
496 // InsertEncodedTypeAndNumber() call that slides data to the right.
497 if(pWrappedCBOR) {
Laurence Lundblade25c6c0a2018-12-17 13:21:59 -0800498 const UsefulBufC PartialResult = UsefulOutBuf_OutUBuf(&(me->OutBuf));
499 const size_t uBstrLen = UsefulOutBuf_GetEndPosition(&(me->OutBuf)) - uEndPosition;
Laurence Lundbladea954db92018-09-28 19:27:31 -0700500 *pWrappedCBOR = UsefulBuf_Tail(PartialResult, uInsertPosition+uBstrLen);
501 }
502 Nesting_Decrease(&(me->nesting));
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700503 }
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700504 }
505}
506
507
Laurence Lundblade56230d12018-11-01 11:14:51 +0700508
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700509/*
510 Public functions to finish and get the encoded result. See header qcbor.h
511 */
Laurence Lundblade30816f22018-11-10 13:40:22 +0700512QCBORError QCBOREncode_Finish(QCBOREncodeContext *me, UsefulBufC *pEncodedCBOR)
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700513{
Laurence Lundblade067035b2018-11-28 17:35:25 -0800514 QCBORError uReturn = me->uError;
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800515
Laurence Lundblade067035b2018-11-28 17:35:25 -0800516 if(uReturn != QCBOR_SUCCESS) {
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700517 goto Done;
Laurence Lundblade067035b2018-11-28 17:35:25 -0800518 }
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800519
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700520 if (Nesting_IsInNest(&(me->nesting))) {
Laurence Lundblade067035b2018-11-28 17:35:25 -0800521 uReturn = QCBOR_ERR_ARRAY_OR_MAP_STILL_OPEN;
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700522 goto Done;
523 }
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800524
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700525 if(UsefulOutBuf_GetError(&(me->OutBuf))) {
526 // Stuff didn't fit in the buffer.
Laurence Lundblade56230d12018-11-01 11:14:51 +0700527 // This check catches this condition for all the appends and inserts
528 // so checks aren't needed when the appends and inserts are performed.
529 // And of course UsefulBuf will never overrun the input buffer given
530 // to it. No complex analysis of the error handling in this file is
531 // needed to know that is true. Just read the UsefulBuf code.
Laurence Lundblade067035b2018-11-28 17:35:25 -0800532 uReturn = QCBOR_ERR_BUFFER_TOO_SMALL;
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700533 goto Done;
534 }
Laurence Lundblade2296db52018-09-14 18:08:39 -0700535
Laurence Lundbladeda3f0822018-09-18 19:49:02 -0700536 *pEncodedCBOR = UsefulOutBuf_OutUBuf(&(me->OutBuf));
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800537
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700538Done:
Laurence Lundblade067035b2018-11-28 17:35:25 -0800539 return uReturn;
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700540}
541
Laurence Lundblade0595e932018-11-02 22:22:47 +0700542
Laurence Lundblade067035b2018-11-28 17:35:25 -0800543/*
544 Public functions to finish and get the encoded result. See header qcbor.h
545 */
Laurence Lundblade30816f22018-11-10 13:40:22 +0700546QCBORError QCBOREncode_FinishGetSize(QCBOREncodeContext *me, size_t *puEncodedLen)
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700547{
Laurence Lundbladeda3f0822018-09-18 19:49:02 -0700548 UsefulBufC Enc;
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800549
Laurence Lundblade30816f22018-11-10 13:40:22 +0700550 QCBORError nReturn = QCBOREncode_Finish(me, &Enc);
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800551
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700552 if(nReturn == QCBOR_SUCCESS) {
Laurence Lundbladeda3f0822018-09-18 19:49:02 -0700553 *puEncodedLen = Enc.len;
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700554 }
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800555
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700556 return nReturn;
557}
558
559
Laurence Lundblade067035b2018-11-28 17:35:25 -0800560
561
562/*
563 Notes on the code
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800564
Laurence Lundblade067035b2018-11-28 17:35:25 -0800565 CBOR Major Type Public Function
566 0 QCBOREncode_AddUInt64
567 0, 1 QCBOREncode_AddUInt64, QCBOREncode_AddInt64
568 2, 3 QCBOREncode_AddBuffer, Also QCBOREncode_OpenMapOrArray
569 4, 5 QCBOREncode_OpenMapOrArray
570 6 QCBOREncode_AddTag
571 7 QCBOREncode_AddDouble, QCBOREncode_AddSimple
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800572
Laurence Lundblade067035b2018-11-28 17:35:25 -0800573 Object code sizes on X86 with LLVM compiler and -Os (Nov 27, 2018)
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800574
Laurence Lundblade067035b2018-11-28 17:35:25 -0800575 _QCBOREncode_Init 84
576 _QCBOREncode_AddUInt64 76
577 _QCBOREncode_AddInt64 87
578 _QCBOREncode_AddBuffer 131
579 _QCBOREncode_AddSimple 30
580 _AppendType7 83
581 _QCBOREncode_OpenMapOrArray 89
582 _QCBOREncode_CloseMapOrArray 181
583 _InsertEncodedTypeAndNumber 480
584 _QCBOREncode_Finish 72
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800585
Laurence Lundblade067035b2018-11-28 17:35:25 -0800586 Total is about 1.4KB (including FinishGetSize and AddTag and AddDouble)
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800587
Laurence Lundblade067035b2018-11-28 17:35:25 -0800588 _InsertEncodedTypeAndNumber is large because a lot of UsefulBuf
589 code inlines into it including the conversion to network byte
590 order. This could be optimized to at least half the size, but
591 code would probably not be quite as clean.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800592
Laurence Lundblade067035b2018-11-28 17:35:25 -0800593 _QCBOREncode_CloseMapOrArray is larger because it has a lot
594 of nesting tracking to do and much of Nesting_ inlines
595 into it. It probably can't be reduced much.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800596
Laurence Lundblade067035b2018-11-28 17:35:25 -0800597 If the error returned by Nesting_Increment() can be ignored
598 because the limit is so high and the consequence of exceeding
599 is proved to be inconsequential, then a lot of if(me->uError)
600 instance can be removed, saving some code.
Laurence Lundblade3aee3a32018-12-17 16:17:45 -0800601
Laurence Lundblade067035b2018-11-28 17:35:25 -0800602 */
603
604
605
606
607
608
609
610