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
|
#ifndef AWS_COMMON_ZERO_H
#define AWS_COMMON_ZERO_H
/**
* Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
* SPDX-License-Identifier: Apache-2.0.
*/
#include <aws/common/stdbool.h>
#include <aws/common/stdint.h>
#include <string.h>
AWS_PUSH_SANE_WARNING_LEVEL
AWS_EXTERN_C_BEGIN
/**
* Set each byte in the struct to zero.
*/
#define AWS_ZERO_STRUCT(object) \
do { \
memset(&(object), 0, sizeof(object)); \
} while (0)
/**
* Set each byte in the array to zero.
* Does not work with arrays of unknown bound.
*/
#define AWS_ZERO_ARRAY(array) memset((void *)(array), 0, sizeof(array))
/**
* Returns whether each byte in the object is zero.
*/
#ifdef CBMC
/* clang-format off */
# define AWS_IS_ZEROED(object) \
__CPROVER_forall { \
int i; \
(i >= 0 && i < sizeof(object)) ==> ((const uint8_t *)&object)[i] == 0 \
}
/* clang-format on */
#else
# define AWS_IS_ZEROED(object) aws_is_mem_zeroed(&(object), sizeof(object))
#endif
/**
* Returns whether each byte is zero.
*/
AWS_STATIC_IMPL
bool aws_is_mem_zeroed(const void *buf, size_t bufsize);
/**
* Securely zeroes a memory buffer. This function will attempt to ensure that
* the compiler will not optimize away this zeroing operation.
*/
AWS_COMMON_API
void aws_secure_zero(void *pBuf, size_t bufsize);
#ifndef AWS_NO_STATIC_IMPL
# include <aws/common/zero.inl>
#endif /* AWS_NO_STATIC_IMPL */
AWS_EXTERN_C_END
AWS_POP_SANE_WARNING_LEVEL
#endif /* AWS_COMMON_ZERO_H */
|
