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
|
/*
* 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 "utils/s2n_mem.h"
#include "s2n_test.h"
#include "utils/s2n_safety.h"
int s2n_strict_mem_free_cb(void *ptr, uint32_t size)
{
POSIX_ENSURE_REF(ptr);
POSIX_ENSURE_GT(size, 0);
return S2N_SUCCESS;
}
int main(int argc, char **argv)
{
BEGIN_TEST();
/* Test safety of all mem free methods */
{
/* Test: no-op for empty blob */
{
struct s2n_blob blob = { 0 };
EXPECT_SUCCESS(s2n_free(&blob));
EXPECT_SUCCESS(s2n_free_without_wipe(&blob));
EXPECT_SUCCESS(s2n_free_or_wipe(&blob));
};
/* Test: no-op for already freed blob */
{
struct s2n_blob blob = { 0 };
EXPECT_SUCCESS(s2n_alloc(&blob, 10));
EXPECT_SUCCESS(s2n_free(&blob));
EXPECT_SUCCESS(s2n_free(&blob));
EXPECT_SUCCESS(s2n_free_without_wipe(&blob));
EXPECT_SUCCESS(s2n_free_or_wipe(&blob));
};
/* Test: error for NULL */
{
EXPECT_FAILURE_WITH_ERRNO(s2n_free(NULL), S2N_ERR_NULL);
EXPECT_FAILURE_WITH_ERRNO(s2n_free_without_wipe(NULL), S2N_ERR_NULL);
EXPECT_FAILURE_WITH_ERRNO(s2n_free_or_wipe(NULL), S2N_ERR_NULL);
};
/* Test: faulty / overly strict free implementation
*
* A correct implementation of free() should be a no-op for a NULL pointer.
* However, we have encountered cases where faulty implementations of free()
* seg faulted on NULL: our Rust bindings initially incorrectly assumed that
* Rust's dealloc() handled NULLs like C's free().
*
* As an easy way to avoid this, we should just never call the free mem callback for NULL.
*/
{
/* Save real free callback */
s2n_mem_init_callback mem_init_cb = NULL;
s2n_mem_cleanup_callback mem_cleanup_cb = NULL;
s2n_mem_malloc_callback mem_malloc_cb = NULL;
s2n_mem_free_callback mem_free_cb = NULL;
EXPECT_OK(s2n_mem_get_callbacks(&mem_init_cb, &mem_cleanup_cb, &mem_malloc_cb, &mem_free_cb));
/* Set callback that won't accepts NULLs / zeros */
EXPECT_OK(s2n_mem_override_callbacks(mem_init_cb, mem_cleanup_cb, mem_malloc_cb, s2n_strict_mem_free_cb));
/* No-op for empty blob */
struct s2n_blob blob = { 0 };
EXPECT_SUCCESS(s2n_free(&blob));
EXPECT_SUCCESS(s2n_free_without_wipe(&blob));
EXPECT_SUCCESS(s2n_free_or_wipe(&blob));
/* Restore real free callback */
EXPECT_OK(s2n_mem_override_callbacks(mem_init_cb, mem_cleanup_cb, mem_malloc_cb, mem_free_cb));
};
};
END_TEST();
}
|
