blob: 323e1734586f2580085d0f1a7c2aa5720ec66dc7 [file] [log] [blame]
Laurence Lundbladeb69cad72018-09-13 11:09:01 -07001/*==============================================================================
2Copyright (c) 2016-2018, The Linux Foundation. All rights reserved.
3
4Redistribution and use in source and binary forms, with or without
5modification, are permitted provided that the following conditions are
6met:
7 * Redistributions of source code must retain the above copyright
8 notice, this list of conditions and the following disclaimer.
9 * Redistributions in binary form must reproduce the above
10 copyright notice, this list of conditions and the following
11 disclaimer in the documentation and/or other materials provided
12 with the distribution.
13 * Neither the name of The Linux Foundation nor the names of its
14 contributors may be used to endorse or promote products derived
15 from this software without specific prior written permission.
16
17THIS SOFTWARE IS PROVIDED "AS IS" AND ANY EXPRESS OR IMPLIED
18WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
19MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT
20ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS
21BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
22CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
23SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
24BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
25WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
26OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN
27IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28==============================================================================*/
29
Laurence Lundblade624405d2018-09-18 20:10:47 -070030/*==============================================================================
31 Modifications beyond the version released on CAF are under the MIT license:
32
33 Copyright 2018 Laurence Lundblade
34
35 Permission is hereby granted, free of charge, to any person obtaining
36 a copy of this software and associated documentation files (the
37 "Software"), to deal in the Software without restriction, including
38 without limitation the rights to use, copy, modify, merge, publish,
39 distribute, sublicense, and/or sell copies of the Software, and to
40 permit persons to whom the Software is furnished to do so, subject to
41 the following conditions:
42
43 The above copyright notice and this permission notice shall be included
44 in all copies or substantial portions of the Software.
45
46 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
47 EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
48 MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
49 NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
50 BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
51 ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
52 CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
53 SOFTWARE.
54 ==============================================================================*/
55
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070056/*===================================================================================
57 FILE: UsefulBuf.c
58
59 DESCRIPTION: General purpose input and output buffers
60
61 EDIT HISTORY FOR FILE:
62
63 This section contains comments describing changes made to the module.
64 Notice that changes are listed in reverse chronological order.
65
66 when who what, where, why
67 -------- ---- ---------------------------------------------------
68 09/07/17 llundbla Fix critical bug in UsefulBuf_Find() -- a read off
69 the end of memory when the bytes to find is longer
70 than the bytes to search.
71 06/27/17 llundbla Fix UsefulBuf_Compare() bug. Only affected comparison
72 for < or > for unequal length buffers. Added
73 UsefulBuf_Set() function.
74 05/30/17 llundbla Functions for NULL UsefulBufs and const / unconst
75 11/13/16 llundbla Initial Version.
76
77 =====================================================================================*/
78
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070079#include "UsefulBuf.h"
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070080
81#define USEFUL_OUT_BUF_MAGIC (0x0B0F) // used to catch use of uninitialized or corrupted UOBs
82
83/*
84 Public function -- see UsefulBuf.h
85 */
Laurence Lundblade2296db52018-09-14 18:08:39 -070086UsefulBufC UsefulBuf_Copy(UsefulBuf Dest, const UsefulBufC Src)
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070087{
Laurence Lundblade2296db52018-09-14 18:08:39 -070088 if(Src.len > Dest.len)
89 return NULLUsefulBufC;
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070090
Laurence Lundblade2296db52018-09-14 18:08:39 -070091 memcpy(Dest.ptr, Src.ptr, Src.len);
92
93 return((UsefulBufC){Dest.ptr, Src.len});
Laurence Lundbladeb69cad72018-09-13 11:09:01 -070094}
95
96/*
97 Public function -- see UsefulBuf.h
98 */
99int UsefulBuf_Compare(const UsefulBufC UB1, const UsefulBufC UB2)
100{
101 // use the comparisons rather than subtracting lengths to
102 // return an int instead of a size_t
103 if(UB1.len < UB2.len) {
104 return -1;
105 } else if (UB1.len > UB2.len) {
106 return 1;
107 } // else UB1.len == UB2.len
108
109 return memcmp(UB1.ptr, UB2.ptr, UB1.len);
110}
111
112
Laurence Lundbladeda3f0822018-09-18 19:49:02 -0700113
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700114
115
116/*
117 returns SIZE_MAX when there is no match
118 */
119size_t UsefulBuf_FindBytes(UsefulBufC BytesToSearch, UsefulBufC BytesToFind)
120{
121 if(BytesToSearch.len < BytesToFind.len) {
122 return SIZE_MAX;
123 }
124
125 for(size_t uPos = 0; uPos <= BytesToSearch.len - BytesToFind.len; uPos++) {
126 if(!UsefulBuf_Compare((UsefulBufC){((uint8_t *)BytesToSearch.ptr) + uPos, BytesToFind.len}, BytesToFind)) {
127 return uPos;
128 }
129 }
130
131 return SIZE_MAX;
132}
133
134
135/*
136 Public function -- see UsefulBuf.h
137
138 The core of UsefulOutBuf -- put some bytes in the buffer without writing off the end of it.
139
140 THIS FUNCTION DOES POINTER MATH
141 */
Laurence Lundblade2296db52018-09-14 18:08:39 -0700142#if NODEF
143void UsefulOutBuf_InitOld(UsefulOutBuf *me, void *pStorage, size_t uStorageSize)
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700144{
145 me->magic = USEFUL_OUT_BUF_MAGIC;
146 UsefulOutBuf_Reset(me);
147
148 me->UB.ptr = pStorage;
149 me->size = uStorageSize;
150
151 // The following check fails on ThreadX
152#if 0
153 // Sanity check on the pointer and size to be sure we are not
154 // passed a buffer that goes off the end of the address space.
155 // Given this test, we know that all unsigned lengths less than
156 // me->size are valid and won't wrap in any pointer additions
157 // based off of pStorage in the rest of this code.
158 const uintptr_t ptrM = UINTPTR_MAX - uStorageSize;
159 if(pStorage && (uintptr_t)pStorage > ptrM) // Check #0
160 me->err = 1;
161#endif
162}
Laurence Lundblade2296db52018-09-14 18:08:39 -0700163#endif
164
165void UsefulOutBuf_Init(UsefulOutBuf *me, UsefulBuf Storage)
166{
167 me->magic = USEFUL_OUT_BUF_MAGIC;
168 UsefulOutBuf_Reset(me);
169 me->UB = Storage;
170
171 // The following check fails on ThreadX
172#if 0
173 // Sanity check on the pointer and size to be sure we are not
174 // passed a buffer that goes off the end of the address space.
175 // Given this test, we know that all unsigned lengths less than
176 // me->size are valid and won't wrap in any pointer additions
177 // based off of pStorage in the rest of this code.
178 const uintptr_t ptrM = UINTPTR_MAX - uStorageSize;
179 if(pStorage && (uintptr_t)pStorage > ptrM) // Check #0
180 me->err = 1;
181#endif
182}
183
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700184
185
186/*
187 Public function -- see UsefulBuf.h
188
189 The core of UsefulOutBuf -- put some bytes in the buffer without writing off the end of it.
190
191 Code Reviewers: THIS FUNCTION DOES POINTER MATH
192
193 This function inserts the source buffer, NewData, into the destination buffer, me->UB.ptr.
194
195 Destination is represented as:
196 me->UB.ptr -- start of the buffer
Laurence Lundblade9e7f4742018-09-20 18:50:31 -0700197 me->UB.len -- size of the buffer UB.ptr
198 me->data_len -- length of value data in UB
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700199
200 Source is data:
201 NewData.ptr -- start of source buffer
202 NewData.len -- length of source buffer
203
204 Insertion point:
205 uInsertionPos.
206
207 Steps:
208
209 0. Corruption checks on UsefulOutBuf
210
211 1. Figure out if the new data will fit or not
212
213 2. Is insertion position in the range of valid data?
214
215 3. If insertion point is not at the end, slide data to the right of the insertion point to the right
216
217 4. Put the new data in at the insertion position.
218
219 */
220void UsefulOutBuf_InsertUsefulBuf(UsefulOutBuf *me, UsefulBufC NewData, size_t uInsertionPos)
221{
222 if(me->err) {
223 // Already in error state.
224 return;
225 }
226
227 /* 0. Sanity check the UsefulOutBuf structure */
228 // A "counter measure". If magic number is not the right number it
229 // probably means me was not initialized or it was corrupted. Attackers
230 // can defeat this, but it is a hurdle and does good with very
231 // little code.
232 if(me->magic != USEFUL_OUT_BUF_MAGIC) {
233 me->err = 1;
234 return; // Magic number is wrong due to uninitalization or corrption
235 }
236
237 // Make sure valid data is less than buffer size. This would only occur
238 // if there was corruption of me, but it is also part of the checks to
239 // be sure there is no pointer arithmatic under/overflow.
Laurence Lundblade2296db52018-09-14 18:08:39 -0700240 if(me->data_len > me->UB.len) { // Check #1
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700241 me->err = 1;
242 return; // Offset of valid data is off the end of the UsefulOutBuf due to uninitialization or corruption
243 }
244
245 /* 1. Will it fit? */
Laurence Lundblade9e7f4742018-09-20 18:50:31 -0700246 // WillItFit() is the same as: NewData.len <= (me->size - me->data_len)
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700247 // Check #1 makes sure subtraction in RoomLeft will not wrap around
248 if(! UsefulOutBuf_WillItFit(me, NewData.len)) { // Check #2
249 // The new data will not fit into the the buffer.
250 me->err = 1;
251 return;
252 }
253
254 /* 2. Check the Insertion Position */
255 // This, with Check #1, also confirms that uInsertionPos <= me->size
256 if(uInsertionPos > me->UB.len) { // Check #3
257 // Off the end of the valid data in the buffer.
258 me->err = 1;
259 return;
260 }
261
262 /* 3. Slide existing data to the right */
263 uint8_t *pSourceOfMove = ((uint8_t *)me->UB.ptr) + uInsertionPos; // PtrMath #1
Laurence Lundblade9e7f4742018-09-20 18:50:31 -0700264 size_t uNumBytesToMove = me->data_len - uInsertionPos; // PtrMath #2
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700265 uint8_t *pDestinationOfMove = pSourceOfMove + NewData.len; // PtrMath #3
Laurence Lundblade2296db52018-09-14 18:08:39 -0700266 size_t uRoomInDestination = me->UB.len - (uInsertionPos + NewData.len); // PtrMath #4
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700267
268 if(uNumBytesToMove && me->UB.ptr) {
Laurence Lundblade74f68412018-09-13 12:18:49 -0700269 memmove(pDestinationOfMove, pSourceOfMove, uNumBytesToMove);
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700270 }
271
272 /* 4. Put the new data in */
273 uint8_t *pInsertionPoint = ((uint8_t *)me->UB.ptr) + uInsertionPos; // PtrMath #5
Laurence Lundblade2296db52018-09-14 18:08:39 -0700274 uRoomInDestination = me->UB.len - uInsertionPos; // PtrMath #6
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700275 if(me->UB.ptr) {
Laurence Lundblade74f68412018-09-13 12:18:49 -0700276 memmove(pInsertionPoint, NewData.ptr, NewData.len);
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700277 }
Laurence Lundblade2296db52018-09-14 18:08:39 -0700278 me->data_len += NewData.len ;
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700279}
280
281
282/*
283 Rationale that describes why the above pointer math is safe
284
285 PtrMath #1 will never wrap around over because
286 Check #0 in UsefulOutBuf_Init makes sure me-UB.ptr + me->size doesn't wrap
Laurence Lundblade9e7f4742018-09-20 18:50:31 -0700287 Check #1 makes sure me->data_len is less than me->UB.len
288 Check #3 makes sure uInsertionPos is less than me->data_len
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700289
290 PtrMath #2 will never wrap around under because
Laurence Lundblade9e7f4742018-09-20 18:50:31 -0700291 Check #3 makes sure uInsertionPos is less than me->data_len
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700292
293 PtrMath #3 will never wrap around over because todo
294 PtrMath #1 is checked resulting in pStartOfDataToMove being between me->UB.ptr and a maximum valid ptr
295
296 PtrMath #4 will never wrap under because
Laurence Lundblade9e7f4742018-09-20 18:50:31 -0700297 Check #3 makes sure uInsertionPos is less than me->data_len
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700298 Check #3 allows Check #2 to be refactored as NewData.Len > (me->size - uInsertionPos)
299 This algebraically rearranges to me->size > uInsertionPos + NewData.len
300
301 PtrMath #5 is exactly the same as PtrMath #1
302
303 PtrMath #6 will never wrap under because
Laurence Lundblade9e7f4742018-09-20 18:50:31 -0700304 Check #1 makes sure me->data_len is less than me->size
305 Check #3 makes sure uInsertionPos is less than me->data_len
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700306 */
307
308
309/*
Laurence Lundblade2296db52018-09-14 18:08:39 -0700310 Public function -- see UsefulBuf.h
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700311 */
Laurence Lundblade2296db52018-09-14 18:08:39 -0700312UsefulBufC UsefulOutBuf_OutUBuf(UsefulOutBuf *me)
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700313{
314 if(me->err) {
Laurence Lundblade2296db52018-09-14 18:08:39 -0700315 return NULLUsefulBufC;
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700316 }
317
318 if(me->magic != USEFUL_OUT_BUF_MAGIC) {
319 me->err = 1;
Laurence Lundblade2296db52018-09-14 18:08:39 -0700320 return NULLUsefulBufC;
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700321 }
Laurence Lundblade2296db52018-09-14 18:08:39 -0700322
323 return(UsefulBufC){me->UB.ptr,me->data_len};
324}
325
326
327UsefulBufC UsefulOutBuf_CopyOut2(UsefulOutBuf *me, UsefulBuf pDest)
328{
329 UsefulBufC Tmp = UsefulOutBuf_OutUBuf(me);
Laurence Lundbladeda3f0822018-09-18 19:49:02 -0700330 if(UsefulBuf_IsNULLC(Tmp)) {
Laurence Lundblade2296db52018-09-14 18:08:39 -0700331 return NULLUsefulBufC;
332 }
333
334 return UsefulBuf_Copy(pDest, Tmp);
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700335}
336
337
338/*
339 Public function -- see UsefulBuf.h
340
341 Copy out the data accumulated in the output buffer.
342
343 */
344int UsefulOutBuf_CopyOut(UsefulOutBuf *me, void *pBuf, size_t uBufSize, size_t *puCopied)
345{
Laurence Lundblade2296db52018-09-14 18:08:39 -0700346 UsefulBufC B = UsefulOutBuf_CopyOut2(me, (UsefulBuf){pBuf, uBufSize});
Laurence Lundbladeda3f0822018-09-18 19:49:02 -0700347 if(UsefulBuf_IsNULLC(B)) {
Laurence Lundblade2296db52018-09-14 18:08:39 -0700348 return 1; // was in error state or was corrupted or pBuf too small
349 }
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700350
Laurence Lundblade2296db52018-09-14 18:08:39 -0700351 *puCopied = B.len;
Laurence Lundbladeb69cad72018-09-13 11:09:01 -0700352
353 return 0;
354}
355
356
357
358
359/*
360 Public function -- see UsefulBuf.h
361
362 The core of UsefulInputBuf -- consume some bytes without going off the end of the buffer.
363
364 Code Reviewers: THIS FUNCTION DOES POINTER MATH
365 */
366const void * UsefulInputBuf_GetBytes(UsefulInputBuf *me, size_t uAmount)
367{
368 // Already in error state. Do nothing.
369 if(me->err) {
370 return NULL;
371 }
372
373 if(!UsefulInputBuf_BytesAvailable(me, uAmount)) {
374 // The number of bytes asked for at current position are more than available
375 me->err = 1;
376 return NULL;
377 }
378
379 // This is going to succeed
380 const void * const result = ((uint8_t *)me->UB.ptr) + me->cursor;
381 me->cursor += uAmount; // this will not overflow because of check using UsefulInputBuf_BytesAvailable()
382 return result;
383}
384